skip to main content
10.1145/37888acmconferencesBook PagePublication PagesdacConference Proceedingsconference-collections
DAC '87: Proceedings of the 24th ACM/IEEE Design Automation Conference
ACM1987 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
DAC87: 24th ACM/IEEE Conference on Design Automation Conference Miami Beach Florida USA 28 June 1987- 1 July 1987
ISBN:
978-0-8186-0781-3
Published:
01 October 1987
Sponsors:
Next Conference
June 23 - 27, 2024
San Francisco , CA , USA
Bibliometrics
Abstract

No abstract available.

Article
Free
SSIM: a software levelized compiled-code simulator

This paper presents a new logic simulation technique that uses software levelized compiled-code (LCC) for synchronous designs. Three approaches are proposed: C source code, target machine code and interpreted code. The evaluation speed for the software ...

Article
Free
COSMOS: a compiled simulator for MOS circuits

The COSMOS simulator provides fast and accurate switch-level modeling of MOS digital circuits. It attains high performance by preprocessing the transistor network into a functionally equivalent Boolean representation. This description, produced by the ...

Article
Free
A fast signature simulation tool for built-in self-testing circuits

This paper describes a Fast Signature Simulator (FSS) tool for Built-In Self-Testing (BIST) circuits. The FSS consists of a simulator generator and a compiled code simulator. The simulator generator comprises a controlling program called the EXECUTIVE ...

Article
Free
An improved systematic method for constructing systolic arrays from algorithms

An improved systematic method is introduced which reduces the number of ad hoc steps and provides all possible systolic solutions for a given algorithm. Algorithms are modeled using index space (geometric) representations where the index transformation ...

Article
Free
Predicting area-time tradeoffs for pipelined design

In this paper we give a model for predicting the shape of cost-speed tradeoff curves for pipelined designs. The model includes prediction of the number of operators, registers and multiplexers from a behavioral specification. It has been verified with ...

Article
Free
A prototype framework for knowledge-based analog circuit synthesis

An organization for a knowledge-based analog circuit synthesis tool is described. Analog circuit topologies are represented as a hierarchy of functional blocks; a planning mechanism is introduced to translate performance specifications between levels in ...

Article
Free
An automatic rectilinear partitioning procedure for standard cells

This paper describes a new approach to automatically partition and place the standard cells in a rectilinear area on a chip among the pre-placed macro cells (RAM, ROM, PLA etc.) and I/O pads. The macro cells may be placed anywhere on the chip. The ...

Article
Free
Standard cell placement using simulated sintering

Simulated annealing is a powerful optimization technique based on the annealing phenomenon in crystallization. In this paper we propose a simulated sintering technique which is analogous to the sintering process in material processing. In sintering one ...

Article
Free
ESP: a new standard cell placement package using simulated evolution

ESP (Evolution-based Standard cell Placement) is a new program package designed to perform standard cell placement and includes macro-block placement capabilities. It uses the new heuristic method of simulating an evolutionary process in order to ...

Article
Requirements for a practical software engineering environment

This paper, primarily, presents the facilities that satisfy the user requirements for a modern software engineering environment under development on VS at Wang Laboratories, Inc. Requirements analysis is emphasized as a cornerstone for the future ...

Article
Free
The making of VIVID: a software engineering perspective

This paper is about the software engineering facets of the making of a large programming systems product for symbolic VLSI CAD called VIVID. Issues such as how teams were organized, how conceptual integrity was maintained, and portability are discussed. ...

Article
Free
A case study in silicon compilation software engineering, HVDEV high voltage device layout generator

Philips Laboratories has developed HVDEV, a procedural language layout generator for compiling high voltage MOS device layouts from behavioral specifications. HVDEV is analyzed as a case study in silicon compilation software engineering. The paper ...

Article
Free
A vector hardware accelerator with circuit simulation emphasis

A floating-point vector accelerator has been built which runs circuit simulation efficiently. The design considerations of the accelerator are based on the time-consuming parts of SPICE2, available off-the-shelf parts, advanced software tools experience ...

Article
Free
A hardware switch level simulator for large MOS circuits

The HSS is a Hardware Switch level Simulator that has been designed and built to be a useful and cost effective addition to a MOS circuit designers tool set. The HSS is based on the MOSSIM software simulator, but has been further developed to include ...

Article
Free
Architecture and design of the MARS hardware accelerator

MARS (Microprogrammable Accelerator for Rapid Simulations) is a multiprocessor based hardware accelerator capable of efficiently implementing a wide range of computationally complex algorithms. Its architecture is ideally suited for performing event ...

Article
Free
Circuit simulation on the connection machine

Accurate circuit simulation is a very important step in the design of high performance integrated circuits. The ever increasing size of integrated circuits requires the use of an inordinate amount of computer time to be spent in circuit simulation. ...

Article
Free
Aesop: a tool for automated transistor sizing

This work addresses the problem of automating the electrical optimization of combinatorial MOS circuits. Improvements to a circuit's speed, area and power consumption are sought through modifications to the transistor sizes in the circuit; no changes in ...

Article
Free
Transistor sizing in CMOS circuits

The problem of optimally sizing transistors in a VLSI CMOS circuit is considered. Models and algorithms for performing optimization on a single path using RC-tree approximation are presented. The results of an automatic optimization procedure are ...

Article
Free
Delay optimization of combinational static CMOS logic

Several methods for increasing the speed of combinational static CMOS circuits, including techniques for partitioning gates on the basis of circuit complexity and input arrival time, are described. The target layout style is standard cell, rather than a ...

Article
Free
Reflections of high speed signals analyzed as a delay in timing for clocked logic

This paper develops equations that can extend the performance of high speed digital systems. The equations allow the application of timing analysis to the selection of the minimum series terminating resistor. Use of the minimum terminating resistor ...

Article
Free
Geometrical compaction in one dimension for channel routing

A channel router which is to be effective for general-purpose automatic routing must be able to use different sets of routing criteria priorities, in a controllable manner. We present an approach to channel routing with compaction in which channel ...

Article
A three-layer gridless channel router with compaction

This paper presents a channel router that is designed to handle channels having irregularly-spaced terminals on different layers. The development of this router has investigated combining several basic wiring functions in distinct stages to achieve the ...

Article
Free
Routing L-shaped channels in nonslicing-structure placement

The concept of L-shaped channels was first introduced in RRDO [1] to generate a feasible routing order for nonslicing-structure placement in building-block layout design. This paper presents two approaches for the L-shaped channel-routing problem. In ...

Article
Via minimization for gridless layouts

This paper describes a graph theoretic algorithm which, given a particular layout, finds a layer assignment that requires the minimum number of vias. The time complexity of the algorithm is Ο(n3) where n is the number of routing segments in the given ...

Article
Free
An overview of logic synthesis systems

The term logic synthesis is used to describe systems that range from relatively simple mapping schemes to tools with sophisticated logic optimizations. In this tutorial, the requirements on logic synthesis systems will be discussed and the advantages ...

Article
Free
Realistic fault modeling for VLSI testing

Functional failures of VLSI circuits are caused by process-induced defects. Such defects have very complex physical characteristics and may be significantly different from the simplistic defect models assumed by typical fault modeling techniques. In the ...

Article
Free
Demand driven simulation: BACKSIM

A new digital simulation algorithm is presented based on the concept of demand driven simulation. Where traditional event driven simulation propagates signal values forward through a circuit in response to input pin events, demand driven simulation ...

Article
Free
Faster architectural simulation through parallelism

Architectural simulation of complex systems is usually constrained by available computational resources. Recently, several commercial parallel processing systems have appeared with price-performance levels that make very intense simulations affordable. ...

Article
Free
Force-directed scheduling in automatic data path synthesis

The HAL system performs data path synthesis using a new scheduling algorithm that is part of an interdependent scheduling and allocation scheme. This scheme uses an estimate of the hardware allocation to guide and optimize the scheduling subtask. The ...

    Article
    Free
    Knowledge based control in micro-architecture design

    This paper describes the principles and implementation of design-process control in a micro-architecture compiler. The knowledge-base relies on both local and global evaluations to determine strategies to achieve global goals and then implements those ...

    Contributors

    Recommendations

    Acceptance Rates

    DAC '87 Paper Acceptance Rate138of351submissions,39%Overall Acceptance Rate1,770of5,499submissions,32%
    YearSubmittedAcceptedRate
    DAC '0765915223%
    DAC '0362815224%
    DAC '0249114730%
    DAC '9945115434%
    DAC '9740013935%
    DAC '9637714238%
    DAC '9426010038%
    DAC '9042712529%
    DAC '8946515634%
    DAC '8840012531%
    DAC '8735113839%
    DAC '8630012441%
    DAC '8429011640%
    Overall5,4991,77032%