By Topic

Computer-Aided Design, 1989. ICCAD-89. Digest of Technical Papers., 1989 IEEE International Conference on

Date 5-9 Nov. 1989

Filter Results

Displaying Results 1 - 25 of 127
  • Fast test generation for sequential circuits

    Publication Year: 1989, Page(s):345 - 347
    Cited by:  Papers (57)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (404 KB)

    An efficient sequential circuit test generation algorithm is presented. The algorithm is based on PODEM and uses a nine-valued logic model. Among the novel features of the algorithm are use of an initial time-frame algorithm and correct implementation of a solution to the previous state information problem. The initial time-frame algorithm determines the number of time-frames required to excite th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers [front cover]

    Publication Year: 1989
    Request permission for commercial reuse | PDF file iconPDF (31 KB)
    Freely Available from IEEE
  • A powerful global router: based on Steiner min-max trees

    Publication Year: 1989, Page(s):2 - 5
    Cited by:  Papers (19)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (299 KB)

    A study is made of the global routing of multiterminal nets. The authors propose a novel global router. Each step consists of finding a tree, called Steiner min-max tree, that is, a Steiner tree with the maximum-weight edge minimized (real vertices represent channels containing terminals of a net, Steiner vertices represent intermediate channels, and weights correspond to densities). An efficient ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Constructing the optimal rectilinear Steiner tree derivable from a minimum spanning tree

    Publication Year: 1989, Page(s):6 - 9
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (326 KB)

    A polynomial time algorithm is given for constructing the minimum cost rectilinear Steiner tree (RST) that is derivable from a minimum spanning tree (MST) of a given point set, such that the MST edges have staircase layouts in the RST. RSTs produced by the algorithm have a property called stability, which enables the rerouting of any subset of the RST edges, while maintaining the cost of the RST, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A minimum separation algorithm for river routing with bounded number of jogs

    Publication Year: 1989, Page(s):10 - 13
    Cited by:  Papers (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (291 KB)

    The single-layer rectilinear river routing model with no restriction on the number of jogs per wire is considered. In particular, the author studies the model in which there is a fixed constant upper bound J on the number of jogs each wire can have. The author proposes an optimal O(n) time algorithm for the feasibility problem. This leads to an O(n log n) time algorithm for the minimum separation ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Module assignment and interconnect sharing in register-transfer synthesis of pipelined data paths

    Publication Year: 1989, Page(s):16 - 19
    Cited by:  Papers (20)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (317 KB)

    The authors present a novel approach to the problem of register-transfer (RT) design optimization of pipelined data paths. They perform module assignment with the goal of maximizing the interconnect sharing between RT-level components. The interconnect sharing task is modeled as a constrained clique partitioning problem. They have developed a fast and efficient polynomial time heuristic procedure ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A new integer linear programming formulation for the scheduling problem in data path synthesis

    Publication Year: 1989, Page(s):20 - 23
    Cited by:  Papers (50)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (248 KB)

    A novel approach is presented to the operation scheduling problem in a data path synthesis. After obtaining the start time and the require time of each operation by the ASAP (as soon as possible) and ALAP (as late as possible) methods, respectively, an integer linear programming (ILP) formulation is formed to solve the scheduling problem. The objective is to fully utilize the hardware resources, i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scheduling and hardware sharing in pipelined data paths

    Publication Year: 1989, Page(s):24 - 27
    Cited by:  Papers (46)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (365 KB)

    A scheduling and hardware sharing algorithm is presented. This algorithm is generic and can be used for synthesizing both nonpipelined and pipelined data paths. The scheduling algorithm tries to distribute operations equally among partitions to maximize hardware sharing. Multiplexer delays are explicitly considered to produce a more accurate scheduling. In hardware sharing, structural parameters s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automating the diagnosis and the rectification of design errors with PRIAM

    Publication Year: 1989, Page(s):30 - 33
    Cited by:  Papers (60)  |  Patents (6)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (386 KB)

    The authors present the original extensions brought to PRIAM to automate both the diagnosis and the rectification of the design errors detected by this tool. PRIAM is an industrial automated formal verifier used to check the functional correctness of digital circuits of up to 20000 transistors. These extensions implement a novel approach to diagnosis based on Boolean equation solving. In particula... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Accurate logic simulation in the presence of unknowns

    Publication Year: 1989, Page(s):34 - 37
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (262 KB)

    The authors address the problem of accurate logic simulation in the presence of unknowns. Algorithms to perform exact simulation using high-level descriptions are presented. The complexity of these algorithms is shown to be considerably less than that of existing algorithms. An analysis of realistic programmable logic arrays (PLAs) and some random functions is used to compare the complexity of the... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Restricted symbolic evaluation is fast and useful

    Publication Year: 1989, Page(s):38 - 41
    Cited by:  Papers (18)  |  Patents (3)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (315 KB)

    A method is presented for simulation with two zillion and three values. The values that are propagated by the simulation include the familiar 0, 1, and X and also a collection of named unknowns and their formal negations. Each value fits into a single computer word. Applications of this restricted symbolic evaluation include design rule checking for circuits with embedded arrays and timing verific... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • CRACKER: a general area router based on stepwise reshaping

    Publication Year: 1989, Page(s):44 - 47
    Cited by:  Papers (3)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (368 KB)

    CRACKER is an algorithm able to handle a large class of routing problems. Operating on a grid and using two wiring layers, it can deal with floating and fixed terminals, arbitrarily located in the routing area, and with obstacles in either of the two layers. The routing process consists of two stages. In the first stage, all nets are interconnected quickly, without avoiding conflicts with previous... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • AGAR: a single-layer router for gate array cell generation

    Publication Year: 1989, Page(s):48 - 51
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (405 KB)

    AGAR is a single-layer router which does internal wiring of gate array cells for a variety of technologies and background cell images. It starts by using image-specific heuristics to do a partial routing. The heuristics can be supplied by the circuit designer and may be coded using a rule-based shell or a standard programming language. The routing is completed using an image-independent algorithm ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A new approach to sea-of-gates global routing

    Publication Year: 1989, Page(s):52 - 55
    Cited by:  Papers (12)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (458 KB)

    The authors integrate the concepts and techniques of two existing complementary approaches, namely, the rerouting approach and the top-down hierarchical approach based on linear assignment. This combines and enhances the advantages of the two approaches and results in a fast and high-quality router which can handle large sea-of-gates designs. In addition, it solves the problems of routing interdep... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Manual rescheduling and incremental repair of register-level datapaths

    Publication Year: 1989, Page(s):58 - 61
    Cited by:  Papers (14)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (335 KB)

    A description is given of new capabilities of the RLEXT register level exploration tool. RLEXT is an interactive tool that takes a datapath design and allows a user to modify it freely, using transformations that do not themselves preserve correctness. By maintaining a representation of the desired behavior and timing as well as structure, RLEXT is able to 'repair' the design when the user creases... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A resource sharing and control synthesis method for conditional branches

    Publication Year: 1989, Page(s):62 - 65
    Cited by:  Papers (58)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (373 KB)

    A scheduling/allocation and control synthesis algorithm is presented. The proposed algorithm can achieve good resource sharing and synthesize an efficient control sequence for nested conditional branches as well as for straight-line codes. The condition vector concept is introduced to allow mutual exclusion to be detected among operators, and is used to produce more efficient control sequences. Th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A logic synthesis system for VHDL design descriptions

    Publication Year: 1989, Page(s):66 - 69
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (349 KB)

    The VHSIC hardware description language (VHDL) is emerging as an industry standard for the modeling of electronic systems. A description is given of a logic synthesis system developed to realize ASIC CMOS chip designs from VHDL descriptions, designs optimized for cell count and performance. The utilization of VHDL attributes and the interpretation of attribute data by synthesis transformations are... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A timing model for static CMOS gates

    Publication Year: 1989, Page(s):72 - 75
    Cited by:  Papers (19)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (253 KB)

    A simple but accurate delay model is presented for both simple and complex static logic gates. Unlike the previous delay models which assume the worst-case scenario, the present model has the capability of handling the different input switching conditions. In the delay analysis of a circuit, failing to take into account the position of the transistor that is switching can result in a delay value w... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An accurate timing model for fault simulation in MOS circuits

    Publication Year: 1989, Page(s):76 - 79
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (314 KB)

    An accurate timing model is presented for MOS circuits, which is based on a multiple-valued logic representation, accurate RC models for delay calculations derived from transistor characteristics and slope information, and accurate models for physical failures. A delay fault simulator (FACT) based on this model has been implemented. Results for various MOS circuits are described and compared with ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Event-EMU: an event driven timing simulator for MOS VLSI circuits

    Publication Year: 1989, Page(s):80 - 83
    Cited by:  Papers (21)  |  Patents (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (258 KB)

    An event-driven approach to MOS timing simulation is presented, which has proved to be more efficient and reliable than time-step-based methods. The MOS network is statically partitioned into groups of strongly coupled nodes called regions. Regions are scheduled for evaluation using a priority event queue. Events are predictions of the time at which nodes within a region will change by more than a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Automatic mixed-mode timing simulation

    Publication Year: 1989, Page(s):84 - 87
    Cited by:  Papers (8)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (388 KB)

    A novel technique is introduced for automatically performing mixed-mode timing simulation of MOS circuits. A SPICE2 circuit description is assumed to be given, the circuit is first partitioned into channel-connected subcircuits. Each subcircuit is then examined and is statically classified as digital or analog if one of many configurations is detected. Subcircuits which contain memory cells, sense... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Global refinement for building block layout

    Publication Year: 1989, Page(s):90 - 93
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (339 KB)

    A global optimization method with global wiring refinement for building block placement is proposed. The method is based on the notion of a vertex decomposed digraph, called the mixed graph model, which has both orientable edges and directed edges to reflect global routing information and its modification. Global wiring is estimated in terms of chip area and is to be optimized. The graph model is ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Timing driven placement

    Publication Year: 1989, Page(s):94 - 97
    Cited by:  Papers (67)  |  Patents (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (371 KB)

    The authors address the problem of incorporating timing constraints into the physical design of integrated circuits. First they formulate the problem and discuss graph models suitable for its analysis. Next, they describe algorithms resulting in placements of improved performance in comparison to placements whose objective is to minimize the summation of wire lengths on the chip. Finally, the auth... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Combining partitioning and global routing in sea-of-cells design

    Publication Year: 1989, Page(s):98 - 101
    Cited by:  Papers (4)  |  Patents (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (297 KB)

    A report is presented on the partitioning algorithm of a novel automatic layout system for the sea-of-cells design. The algorithm is based on graph partitioning. The principal novelty of the approach is that a global routing is obtained after each iteration to precisely estimate the number of nets crossing a cut. The author also report on the successful application to CMOS chips of the IBM ES/370 ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Layout methods for digital optical computing

    Publication Year: 1989, Page(s):102 - 105
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (461 KB)

    A recognized model for an all-optical digital computer consists of arrays of optical logic devices interconnected in free space. In order to simplify device requirements and to reduce the complexity of the optics, regular interconnects between logic gates are considered such as crossovers. Problems and solutions related to the computer-aided design of these systems are identified, such as layout, ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.