Position Statement: Design Automation Trends for VLSI in the 1980s
Publisher: Association for Computing Machinery (ACM)
Authors:C.W. Gwyn
Year: 1980
Document Type:
Position Statement: Design Automation and VLSI in the 80's
Publisher: Association for Computing Machinery (ACM)
Authors:R.M. Jacobs
Year: 1980
Document Type:
Position Statement: Design Tools for VLSI
Publisher: Association for Computing Machinery (ACM)
Authors:B. Lee
Year: 1980
Document Type:
Position Statement: The VLSI Design Challenge of the 80'S
Publisher: Association for Computing Machinery (ACM)
Authors:A.R. Newton
Year: 1980
Document Type:
Position Statement: VLSI - A Challenge for System Designers
Publisher: Association for Computing Machinery (ACM)
Authors:M.B. Roberts
Year: 1980
Document Type:
Position Statement: Design Automation and VLSI in the 80's
Publisher: Association for Computing Machinery (ACM)
Authors:S. Sapiro
Year: 1980
Document Type:
Fast, automatic, procedure-level performance tuning
Publisher: Association for Computing Machinery (ACM)
Authors:Zhelong Pan; Rudolf Eigenmann
Year: 2006
Document Type:
Reducing control overhead in dataflow architectures
Publisher: Association for Computing Machinery (ACM)
Authors:Andrew Petersen; Martha Mercaldi; Steve Swanson; Andrew Putnam; Andrew Schwerin; Mark Oskin; Susan Eggers
Year: 2006
Document Type:
Keynote talk: Deep computing in biology: Challenges and progress
Publisher: Association for Computing Machinery (ACM)
Authors:Ajay Royyuru
Year: 2006
Document Type:
Hardware support for spin management in overcommitted virtual machines
Publisher: Association for Computing Machinery (ACM)
Authors:Philip M. Wells; Koushik Chakraborty; Gurindar S. Sohi
Year: 2006
Document Type:
Testing implementations of transactional memory
Publisher: Association for Computing Machinery (ACM)
Authors:Chaiyasit Manovit; Sudheendra Hangal; Hassan Chafi; Austen McDonald; Christos Kozyrakis; Kunle Olukotun
Year: 2006
Document Type:
Efficient emulation of hardware prefetchers via event-driven helper threading
Publisher: Association for Computing Machinery (ACM)
Authors:Ilya Ganusov; Martin Burtscher
Year: 2006
Document Type:
DEP: Detailed execution profile
Publisher: Association for Computing Machinery (ACM)
Authors:Qin Zhao; Joon Edward Sim; Weng-Fai Wong; Larry Rudolph
Year: 2006
Document Type:
Whole-program optimization of global variable layout
Publisher: Association for Computing Machinery (ACM)
Authors:Nathaniel Mcintosh; Sandya Mannarswamy; Robert Hundt
Year: 2006
Document Type:
Self-checking instructions — reducing instruction redundancy for concurrent error detection
Publisher: Association for Computing Machinery (ACM)
Authors:Sumeet Kumar; Aneesh Aggarwal
Year: 2006
Document Type:
A low-cost memory remapping scheme for address bus protection
Publisher: Association for Computing Machinery (ACM)
Authors:Lan Gao; Jun Yang; Marek Chrobak; Youtao Zhang; San Nguyen; Hsien-Hsin S. Lee
Year: 2006
Document Type:
Efficient data protection for distributed shared memory multiprocessors
Publisher: Association for Computing Machinery (ACM)
Authors:Brian Rogers; Milos Prvulovic; Yan Solihin
Year: 2006
Document Type:
Wavelet-based phase classification
Publisher: Association for Computing Machinery (ACM)
Authors:Ted Huffmire; Tim Sherwood
Year: 2006
Document Type:
Complexity-based program phase analysis and classification
Publisher: Association for Computing Machinery (ACM)
Authors:Chang-Burm Cho; Tao Li
Year: 2006
Document Type:
Performance prediction based on inherent program similarity
Publisher: Association for Computing Machinery (ACM)
Authors:Kenneth Hoste; Aashish Phansalkar; Lieven Eeckhout; Andy Georges; Lizy K. John; Koen De Bosschere
Year: 2006
Document Type:
Communist, Utilitarian, and Capitalist cache policies on CMPs: Caches as a shared resource
Publisher: Association for Computing Machinery (ACM)
Authors:Lisa R. Hsu; Steven K. Reinhardt; Ravishankar Iyer; Srihari Makineni
Year: 2006
Document Type:
Core architecture optimization for heterogeneous chip multiprocessors
Publisher: Association for Computing Machinery (ACM)
Authors:Rakesh Kumar; Dean M. Tullsen; Norman P. Jouppi
Year: 2006
Document Type:
Compiling for stream processing
Publisher: Association for Computing Machinery (ACM)
Authors:Abhishek Das; William J. Dally; Peter Mattson
Year: 2006
Document Type:
Region array SSA
Publisher: Association for Computing Machinery (ACM)
Authors:Silvius Rust; Guobin He; Christophe Alias; Lawrence Rauchwerger
Year: 2006
Document Type:
A two-phase escape analysis for parallel Java programs
Publisher: Association for Computing Machinery (ACM)
Authors:Kyungwoo Lee; Samuel. P. Midkiff
Year: 2006
Document Type:
Keynote talk: Challenges and opportunities in the post single-thread-processor era
Publisher: Association for Computing Machinery (ACM)
Authors:Steve Scott
Year: 2006
Document Type:
Benchmarking An Interdisciplinary Concurrent Design Methodology for Electronic/Mechanical Systems
Publisher: Association for Computing Machinery (ACM)
Authors:Asim Smailagic, Daniel P. Siewiorek, Drew Anderson, Chris Kasabach, Tom Martin, John Stivoric
Year: 1995
Document Type:
Efficient Power Estimation for Highly Correlated Input Streams
Publisher: Association for Computing Machinery (ACM)
Authors:Diana Marculescu Radu Marculescu, Massoud Pedram
Year: 1995
Document Type:
Simultaneous Gate and Interconnect Sizing for Circuit-Level Delay Optimization
Publisher: Association for Computing Machinery (ACM)
Authors:Satyamurthy Pullela Noel Menezes, Lawrence T. Pileggi
Year: 1995
Document Type:
A Design and Validation System for Asynchronous Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:Albert Wang Peter Vanbekbergen, Kurt Keutzer
Year: 1995
Document Type:
Keynote talk: Experiences with MapReduce, an abstraction for large-scale computation
Publisher: Association for Computing Machinery (ACM)
Authors:Jeffrey Dean
Year: 2006
Document Type:
Architectural support for operating system-driven CMP cache management
Publisher: Association for Computing Machinery (ACM)
Authors:Nauman Rafique; Won-Taek Lim; Mithuna Thottethodi
Year: 2006
Document Type:
Performance Driven Global Routing and Wiring Rule Generation for High Speed PCBs and MCMs
Publisher: Association for Computing Machinery (ACM)
Authors:Paul Franzon Sharad Mehrotra, Michael Steer
Year: 1995
Document Type:
Data Path Allocation for Synthesizing RTL Designs with Low BIST Area Overhead
Publisher: Association for Computing Machinery (ACM)
Authors:Sandeep Gupta Ishwar Parulkar, Melvin A. Breuer
Year: 1995
Document Type:
DARWIN: CMOS opamp Synthesis by Means of a Genetic Algorithm
Publisher: Association for Computing Machinery (ACM)
Authors:Domine Leenaerts Wim Kruiskamp
Year: 1995
Document Type:
Direct Performance-Driven Placement of Mismatch-sensitive Analog Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:G. Gielen K. Lampaert, W. Sansen
Year: 1995
Document Type:
Reduced-Order Modeling of Large Linear Subcircuits via a Block Lanczos Algorithm
Publisher: Association for Computing Machinery (ACM)
Authors:R.W. Freund P. Feldmann
Year: 1995
Document Type:
Efficient Steady-State Analysis Based on Matrix-Free Krylov-Subspace Methods
Publisher: Association for Computing Machinery (ACM)
Authors:Kenneth S. Kundert Ricardo Telichevesky, Jacob K. White
Year: 1995
Document Type:
Behavioral Synthesis Methodology for HDL-Based Specification and Validation
Publisher: Association for Computing Machinery (ACM)
Authors:D. Knapp, T. Ly, D. MacMillen, R. Miller
Year: 1995
Document Type:
Model Checking in Industrial Hardware Design
Publisher: Association for Computing Machinery (ACM)
Authors:Jorg Bormann; Jorg Lohse; Michael Payer; Gerd Venzl
Year: 1995
Document Type:
Retiming Synchronous Circuitry with Imprecise Delays
Publisher: Association for Computing Machinery (ACM)
Authors:R.H.J.M. Otten I. Karkowski
Year: 1995
Document Type:
Software Accelerated Functional Fault Simulation for Data-Path Architectures
Publisher: Association for Computing Machinery (ACM)
Authors:M. Kassab, N. Mukherjee, J. Rajski, J. Tyszer
Year: 1995
Document Type:
Symbolic Fault Simulation for Sequential Circuits and the Multiple Observation Time Test Strategy
Publisher: Association for Computing Machinery (ACM)
Authors:B. Becker R. Krieger, M. Keim
Year: 1995
Document Type:
Analysis of Switch-Level Faults by Symbolic Simulation
Publisher: Association for Computing Machinery (ACM)
Authors:Jordi Carrabina-Bordoll Lluis Ribas-Xirgo
Year: 1995
Document Type:
On Synthesis-for-Testability of Combinational Logic Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:Sudhakar M. Reddy Irith Pomeranz
Year: 1995
Document Type:
Rapid Diagnostic Fault Simulation of Stuck-at Faults in Sequential Circuits using Compact Lists
Publisher: Association for Computing Machinery (ACM)
Authors:Srikanth Venkataraman, Ismed Hartanto, W. Kent Fuchs, Elizabeth M. Rudnick, Sreejit Chakravarty3, Janak H. Patel
Year: 1995
Document Type:
On Test Set Preservation of Retimed Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:Aiman El-Maleh, Thomas Marchok, Janusz Rajski, Wojciech Maly
Year: 1995
Document Type:
Digital Receiver Design Using VHDL Generation From Data Flow Graphs
Publisher: Association for Computing Machinery (ACM)
Authors:Thorsten Grotker Peter Zepter, Heinrich Meyr
Year: 1995
Document Type:
The Aurora RAM Compiler
Publisher: Association for Computing Machinery (ACM)
Authors:Ajay Chandna, C. David Kibler, Richard B. Brown, Mark Roberts, Karem A. Sakallah
Year: 1995
Document Type:
Delayed Frontal Solution for Finite-Element based Resistance Extraction
Publisher: Association for Computing Machinery (ACM)
Authors:A.J. van Genderen N.P. van der Meijs
Year: 1995
Document Type:
Improving the Accuracy of Circuit Activity Measurement
Publisher: Association for Computing Machinery (ACM)
Authors:B. Kapoor
Year: 1994
Document Type:
Reviewers
Publisher: Association for Computing Machinery (ACM)
Year: 1995
Document Type:
Power-Profiler: Optimizing ASICs Power Consumption at the Behavioral Level
Publisher: Association for Computing Machinery (ACM)
Authors:John P. Knight Raul San Martin
Year: 1995
Document Type:
A Method for Finding Good Ashenhurst Decompositions and Its Application to FPGA Synthesis
Publisher: Association for Computing Machinery (ACM)
Authors:Carl Sechen Ted Stanion
Year: 1995
Document Type:
Optimal ILP-based Approach for Throughput Optimization Using Simultaneous Algorithm/Architecture Matching and Retiming
Publisher: Association for Computing Machinery (ACM)
Authors:M. Potkonjak Y.G. DeCastelo-Vide-e-Souza, Alice C. Parker
Year: 1995
Document Type:
Fast Identification of Robust Dependent Path Delay Faults
Publisher: Association for Computing Machinery (ACM)
Authors:U. Sparmann, D. Luxenburger, K.-T. Cheng, S.M. Reddy
Year: 1995
Document Type:
A Fully Implicit Algorithm for Exact State Minimization
Publisher: Association for Computing Machinery (ACM)
Authors:T. Kam; T. Villa; R. Brayton; A. Sangiovanni-Vincentelli
Year: 1994
Document Type:
Boolean Matching of Sequential Elements
Publisher: Association for Computing Machinery (ACM)
Authors:S. Krishnamoorthy; F. Mailhot
Year: 1994
Document Type:
Sequential Circuit Test Generation in a Genetic Algorithm Framework
Publisher: Association for Computing Machinery (ACM)
Authors:E.M. Rudnick; J.H. Patel; G.S. Greenstein; T.M. Niermann
Year: 1994
Document Type:
Functional Test Generation for FSMs by Fault Extraction
Publisher: Association for Computing Machinery (ACM)
Authors:B. Vinnakota; J. Andrews
Year: 1994
Document Type:
ProperHITEC: A Portable, Parallel, Object-Oriented Approach to Sequential Test Generation
Publisher: Association for Computing Machinery (ACM)
Authors:S. Parkes; P. Banerjee; J. Patel
Year: 1994
Document Type:
Modeling of Intermediate Node States in Switch-Level Networks
Publisher: Association for Computing Machinery (ACM)
Authors:P. Dahlgren; P. Liden
Year: 1994
Document Type:
A New Time-Domain Macromodel for Transient Simulation of Uniform/Nonuniform Multiconductor Transmission-Line Interconnections
Publisher: Association for Computing Machinery (ACM)
Authors:M. Haque; A. El-Zein; S. Chowdhury
Year: 1994
Document Type:
OTTER: Optimal Termination of Transmission lines Excluding Radiation
Publisher: Association for Computing Machinery (ACM)
Authors:R. Gupta; L.T. Pillage
Year: 1994
Document Type:
Partitioning Very Large Circuits Using Analytical Placement Techniques
Publisher: Association for Computing Machinery (ACM)
Authors:B.M. Riess; K. Doll; F.M. Johannes
Year: 1994
Document Type:
Multi-Way Partitioning Via Spacefilling Curves and Dynamic Programming
Publisher: Association for Computing Machinery (ACM)
Authors:C.J. Alpert; A.B. Kahng
Year: 1994
Document Type:
Acyclic Multi-Way Partitioning of Boolean Networks
Publisher: Association for Computing Machinery (ACM)
Authors:J. Cong; Zheng Li; R. Bagrodia
Year: 1994
Document Type:
Panel: Design Automation Tools for FPGA Design
Publisher: Association for Computing Machinery (ACM)
Authors:K. Knack
Year: 1994
Document Type:
Hitachi - PA/50, SH Series Microcontroller
Publisher: Association for Computing Machinery (ACM)
Authors:T. Nishimukai
Year: 1994
Document Type:
Low Power CMOS Design Strategies
Publisher: Association for Computing Machinery (ACM)
Authors:M. Schobinger; T.G. Noll
Year: 1994
Document Type:
Formally Verifying a Microprocessor Using a Simulation Methodology
Publisher: Association for Computing Machinery (ACM)
Authors:D.L. Beatty; R.E. Bryant
Year: 1994
Document Type:
Automatic Verification of Pipelined Microprocessors
Publisher: Association for Computing Machinery (ACM)
Authors:V. Bhagwati; S. Devadas
Year: 1994
Document Type:
A Time Abstraction Method for Efficient Verification of Communicating Systems
Publisher: Association for Computing Machinery (ACM)
Authors:E. Verlind; T. Kolks; G. de Jong; Bill Lin; H. De Man
Year: 1994
Document Type:
On the Computation of the Set of Reachable States of Hybrid Models
Publisher: Association for Computing Machinery (ACM)
Authors:A.S. Krishnakumar; Kwang-Ting Cheng
Year: 1994
Document Type:
The Attributed-Behavior Abstraction and Synthesis Tools
Publisher: Association for Computing Machinery (ACM)
Authors:L.F. Arnstein; D. Thomas
Year: 1994
Document Type:
Panel: Design Reuse: Fact or Fiction?
Publisher: Association for Computing Machinery (ACM)
Authors:N. Dutt
Year: 1994
Document Type:
Delay Analysis of VLSI Interconnections Using the Diffusion Equation Model
Publisher: Association for Computing Machinery (ACM)
Authors:A.B. Kahng; S. Muddu
Year: 1994
Document Type:
MONSTR: A Complete Thermal Simulator of Electronic Systems
Publisher: Association for Computing Machinery (ACM)
Authors:V. Koval; I.W. Farmaga; A.J. Strojwas; S.W. Director
Year: 1994
Document Type:
A Gate-Delay Model for High-Speed CMOS Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:F. Dartu; N. Menezes; J. Qian; L.T. Pillage
Year: 1994
Document Type:
The Design of High-Performance Microprocessors at Digital
Publisher: Association for Computing Machinery (ACM)
Authors:T.F. Fox
Year: 1994
Document Type:
On Improving Fault Diagnosis for Synchronous Sequential Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:I. Pomeranz; S.M. Reddy
Year: 1994
Document Type:
VFSIM: Vectorized Fault Simulator Using a Reduction Technique Excluding Temporarily Unobservable Faults
Publisher: Association for Computing Machinery (ACM)
Authors:T. Nagumo; M. Nagai; T. Nishida; M. Miyoshi; S. Miyamoto
Year: 1994
Document Type:
An Efficient Path Delay Fault Coverage Estimator
Publisher: Association for Computing Machinery (ACM)
Authors:K. Heragu; M.L. Bushnell; V.D. Agrawal
Year: 1994
Document Type:
Path Hashing to Accelerate Delay Fault Simulation
Publisher: Association for Computing Machinery (ACM)
Authors:M. Henftling; H.C. Wittmann; K.J. Antreich
Year: 1994
Document Type:
MIST - A Design Aid for Programmable Pipelined Processors
Publisher: Association for Computing Machinery (ACM)
Authors:A.E. Casavant
Year: 1994
Document Type:
Protocol Generation for Communication Channels
Publisher: Association for Computing Machinery (ACM)
Authors:S. Narayan; D.D. Gajski
Year: 1994
Document Type:
Structured Design Methodology for High-Level Design
Publisher: Association for Computing Machinery (ACM)
Authors:P. Kission; Hong Ding; A.A. Jerraya
Year: 1994
Document Type:
Design Methodology Management Using Graph Grammars
Publisher: Association for Computing Machinery (ACM)
Authors:R. Baldwin; Moon Jung Chung
Year: 1994
Document Type:
Incorporating Speculative Execution in Exact Control-Dependent Scheduling
Publisher: Association for Computing Machinery (ACM)
Authors:I. Radivojevic; F. Brewer
Year: 1994
Document Type:
Loop Pipelining for Scheduling Multi-Dimensional Systems via Rotation
Publisher: Association for Computing Machinery (ACM)
Authors:N.L. Passos; E.H. Sha; S.C. Bass
Year: 1994
Document Type:
Performance Analysis and Optimization of Schedules for Conditional and Loop-Intensive Specifications
Publisher: Association for Computing Machinery (ACM)
Authors:S. Bhattacharya; S. Dey; F. Brglez
Year: 1994
Document Type:
Chain Closure: A Problem in Molecular CAD
Publisher: Association for Computing Machinery (ACM)
Authors:M.D. Di Benedetto; P. Lucibello; A.L. Sangiovanni-Vincentelli; K. Yamaguchi
Year: 1994
Document Type:
Random Generation of Test Instances for Logic Optimizers
Publisher: Association for Computing Machinery (ACM)
Authors:K. Iwama; K. Hino
Year: 1994
Document Type:
Hardware-Software Co-Design and ESDA
Publisher: Association for Computing Machinery (ACM)
Authors:K. Keutzer
Year: 1994
Document Type:
A System for Incremental Synthesis to Gate-Level and Reoptimization Following RTL Design Changes
Publisher: Association for Computing Machinery (ACM)
Authors:S.C. Prasad; P. Anirudhan; P. Bosshart
Year: 1994
Document Type:
Lessons in Language Design: Cost/Benefit Analysis of VHDL Features
Publisher: Association for Computing Machinery (ACM)
Authors:O. Levia; S. Maginot; J. Rouillard
Year: 1994
Document Type:
HSIS: A BDD-Based Environment for Formal Verification
Publisher: Association for Computing Machinery (ACM)
Authors:A. Aziz; F. Balarin; S.-T. Cheng; R. Hojati; T. Kam; S.C. Krishnan; R.K. Ranjan; T.R. Shiple; V. Singhal; S. Tasiran; H.-Y. Wang; R.K. Brayton; A.L. Sangiovanni-Vincentelli
Year: 1994
Document Type:
Rapid Prototyping of ASIC Based System
Publisher: Association for Computing Machinery (ACM)
Authors:P.H. Kelly; K.J. Page; P.M. Chau
Year: 1994
Document Type:
Minimal Delay Interconnect Design Using Alphabetic Trees
Publisher: Association for Computing Machinery (ACM)
Authors:A. Vittal; M. Marek-Sadowska
Year: 1994
Document Type:
Panel: Technology Summit - A View from the Top
Publisher: Association for Computing Machinery (ACM)
Authors:A.J. Graham
Year: 1994
Document Type:
Optimum Functional Decomposition Using Encoding
Publisher: Association for Computing Machinery (ACM)
Authors:R. Murgai; R.K. Brayton; A. Sangiovanni-Vincentelli
Year: 1994
Document Type:
Efficient Representation and Manipulation of Switching Functions Based on Ordered Kronecker Functional Decision Diagrams
Publisher: Association for Computing Machinery (ACM)
Authors:R. Drechsler; A. Sarabi; M. Theobald; B. Becker; M.A. Perkowski
Year: 1994
Document Type:
Calculation of Unate Cube Set Algebra Using Zero-Suppressed BDDs
Publisher: Association for Computing Machinery (ACM)
Authors:S. Minato
Year: 1994
Document Type:
Performance Optimization Using Exact Sensitization
Publisher: Association for Computing Machinery (ACM)
Authors:A. Saldanha; H. Harkness; P.C. McGeer; R.K. Brayton; A.L. Sangiovanni-Vincentelli
Year: 1994
Document Type:
A Methodology and Algorithms for Post-Placement Delay Optimization
Publisher: Association for Computing Machinery (ACM)
Authors:L.N. Kannan; P.R. Suaris; Hong-Gee Fang
Year: 1994
Document Type:
Technology Mapping Using Fuzzy Logic
Publisher: Association for Computing Machinery (ACM)
Authors:S. Iman; M. Pedram; K. Chaudhary
Year: 1994
Document Type:
DFBT: A Design-for-Testability Method Based on Balance Testing
Publisher: Association for Computing Machinery (ACM)
Authors:K. Chakrabarty; J.P. Hayes
Year: 1994
Document Type:
An Efficient Zero-Skew Routing Algorithm
Publisher: Association for Computing Machinery (ACM)
Authors:M. Edahiro
Year: 1994
Document Type:
Rectilinear Steiner Trees with Minimum Elmore Delay
Publisher: Association for Computing Machinery (ACM)
Authors:K.D. Boese; A.B. Kahng; B.A. McCoy; G. Robins
Year: 1994
Document Type:
RC Interconnect Optimization under the Elmore Delay Model
Publisher: Association for Computing Machinery (ACM)
Authors:S.S. Sapatnekar
Year: 1994
Document Type:
Panel: Microprocessor Testing: Which Technique Is Best?
Publisher: Association for Computing Machinery (ACM)
Authors:J.A. Abraham
Year: 1994
Document Type:
Placement and Routing for a Field Programmable Multi-Chip Module
Publisher: Association for Computing Machinery (ACM)
Authors:S. Lan; A. Ziv; A. El Gamal
Year: 1994
Document Type:
Performance-Driven Simultaneous Place and Route for Row-Based FPGAs
Publisher: Association for Computing Machinery (ACM)
Authors:S.K. Nag; R.A. Rutenbar
Year: 1994
Document Type:
Fitting Formal Methods into the Design Cycle
Publisher: Association for Computing Machinery (ACM)
Authors:K.L. McMillan
Year: 1994
Document Type:
Panel: Complex System Verification: The Challenge Ahead
Publisher: Association for Computing Machinery (ACM)
Authors:R. Collett
Year: 1994
Document Type:
A Comprehensive Approach to Logic Synthesis and Physical Design for Two-Dimensional Logic Arrays
Publisher: Association for Computing Machinery (ACM)
Authors:A. Sarabi; Ning Song; M. Chrzanowska-Jeske; M.A. Perkowski
Year: 1994
Document Type:
Heuristic Minimization of BDDs Using Don't Cares
Publisher: Association for Computing Machinery (ACM)
Authors:T.R. Shiple; R. Hojati; A.L. Sangiovanni-Vincentelli; R.K. Brayton
Year: 1994
Document Type:
Experience with Image Compression Chip Design Using Unified System Construction Tools
Publisher: Association for Computing Machinery (ACM)
Authors:P. Gupta; Chih-Tung Chen; J.C. Desouza-Batista; A.C. Parker
Year: 1994
Document Type:
Probabilistic Analysis of Large Finite State Machines
Publisher: Association for Computing Machinery (ACM)
Authors:G.D. Hachtel; E. Macii; A. Pardo; F. Somenzi
Year: 1994
Document Type:
New Techniques for Efficient Verification with Implicitly Conjoined BDDs
Publisher: Association for Computing Machinery (ACM)
Authors:A.J. Hu; G. York; D.L. Dill
Year: 1994
Document Type:
BDD Variable Ordering for Interacting Finite State Machines
Publisher: Association for Computing Machinery (ACM)
Authors:A. Aziz; S. Tasiran; R.K. Brayton
Year: 1994
Document Type:
Auxiliary Variables for Extending Symbolic Traversal Techniques to Data Paths
Publisher: Association for Computing Machinery (ACM)
Authors:G. Cabodi; P. Camurati; S. Quer
Year: 1994
Document Type:
Efficient Substitution of Multiple Constant Multiplications by Shifts and Additions Using Iterative Pairwise Matching
Publisher: Association for Computing Machinery (ACM)
Authors:M. Potkonjak; M.B. Srivastava; A. Chandrakasan
Year: 1994
Document Type:
Clock Period Optimization During Resource Sharing and Assignment
Publisher: Association for Computing Machinery (ACM)
Authors:S. Bhattacharya; S. Dey; F. Brglez
Year: 1994
Document Type:
Optimizing Resource Utilization and Testability Using Hot Potato Techniques
Publisher: Association for Computing Machinery (ACM)
Authors:M. Potkonjak; S. Dey
Year: 1994
Document Type:
Microarchitectural Synthesis of VLSI Designs with High Test Concurrency
Publisher: Association for Computing Machinery (ACM)
Authors:I.G. Harris; A. Orailoglu
Year: 1994
Document Type:
Rectification of Multiple Logic Design Errors in Multiple Output Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:M. Tomita; T. Yamamoto; F. Sumikawa; K. Hirano
Year: 1994
Document Type:
Error Diagnosis for Transistor-Level Verification
Publisher: Association for Computing Machinery (ACM)
Authors:A. Kuehlmann; D.I. Cheng; A. Srinivasan; D.P. LaPotin
Year: 1994
Document Type:
Memory Estimation for High Level Synthesis
Publisher: Association for Computing Machinery (ACM)
Authors:I.M. Verbauwhede; C.J. Scheers; J.M. Rabaey
Year: 1994
Document Type:
Minimization of Memory Traffic in High-Level Synthesis
Publisher: Association for Computing Machinery (ACM)
Authors:D.J. Kolson; A. Nicolau; N. Dutt
Year: 1994
Document Type:
Sequencer-Based Data Path Synthesis of Regular Iterative Algorithms
Publisher: Association for Computing Machinery (ACM)
Authors:M. Aloqeely; C.Y.R. Chen
Year: 1994
Document Type:
Intellectual Property Protection in the EDA Industry
Publisher: Association for Computing Machinery (ACM)
Authors:D.S. Fernandez
Year: 1994
Document Type:
A Global Router Optimizing Timing and Area for High-Speed Bipolar LSI's
Publisher: Association for Computing Machinery (ACM)
Authors:I. Harada; H. Kitazawa
Year: 1994
Document Type:
A Unified Approach to Multilayer Over-the-Cell Routing
Publisher: Association for Computing Machinery (ACM)
Authors:S. Madhwapathy; N. Sherwani; S. Bhingarde; A. Panyam
Year: 1994
Document Type:
Exact Minimum Cycle Times for Finite State Machines
Publisher: Association for Computing Machinery (ACM)
Authors:W.K.C. Lam; R.K. Brayton; A.L. Sangiovanni-Vincentelli
Year: 1994
Document Type:
Interface Timing Verification with Application to Synthesis
Publisher: Association for Computing Machinery (ACM)
Authors:E.A. Walkup; G. Borriello
Year: 1994
Document Type:
Automated Multi-Cycle Symbolic Timing Verification of Microprocessor-based Designs
Publisher: Association for Computing Machinery (ACM)
Authors:A.P. Gupta; D.P. Siewiorek
Year: 1994
Document Type:
The Minimization and Decomposition of Interface State Machines
Publisher: Association for Computing Machinery (ACM)
Authors:A.J. Daga; W.P. Birmingham
Year: 1994
Document Type:
Statistical Delay Modeling in Logic Design and Synthesis
Publisher: Association for Computing Machinery (ACM)
Authors:H. Jyu; S. Malik
Year: 1994
Document Type:
Cost of Silicon Viewed from VLSI Design Perspective
Publisher: Association for Computing Machinery (ACM)
Authors:W. Maly
Year: 1994
Document Type:
A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules
Publisher: Association for Computing Machinery (ACM)
Authors:G.G. de Jong; B. Lin
Year: 1994
Document Type:
A Modular Partitioning Approach for Asynchronous Circuit Synthesis
Publisher: Association for Computing Machinery (ACM)
Authors:R. Puri; Jun Gu
Year: 1994
Document Type:
Performance Analysis Based on Timing Simulation
Publisher: Association for Computing Machinery (ACM)
Authors:C.D. Nielsen; M. Kishinevsky
Year: 1994
Document Type:
Implicit Computation of Minimum-Cost Feedback-Vertex Sets for Partial Scan and Other Applications
Publisher: Association for Computing Machinery (ACM)
Authors:P. Ashar; S. Malik
Year: 1994
Document Type:
An Exact Algorithm for Selecting Partial Scan Flip-Flops
Publisher: Association for Computing Machinery (ACM)
Authors:S.T. Chakradhar; A. Balakrishnan; V.D. Agrawal
Year: 1994
Document Type:
Resynthesis and Retiming for Optimum Partial Scan
Publisher: Association for Computing Machinery (ACM)
Authors:S.T. Chakradhar; S. Dey
Year: 1994
Document Type:
Reviewers
Publisher: Association for Computing Machinery (ACM)
Year: 1994
Document Type:
A Methodology for Efficient Estimation of Switching Activity in Sequential Logic Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:J. Monteiro; S. Devadas; B. Lin
Year: 1994
Document Type:
ASTRX/OBLX: Tools for Rapid Synthesis of High-Performance Analog Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:E.S. Ochotta; R.A. Rutenbar; L.R. Carley
Year: 1994
Document Type:
Simultaneous Placement and Module Optimization of Analog IC's
Publisher: Association for Computing Machinery (ACM)
Authors:E. Charbon; E. Malavasi; D. Pandini; A. Sangiovanni-Vincentelli
Year: 1994
Document Type:
Stochastic Optimization Approach to Transistor Sizing for CMOS VLSI Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:S. Mehrotra; P. Franzon; Wentai Liu
Year: 1994
Document Type:
Management Issues in EDA
Publisher: Association for Computing Machinery (ACM)
Authors:A.M. Prabhu
Year: 1994
Document Type:
Incremental Event-Driven Simulation of Digital FET Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:C. Visweswariah; J.A. Wehbeh
Year: 1993
Document Type:
Panel: Where in the World Should CAD Software be Made?
Publisher: Association for Computing Machinery (ACM)
Authors:J. Darringer
Year: 1993
Document Type:
Geometric Embeddings for Faster and Better Multi-Way Netlist Partitioning
Publisher: Association for Computing Machinery (ACM)
Authors:C.J. Alpert; A.B. Kahng
Year: 1993
Document Type:
A Parallel Bottom-up Clustering Algorithm with Applications to Circuit Partitioning in VLSI Design
Publisher: Association for Computing Machinery (ACM)
Authors:J. Cong; M. Smith
Year: 1993
Document Type:
Quadratic Boolean Programming for Performance-Driven System Partitioning
Publisher: Association for Computing Machinery (ACM)
Authors:M. Shih; E.S. Kuh
Year: 1993
Document Type:
Panel: The Key to EDA Results: Component & Library Management
Publisher: Association for Computing Machinery (ACM)
Authors:R. Wadhwani
Year: 1993
Document Type:
The State of CAD and VLSI in Russia
Publisher: Association for Computing Machinery (ACM)
Authors:V. Yarnikh
Year: 1993
Document Type:
The State of VHDL in Russia
Publisher: Association for Computing Machinery (ACM)
Authors:Y. Tatarnikov
Year: 1993
Document Type:
The State of Simulation in Russia
Publisher: Association for Computing Machinery (ACM)
Authors:A. Birger
Year: 1993
Document Type:
The State of EDA in Russian Universities
Publisher: Association for Computing Machinery (ACM)
Authors:V.M. Mikhov
Year: 1993
Document Type:
An Efficient Non-Quasi-Static Diode Model for Circuit Simulation
Publisher: Association for Computing Machinery (ACM)
Authors:A.T. Yang; Y. Liu; J.T. Yao; R.R. Daniels
Year: 1993
Document Type:
Addressing High-speed Interconnect Issues in Asymptotic Waveform Evaluation
Publisher: Association for Computing Machinery (ACM)
Authors:E. Chiprout; M. Nakhla
Year: 1993
Document Type:
Performance Specification Using Attributed Grammars
Publisher: Association for Computing Machinery (ACM)
Authors:R. Mandayam; R. Vemuri
Year: 1993
Document Type:
An Information Model of Time
Publisher: Association for Computing Machinery (ACM)
Authors:C.A. Giumale; H.J. Kahn
Year: 1993
Document Type:
A Cross-Debugging Method for Hardware/Software Co-design Environments
Publisher: Association for Computing Machinery (ACM)
Authors:Y. Kra
Year: 1993
Document Type:
FastHenry: A Multipole-Accelerated 3-D Inductance Extraction Program
Publisher: Association for Computing Machinery (ACM)
Authors:M. Kamon; M.J. Tsuk; J. White
Year: 1993
Document Type:
Analysis and Reliable Design of ECL Circuits with Distributed RLC Interconnections
Publisher: Association for Computing Machinery (ACM)
Authors:M. Haque; S. Chowdhury
Year: 1993
Document Type:
Frequency Domain Microwave Modeling Using Retarded Partial Element Equivalent Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:H. Heeb; S. Ponnapalli; A.E. Ruehli
Year: 1993
Document Type:
ESPRESSO-SIGNATURE: A New Exact Minimizer for Logic Functions
Publisher: Association for Computing Machinery (ACM)
Authors:P. McGeer; J. Sanghavi; R. Brayton; A.S. Vincentelli
Year: 1993
Document Type:
A New Viewpoint on Two-Level Logic Minimization
Publisher: Association for Computing Machinery (ACM)
Authors:O. Coudert; J.C. Madre; H. Fraisse
Year: 1993
Document Type:
Optimization of Combinational Logic Circuits Based on Compatible Gates
Publisher: Association for Computing Machinery (ACM)
Authors:M. Damiani; J.C. Yang; G. De Micheli
Year: 1993
Document Type:
Optimization and Resynthesis of Complex Data-Paths
Publisher: Association for Computing Machinery (ACM)
Authors:H. Eveking; S. Horeth
Year: 1993
Document Type:
Design Management Using Dynamically Defined Flows
Publisher: Association for Computing Machinery (ACM)
Authors:P.R. Sutton; J.B. Brockman; S.W. Director
Year: 1993
Document Type:
Active Documentation: a New Interface for VLSI Design
Publisher: Association for Computing Machinery (ACM)
Authors:M.J. Silva; R.H. Katz
Year: 1993
Document Type:
A Tree-Based Scheduling Algorithm for Control-Dominated Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:S.H. Huang; Y.L. Jeang; C.T. Hwang; Y.C. Hsu; J.F. Wang
Year: 1993
Document Type:
Synthesis of Pipelined Instruction Set Processors
Publisher: Association for Computing Machinery (ACM)
Authors:R.J. Cloutier; D.E. Thomas
Year: 1993
Document Type:
A Negative Reinforcement Method for PGA Routing
Publisher: Association for Computing Machinery (ACM)
Authors:F.D. Lewis; Wang Chia-Chi Pong
Year: 1993
Document Type:
Performance-Driven Interconnect Design Based on Distributed RC Delay Model
Publisher: Association for Computing Machinery (ACM)
Authors:J. Cong; Kwok-Shing Leung; Dian Zhou
Year: 1993
Document Type:
A Clustering-Based Optimization Algorithm in Zero-Skew Routings
Publisher: Association for Computing Machinery (ACM)
Authors:M. Edahiro
Year: 1993
Document Type:
Panel: Multi-vendor Tool Integration Experiences
Publisher: Association for Computing Machinery (ACM)
Authors:R. Collett
Year: 1993
Document Type:
Prime: A Timing-Driven Placement Tool Using A Piecewise Linear Resistive Network Approach
Publisher: Association for Computing Machinery (ACM)
Authors:T. Hamada; Chung-Kuan Cheng; P.M. Chau
Year: 1993
Document Type:
Cooperative Approach to a Practical Analog LSI Layout System
Publisher: Association for Computing Machinery (ACM)
Authors:M. Mogaki; Y. Shiraishi; M. Kimura; T. Hino
Year: 1993
Document Type:
ABLE: AMD Backplane for Layout Engines
Publisher: Association for Computing Machinery (ACM)
Authors:K.W. Wan; R.A. Gidwani
Year: 1993
Document Type:
Practical Statistical Design of Complex Integrated Circuit Products
Publisher: Association for Computing Machinery (ACM)
Authors:S.G. Duvall
Year: 1993
Document Type:
Rotation Scheduling: A Loop Pipelining Algorithm
Publisher: Association for Computing Machinery (ACM)
Authors:L. Chao; A. LaPaugh; E.H. Sha
Year: 1993
Document Type:
Critical Path Minimization Using Retiming and Algebraic Speed-Up
Publisher: Association for Computing Machinery (ACM)
Authors:Z. Iqbal; M. Potkonjak; S. Dey; A. Parker
Year: 1993
Document Type:
Sequential Circuit Delay Optimization Using Global Path Delays
Publisher: Association for Computing Machinery (ACM)
Authors:S.T. Chakradhar; S. Dey; M. Potkonjak; S.G. Rothweiler
Year: 1993
Document Type:
Resynthesis of Multi-Phase Pipelines
Publisher: Association for Computing Machinery (ACM)
Authors:N.V. Shenoy; R.K. Brayton; A.L. Sangiovanni-Vincentelli
Year: 1993
Document Type:
TIM: A Timing Package for Two-Phase, Level-Clocked Circuitry
Publisher: Association for Computing Machinery (ACM)
Authors:M.C. Papaefthymiou; K.H. Randall
Year: 1993
Document Type:
DRAFTS: Discretized Analog Circuit Fault Simulator
Publisher: Association for Computing Machinery (ACM)
Authors:N. Nagi; A. Chatterjee; J.A. Abraham
Year: 1993
Document Type:
Fast Hierarchical Multi-Level Fault Simulation of Sequential Circuits with Switch-Level Accuracy
Publisher: Association for Computing Machinery (ACM)
Authors:W. Meyer; R. Camposano
Year: 1993
Document Type:
An Algorithm for Diagnosing Two-Line Bridging Faults in Combinational Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:S. Chakravarty; Yiming Gong
Year: 1993
Document Type:
Delay Fault Coverage and Performance Tradeoffs
Publisher: Association for Computing Machinery (ACM)
Authors:W.K. Lam; A. Saldanha; R.K. Brayton; A.L. Sangiovanni-Vincentelli
Year: 1993
Document Type:
Design for Testability for Path Delay Faults in Sequential Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:T.J. Chakraborty; V.D. Agrawal; M.L. Bushnell
Year: 1993
Document Type:
Bridge Fault Simulation Strategies for CMOS Integrated Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:B. Chess; T. Larrabee
Year: 1993
Document Type:
Linking BDD-Based Symbolic Evaluation to Interactive Theorem-Proving
Publisher: Association for Computing Machinery (ACM)
Authors:J.J. Joyce; C.H. Seger
Year: 1993
Document Type:
A Unified Approach to Language Containment and Fair CTL Model Checking
Publisher: Association for Computing Machinery (ACM)
Authors:R. Hojati; T.R. Shiple; R.K. Brayton; R.P. Kurshan
Year: 1993
Document Type:
Panel: Are EDA Platform Preferences About to Shift
Publisher: Association for Computing Machinery (ACM)
Authors:W.S. Johnson
Year: 1993
Document Type:
High-Level Transformations for Minimizing Syntactic Variances
Publisher: Association for Computing Machinery (ACM)
Authors:V. Chaiyakul; D.D. Gajski; L. Ramachandran
Year: 1993
Document Type:
An Approach for Redesigning in Data Path Synthesis
Publisher: Association for Computing Machinery (ACM)
Authors:C. Papachristou; H. Harmanani; M. Nourani
Year: 1993
Document Type:
High-level Symbolic Construction Techniques for High Performance Sequential Synthesis
Publisher: Association for Computing Machinery (ACM)
Authors:A. Seawright; F. Brewer
Year: 1993
Document Type:
High-Level Synthesis of Fault-Secure Microarchitectures
Publisher: Association for Computing Machinery (ACM)
Authors:R. Karri; A. Orailoglu
Year: 1993
Document Type:
Towards Optimal System-Level Design
Publisher: Association for Computing Machinery (ACM)
Authors:M.S. Haworth; W.P. Birmingham
Year: 1993
Document Type:
NEST: A Non-Enumerative Test Generation Method for Path Delay Faults in Combinational Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:I. Pomeranz; S.M. Reddy; P. Uppaluri
Year: 1993
Document Type:
Performance Enhancement of CMOS VLSI Circuits by Transistor Reordering
Publisher: Association for Computing Machinery (ACM)
Authors:B.S. Carlson; C.Y.R. Chen
Year: 1993
Document Type:
Comparative Design Validation Based on Event Pattern Mappings
Publisher: Association for Computing Machinery (ACM)
Authors:B.A. Gennart
Year: 1993
Document Type:
Improved Techniques for Probabilistic Simulation Including Signal Correlation Effects
Publisher: Association for Computing Machinery (ACM)
Authors:G.I. Stamoulis; I.N. Hajj
Year: 1993
Document Type:
Resolving Signal Correlations for Estimating Maximum Currents in CMOS Combinational Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:H. Kriplani; F. Najm; Ping Yang; I. Hajj
Year: 1993
Document Type:
MSTC: A Method for Identifying Overconstraints during Hierarchical Compaction
Publisher: Association for Computing Machinery (ACM)
Authors:C.S. Bamji; R. Varadarajan
Year: 1993
Document Type:
A Compaction Method for Full Chip VLSI Layouts
Publisher: Association for Computing Machinery (ACM)
Authors:J. Dao; N. Matsumoto; T. Hamai; C. Ogawa; S. Mori
Year: 1993
Document Type:
Panel: Embedded Systems and Hardware-Software Co-Design: Panacea or Pandora's Box?
Publisher: Association for Computing Machinery (ACM)
Authors:W. Wolf
Year: 1993
Document Type:
Optimal Clustering for Delay Minimization
Publisher: Association for Computing Machinery (ACM)
Authors:R. Rajaraman; D.F. Wong
Year: 1993
Document Type:
On Routability Prediction for Field-Programmable Gate Arrays
Publisher: Association for Computing Machinery (ACM)
Authors:P.K. Chan; M.D.F. Schlag; J.Y. Zien
Year: 1993
Document Type:
The Clinton/Gore Technology Policies
Publisher: Association for Computing Machinery (ACM)
Authors:R.D. Nurnberger
Year: 1993
Document Type:
An Architectural Transformation Program for Optimization of Digital Systems by Multi-Level Decomposition
Publisher: Association for Computing Machinery (ACM)
Authors:A. Chatterjee; R.K. Roy
Year: 1993
Document Type:
InSyn: Integrated Scheduling for DSP Applications
Publisher: Association for Computing Machinery (ACM)
Authors:A. Sharma; Rajiv Jain
Year: 1993
Document Type:
Reducing BDD Size by Exploiting Functional Dependencies
Publisher: Association for Computing Machinery (ACM)
Authors:A.J. Hu; D.L. Dill
Year: 1993
Document Type:
Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems
Publisher: Association for Computing Machinery (ACM)
Authors:S. Minato
Year: 1993
Document Type:
Information Modelling of EDIF
Publisher: Association for Computing Machinery (ACM)
Authors:R.Y.W. Lau; H.J. Kahn
Year: 1993
Document Type:
Panel: Life Expectancy of Standards
Publisher: Association for Computing Machinery (ACM)
Authors:S.R. Pollock
Year: 1993
Document Type:
A Layout Estimation Algorithm for RTL Datapaths
Publisher: Association for Computing Machinery (ACM)
Authors:M. Nourani; C. Papachristou
Year: 1993
Document Type:
Architectural Synthesis of Performance--Driven Multipliers with Accumulator Interleaving
Publisher: Association for Computing Machinery (ACM)
Authors:D. Ghosh; S.K. Nandy; P. Sadayappan; K. Parthasarathy
Year: 1993
Document Type:
Routability-Driven Fanout Optimization
Publisher: Association for Computing Machinery (ACM)
Authors:H. Vaishnav; M. Pedram
Year: 1993
Document Type:
Non-Scan Design-for-Testability Techniques for Sequential Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:V. Chickermane; E.M. Rudnick; P. Banerjee; J.H. Patel
Year: 1993
Document Type:
An Efficient Partitioning Strategy for Pseudo-Exhaustive Testing
Publisher: Association for Computing Machinery (ACM)
Authors:R. Srinivasan; S.K. Gupta; M.A. Breuer
Year: 1993
Document Type:
Partial Scan with Retiming
Publisher: Association for Computing Machinery (ACM)
Authors:D. Kagaris; S. Tragoudas
Year: 1993
Document Type:
A Cost-Based Approach to Partial Scan
Publisher: Association for Computing Machinery (ACM)
Authors:P.S. Parikh; M. Abramovici
Year: 1993
Document Type:
On Computing the Transitive Closure of a State Transition Relation
Publisher: Association for Computing Machinery (ACM)
Authors:Y. Matsunaga; P.C. McGeer; R.K. Brayton
Year: 1993
Document Type:
Performance Oriented Rectilinear Steiner Trees
Publisher: Association for Computing Machinery (ACM)
Authors:A. Lim; Siu-Wing Cheng; Ching-Ting Wu
Year: 1993
Document Type:
High-Performance Routing Trees with Identified Critical Sinks
Publisher: Association for Computing Machinery (ACM)
Authors:K.D. Boese; A.B. Kahng; G. Robins
Year: 1993
Document Type:
Experiences in Functional Validation of a High Level Synthesis System
Publisher: Association for Computing Machinery (ACM)
Authors:R. Vemuri; P. Mamtora; P. Sinha; N. Kumar; J. Roy; R. Vutukuru
Year: 1993
Document Type:
Performance Directed Technology Mapping for Look-Up Table Based FPGAs
Publisher: Association for Computing Machinery (ACM)
Authors:P. Sawkar; D. Thomas
Year: 1993
Document Type:
MIM: Logic Module Independent Technology Mapping for Design and Evaluation of Antifuse-based FPGAs
Publisher: Association for Computing Machinery (ACM)
Authors:M. Mehendale
Year: 1993
Document Type:
Sequential Synthesis for Table Look Up Programmable Gate Arrays
Publisher: Association for Computing Machinery (ACM)
Authors:R. Murgai; R.K. Brayton; A. Sangiovanni-Vincentelli
Year: 1993
Document Type:
Panel: What Is the Next Big Productivity Boost for Designers?
Publisher: Association for Computing Machinery (ACM)
Authors:K. Keutzer
Year: 1993
Document Type:
Improved Methods for Worst-Case Analysis and Optimization Incorporating Operating Tolerances
Publisher: Association for Computing Machinery (ACM)
Authors:H.E. Graeb; C.U. Wieser; K.J. Antreich
Year: 1993
Document Type:
A New Optimizer for Performance Optimization of Analog Integrated Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:N. Nagaraj
Year: 1993
Document Type:
Performance-Constrained Worst-Case Variability Minimization of VLSI Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:A. Dharchoudhury; S.M. Kang
Year: 1993
Document Type:
Panel: Logic Emulation: A Niche or a Future Standard for Design Verification?
Publisher: Association for Computing Machinery (ACM)
Authors:J. Rose
Year: 1993
Document Type:
Reliable Non-Zero Skew Clock Trees Using Wire Width Optimization
Publisher: Association for Computing Machinery (ACM)
Authors:S. Pullela; N. Menezes; L.T. Pillage
Year: 1993
Document Type:
Speed up of Behavioral A.T.P.G. Using a Heuristic Criterion
Publisher: Association for Computing Machinery (ACM)
Authors:J. Santucci; A. Courbis; N. Giambiasi
Year: 1993
Document Type:
A State Traversal Algorithm Using a State Covariance Matrix
Publisher: Association for Computing Machinery (ACM)
Authors:A. Motohara; T. Hosokawa; M. Muraoka; H. Maekawa; K. Kayashima; Y. Shimeki; Seichi Shin
Year: 1993
Document Type:
Cost-Effective Generation of Minimal Test Sets for Stuck-at Faults in Combinational Logic Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:S. Kajihara; I. Pomeranz; K. Kinoshita; S.M. Reddy
Year: 1993
Document Type:
Sequential Circuit Test Generation on a Distributed System
Publisher: Association for Computing Machinery (ACM)
Authors:P. Agrawal; V.D. Agrawal; J. Villoldo
Year: 1993
Document Type:
A Verification Technique for Gated Clock
Publisher: Association for Computing Machinery (ACM)
Authors:M. Kawarabayashi; N. Shenoy; A. Sangiovanni-Vincentelli
Year: 1993
Document Type:
Circuit Delay Models and Their Exact Computation Using Timed Boolean Functions
Publisher: Association for Computing Machinery (ACM)
Authors:W.K.C. Lam; R.K. Brayton; A.L. Sangiovanni-Vincentelli
Year: 1993
Document Type:
Resistance Extraction Using a Routing Algorithm
Publisher: Association for Computing Machinery (ACM)
Authors:L. Ladage; R. Leupers
Year: 1993
Document Type:
HV/VH Trees: A New Spatial Data Structure for Fast Region Queries
Publisher: Association for Computing Machinery (ACM)
Authors:G.G. Lai; D. Fussell; D.F. Wong
Year: 1993
Document Type:
Increasing Design Quality and Engineering Productivity through Design Reuse
Publisher: Association for Computing Machinery (ACM)
Authors:E. Girczyc; S. Carlson
Year: 1993
Document Type:
Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping
Publisher: Association for Computing Machinery (ACM)
Authors:E.M. Clarke; K.L. McMillan; X. Zhao; M. Fujita; J. Yang
Year: 1993
Document Type:
Automatic Technology Mapping for Generalized Fundamental-Mode Asynchronous Designs
Publisher: Association for Computing Machinery (ACM)
Authors:P. Siegel; G. De Micheli; D. Dill
Year: 1993
Document Type:
INCREDYBLE-TG: INCREmental DYnamic Test Generation Based on LEarning
Publisher: Association for Computing Machinery (ACM)
Authors:I. Pomeranz; S.M. Reddy
Year: 1993
Document Type:
Loop Optimization in Register-Transfer Scheduling for DSP-Systems
Publisher: Association for Computing Machinery (ACM)
Authors:G. Goossens; J. Vandewalle; H. De Man
Year: 1989
Document Type:
Semantics of a Hardware Design Language for Japanese Standardization
Publisher: Association for Computing Machinery (ACM)
Authors:H. Yasuura; N. Ishiura
Year: 1989
Document Type:
Reviewers
Publisher: Association for Computing Machinery (ACM)
Year: 1993
Document Type:
Optimized State Assignment of Single Fault Tolerant FSMs Based on SEC Codes
Publisher: Association for Computing Machinery (ACM)
Authors:R. Leveugle
Year: 1993
Document Type:
Minimal Shift Counters and Frequency Division
Publisher: Association for Computing Machinery (ACM)
Authors:A.M. Tokarnia
Year: 1993
Document Type:
SubGemini: Identifying SubCircuits using a Fast Subgraph Isomorphism Algorithm
Publisher: Association for Computing Machinery (ACM)
Authors:M. Ohlrich; C. Ebeling; E. Ginting; L. Sather
Year: 1993
Document Type:
Via Minimization by Layout Modification
Publisher: Association for Computing Machinery (ACM)
Authors:K. The; D.F. Wong; Jingsheng Cong
Year: 1989
Document Type:
The Object-Oriented Integration Methodology of the Cadlab Work Station Design Environment
Publisher: Association for Computing Machinery (ACM)
Authors:J. Miller; K. Groning; G. Schulz; C. White
Year: 1989
Document Type:
A Unified Design Representation Can Work
Publisher: Association for Computing Machinery (ACM)
Authors:P. Kollaritsch; S. Lusky; D. Matzke; D. Smith; P. Stanford
Year: 1989
Document Type:
An Object-Oriented Datamodel for the VLSI Design System PLAYOUT
Publisher: Association for Computing Machinery (ACM)
Authors:E. Siepmann; G. Zimmermann
Year: 1989
Document Type:
CEDIF: A Data Driven EDIF Reader
Publisher: Association for Computing Machinery (ACM)
Authors:M. Roberts
Year: 1989
Document Type:
Fast Online/Offline Netlist Compilation of Hierarchical Schematics
Publisher: Association for Computing Machinery (ACM)
Authors:L.G. Jones
Year: 1989
Document Type:
Min-Cost Partitioning on a Tree Structure and Applications
Publisher: Association for Computing Machinery (ACM)
Authors:G. Vijayan
Year: 1989
Document Type:
Compaction of a Routed Channel on the Connection Machine
Publisher: Association for Computing Machinery (ACM)
Authors:S. Ganguly; V. Pitchumani
Year: 1989
Document Type:
Automatic Sizing of Power/Ground (P/G) Networks in VLSI
Publisher: Association for Computing Machinery (ACM)
Authors:R. Dutta; M. Marek-Sadowska
Year: 1989
Document Type:
Optimum Design of Reliable IC Power Networks Having General Graph Topologies
Publisher: Association for Computing Machinery (ACM)
Authors:S. Chowdhury
Year: 1989
Document Type:
DYNAJUST: An Efficient Automatic Routing Technique Optimizing Delay Conditions
Publisher: Association for Computing Machinery (ACM)
Authors:Y. Fujihara; Y. Sekiyama; Y. Ishibashi; M. Yanaka
Year: 1989
Document Type:
DTR: A Defect-Tolerant Routing Algorithm
Publisher: Association for Computing Machinery (ACM)
Authors:A. Pitaksanonkul; S. Thanawastien; C. Lursinsap; J.A. Gandhi
Year: 1989
Document Type:
Toward Synthesis from English Descriptions
Publisher: Association for Computing Machinery (ACM)
Authors:W. Cyre
Year: 1989
Document Type:
Behavioral Modeling of Transmission Gates in VHDL
Publisher: Association for Computing Machinery (ACM)
Authors:S.S. Leung
Year: 1989
Document Type:
Designer Controlled Behavioral Synthesis
Publisher: Association for Computing Machinery (ACM)
Authors:N.D. Dutt; D.D. Gajski
Year: 1989
Document Type:
Partitioning by Probability Condensation
Publisher: Association for Computing Machinery (ACM)
Authors:J. Blanks
Year: 1989
Document Type:
Fast Hypergraph Partition
Publisher: Association for Computing Machinery (ACM)
Authors:A.B. Kahng
Year: 1989
Document Type:
An Evolution-Based Approach to Partitioning ASIC Systems
Publisher: Association for Computing Machinery (ACM)
Authors:Y. Saab; Vasant Rao
Year: 1989
Document Type:
On the Repair of Redundant RAMs
Publisher: Association for Computing Machinery (ACM)
Authors:V.G. Hemmady; S.M. Reddy
Year: 1989
Document Type:
CMOS Stuck-Open Fault Detection Using Single Test Patterns
Publisher: Association for Computing Machinery (ACM)
Authors:R. Rajsuman; A.P. Jayasumana; Y.K. Malaiya
Year: 1989
Document Type:
ATLAS/ELA: Scan-Based Software Tools for Reducing System Debug Time in a State-of-the-Art Workstation
Publisher: Association for Computing Machinery (ACM)
Authors:B.I. Dervisoglu; M.A. Keil
Year: 1989
Document Type:
A Functional-Level Test Generation Methodology Using Two-Level Representations
Publisher: Association for Computing Machinery (ACM)
Authors:U.J. Dave; J.H. Patel
Year: 1989
Document Type:
A Massively Parallel Algorithm for Fault Simulation on the Connection Machine
Publisher: Association for Computing Machinery (ACM)
Authors:V. Narayanan; V. Pitchumani
Year: 1989
Document Type:
A New Model for the High Level Description and Simulation of VLSI Networks
Publisher: Association for Computing Machinery (ACM)
Authors:A.J. van der Hoeven; A.A.J. de Lange; E.F. Deprettere; P.M. Dewilde
Year: 1989
Document Type:
Special Purpose Architecture for Accelerating Bitmap DRC
Publisher: Association for Computing Machinery (ACM)
Authors:N.B. Bhat; S.K. Nandy
Year: 1989
Document Type:
An Efficient Finite Element Method for Submicron IC Capacitance Extraction
Publisher: Association for Computing Machinery (ACM)
Authors:N.P. van der Meijs; A.J. van Genderen
Year: 1989
Document Type:
From Network to Artwork
Publisher: Association for Computing Machinery (ACM)
Authors:L. Stok; G.J.P. Koster
Year: 1989
Document Type:
REDUSA: Module Generation by Automatic Elimination of Superfluous Blocks in Regular Structures
Publisher: Association for Computing Machinery (ACM)
Authors:I. Vandeweerd; K. Croes; L. Rijnders; P. Six; H. De Man
Year: 1989
Document Type:
A Comparison of Four Two-Dimensional Gate Matrix Layout Tools
Publisher: Association for Computing Machinery (ACM)
Authors:M.J. Irwin; R.M. Owens
Year: 1989
Document Type:
CrossCheck: A Cell Based VLSI Testability Solution
Publisher: Association for Computing Machinery (ACM)
Authors:T. Gheewala
Year: 1989
Document Type:
Evaluating Hardware Models in DIGITAL's System Simulation Environment
Publisher: Association for Computing Machinery (ACM)
Authors:A.K. George
Year: 1989
Document Type:
Algorithms for Accuracy Enhancement in a Hardware Logic Simulator
Publisher: Association for Computing Machinery (ACM)
Authors:P. Agrawal; R. Tutundjian; W. Dally
Year: 1989
Document Type:
Efficient Algorithms for Extracting the K Most Critical Paths in Timing Analysis
Publisher: Association for Computing Machinery (ACM)
Authors:S.H.C. Yen; D.H.C. Du; S. Ghanta
Year: 1989
Document Type:
Timing Analysis in a Logic Synthesis Environment
Publisher: Association for Computing Machinery (ACM)
Authors:N. Weiner; A. Sangiovanni-Vincentelli
Year: 1989
Document Type:
Rule-Based VLSI Verification System Constrained by Layout Parasitics
Publisher: Association for Computing Machinery (ACM)
Authors:J. Wenin; J. Verhasselt; M. Van Camp; P. Guebels; J. Leonard
Year: 1989
Document Type:
Timing Verification by Formal Signal Interaction Modeling in a Multi-level Timing Simulator
Publisher: Association for Computing Machinery (ACM)
Authors:J. Benkoski; A.J. Strojwas
Year: 1989
Document Type:
Evaluation of a Reconfigurable Architecture for Digital Beamforming Using the OODRA Workbench
Publisher: Association for Computing Machinery (ACM)
Authors:D.K. Hwang; T.L. Wernimont; W.K. Fuchs
Year: 1989
Document Type:
An ASIC Methodology for Mixed Analog-Digital Simulation
Publisher: Association for Computing Machinery (ACM)
Authors:M. Rumsey; J. Sackett
Year: 1989
Document Type:
FACET - A CAE System for RF Analogue Simulation Including Layout
Publisher: Association for Computing Machinery (ACM)
Authors:R.F. Milsom; K.J. Scott; G. Clark; J.C. McEntegart; S. Ahmed; F.N. Soper
Year: 1989
Document Type:
iSMILE: A Novel Circuit Simulation Program with emphasis on New Device Model Development
Publisher: Association for Computing Machinery (ACM)
Authors:A.T. Yang; S.M. Kang
Year: 1989
Document Type:
AWEsim: Asymptotic Waveform Evaluation for Timing Analysis
Publisher: Association for Computing Machinery (ACM)
Authors:L.T. Pillage; Xiaoli Huang; R.A. Rohrer
Year: 1989
Document Type:
A Novel Approach to Accurate Timing Verification Using RTL Descriptions
Publisher: Association for Computing Machinery (ACM)
Authors:K. Roy; J.A. Abraham
Year: 1989
Document Type:
Efficient Floorplan Area Optimization
Publisher: Association for Computing Machinery (ACM)
Authors:D.F. Wong; P.S. Sakhamuri
Year: 1989
Document Type:
A Parallel Row-Based Algorithm for Standard Cell Placement with Integrated Error Control
Publisher: Association for Computing Machinery (ACM)
Authors:J.S. Sargent; P. Banerjee
Year: 1989
Document Type:
A Note on Clustering Modules for Floorplanning
Publisher: Association for Computing Machinery (ACM)
Authors:J.D. Gabbe; P.A. Subrahmanyam
Year: 1989
Document Type:
An Interactive Tool for Register-Level Structure Optimization
Publisher: Association for Computing Machinery (ACM)
Authors:D.W. Knapp
Year: 1989
Document Type:
VHDL Synthesis Using Structured Modeling
Publisher: Association for Computing Machinery (ACM)
Authors:J.S. Lis; D.D. Gajski
Year: 1989
Document Type:
Capturing Designer Expertise The CGEN System
Publisher: Association for Computing Machinery (ACM)
Authors:W.P. Birmingham; D.P. Siewiorek
Year: 1989
Document Type:
High-Level Graphical User Interface Management in the FACE Synthesis Environment
Publisher: Association for Computing Machinery (ACM)
Authors:M. Dragomirecky; E.P. Glinert; J.R. Jasica; D.A. Duff; W.D. Smith; M.A. d'Abreu
Year: 1989
Document Type:
On the General False Path Problem in Timing Analysis
Publisher: Association for Computing Machinery (ACM)
Authors:D.H.C. Du; S.H.C. Yen; S. Ghanta
Year: 1989
Document Type:
Efficient Algorithms for Computing the Longest Viable Path in a Combinational Network
Publisher: Association for Computing Machinery (ACM)
Authors:P.C. McGeer; R.K. Brayton
Year: 1989
Document Type:
Static Timing Analysis of Dynamically Sensitizable Paths
Publisher: Association for Computing Machinery (ACM)
Authors:S. Perremans; L. Claesen; H. De Man
Year: 1989
Document Type:
Average Interconnection Length and Interconnection Distribution Based on Rent's Rule
Publisher: Association for Computing Machinery (ACM)
Authors:C.V. Gura; J.A. Abraham
Year: 1989
Document Type:
PIAF: A Knowledge-based/Algorithmic Top-down Floorplanning System
Publisher: Association for Computing Machinery (ACM)
Authors:M.A. Jabri; D.J. Skellern
Year: 1989
Document Type:
Time-Symbolic Simulation for Accurate Timing Verification of Asynchronous Behavior of Logic Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:N. Ishiura; M. Takahashi; S. Yajima
Year: 1989
Document Type:
The Use of Inverse Layout Trees for Hierarchical Design Rule Checking
Publisher: Association for Computing Machinery (ACM)
Authors:N. Hedenstierna; K.O. Jeppson
Year: 1989
Document Type:
Electrical Debugging of Synchronous MOS VLSI Circuits Exploiting Analysis of the Intended Logic Behaviour
Publisher: Association for Computing Machinery (ACM)
Authors:I. Bolsens; W. De Rammelaer; L. Claesen; H. De Man
Year: 1989
Document Type:
MULTES/IS: An Effective and Reliable Test Generation System for Partial Scan and Non-Scan Synchronous Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:T. Ogihara; K. Muroi; G. Yonemori; S. Murai
Year: 1989
Document Type:
ACE: A Hierarchical Graphical Interface for Architectural Synthesis
Publisher: Association for Computing Machinery (ACM)
Authors:O.A. Buset; M.I. Elmasry
Year: 1989
Document Type:
ELF: A Tool for Automatic Synthesis of Custom Physical CAD Software
Publisher: Association for Computing Machinery (ACM)
Authors:D.E. Setliff; R.A. Rutenbar
Year: 1989
Document Type:
Design for Manufacturability and Yield
Publisher: Association for Computing Machinery (ACM)
Authors:A.J. Strojwas
Year: 1989
Document Type:
MIOS: A Flexible System for PCB Manufacturing
Publisher: Association for Computing Machinery (ACM)
Authors:A.C. Hung; P.M. Reddy; P.J. Hammer
Year: 1989
Document Type:
FACE Core Environment: The Model and its Application in CAE/CAD Tool Development
Publisher: Association for Computing Machinery (ACM)
Authors:W.D. Smith; D. Duff; M. Dragomirecky; J. Caldwell; M. Hartman; J. Jasica; M.A. d'Abreu
Year: 1989
Document Type:
An Approach to Intelligent Assistance for the Specification of ASIC Design Using Objects and Rules
Publisher: Association for Computing Machinery (ACM)
Authors:K.D. Mueller-Glaser; J. Bortolazzi
Year: 1989
Document Type:
Representation and Use of Design Rules within a Technology Adaptable CAD System
Publisher: Association for Computing Machinery (ACM)
Authors:J.S. Aude; H.J. Kahn
Year: 1989
Document Type:
Worst-Case Delay Estimation of Transistor Groups
Publisher: Association for Computing Machinery (ACM)
Authors:S. Gaiotti; M.R. Dagenais; N.C. Rumin
Year: 1989
Document Type:
Multi Chip Modules
Publisher: Association for Computing Machinery (ACM)
Authors:R.H. Bruce; W.P. Meuli; Jackson Ho
Year: 1989
Document Type:
Automatic Layout of Silicon-On-Silicon Hybrid Packages
Publisher: Association for Computing Machinery (ACM)
Authors:B. Preas; M. Pedram; D. Curry
Year: 1989
Document Type:
Solutions to the Module Orientation and Rotation Problems by Neural Computation Networks
Publisher: Association for Computing Machinery (ACM)
Authors:R. Libeskind-Hadas; C.L. Liu
Year: 1989
Document Type:
An Automatic Test Generation Algorithm for Hardware Description Languages
Publisher: Association for Computing Machinery (ACM)
Authors:F.E. Norrod
Year: 1989
Document Type:
Verification of Hardware Descriptions by Retargetable Code Generation
Publisher: Association for Computing Machinery (ACM)
Authors:L. Nowak; P. Marwedel
Year: 1989
Document Type:
GRASP: A Grammar-based Schematic Parser
Publisher: Association for Computing Machinery (ACM)
Authors:C. Bamji; J. Allen
Year: 1989
Document Type:
A Deterministic Approach to Adjacency Testing for Delay Faults
Publisher: Association for Computing Machinery (ACM)
Authors:C.T. Glover; M.R. Mercer
Year: 1989
Document Type:
Parallel Pattern Fault Simulation of Path Delay Faults
Publisher: Association for Computing Machinery (ACM)
Authors:M.H. Schulz; F. Fink; K. Fuchs
Year: 1989
Document Type:
Path-Delay Constrained Floorplanning: A Mathematical Programming Approach for Initial Placement
Publisher: Association for Computing Machinery (ACM)
Authors:S. Prasitjutrakul; W.J. Kubitz
Year: 1989
Document Type:
Performance-Driven Placement of Cell Based IC's
Publisher: Association for Computing Machinery (ACM)
Authors:M.A.B. Jackson; E.S. Kuh
Year: 1989
Document Type:
An Analytic Optimization Technique for Placement of Macro-Cells
Publisher: Association for Computing Machinery (ACM)
Authors:A. Herrigel; W. Fichtner
Year: 1989
Document Type:
An Investigation into Statistical Properties of Partitioning and Floorplanning Problems
Publisher: Association for Computing Machinery (ACM)
Authors:S. Sastry; J.-I. Pi
Year: 1989
Document Type:
Three Competing Design Methodologies for ASIC's: Architectural Synthesis, Logic Synthesis and Module Generation
Publisher: Association for Computing Machinery (ACM)
Authors:K. Keutzer
Year: 1989
Document Type:
General Decomposition of Sequential Machines: Relationships to State Assignment
Publisher: Association for Computing Machinery (ACM)
Authors:S. Devadas
Year: 1989
Document Type:
State Assignment Using a New Embedding Method Based on an Intersecting Cube Theory
Publisher: Association for Computing Machinery (ACM)
Authors:G. Saucier; C. Duff; F. Poirot
Year: 1989
Document Type:
NOVA: State Assignment of Finite State Machines for Optimal Two-Level Logic Implementations
Publisher: Association for Computing Machinery (ACM)
Authors:T. Villa; A. Sangiovanni-Vincentelli
Year: 1989
Document Type:
Horizontal Partitioning of PLA-based Finite State Machines
Publisher: Association for Computing Machinery (ACM)
Authors:P.G. Paulin
Year: 1989
Document Type:
A Parallel Branch and Bound Algorithm for Test Generation
Publisher: Association for Computing Machinery (ACM)
Authors:S. Patil; P. Banerjee
Year: 1989
Document Type:
Database Support for Evolving Design Objects
Publisher: Association for Computing Machinery (ACM)
Authors:A. Biliris
Year: 1989
Document Type:
Protection and Versioning for OCT
Publisher: Association for Computing Machinery (ACM)
Authors:M. Silva; D. Gedye; R. Katz; R. Newton
Year: 1989
Document Type:
Approaches to Multi-Level Sequential Logic Synthesis
Publisher: Association for Computing Machinery (ACM)
Authors:S. Devadas
Year: 1989
Document Type:
Multi-Level Logic Simplification Using Don't Cares and Filters
Publisher: Association for Computing Machinery (ACM)
Authors:A. Saldanha; A.R. Wang; R.K. Brayton; A.L. Sangiovanni-Vincentelli
Year: 1989
Document Type:
Automatic Synthesis of Boolean Equations Using Programmable Array Logic
Publisher: Association for Computing Machinery (ACM)
Authors:R.P. Gore; K. Ramamohanarao
Year: 1989
Document Type:
Technology Tracking of Non Manhattan VLSI Layout
Publisher: Association for Computing Machinery (ACM)
Authors:J. Waterkamp; R. Wicke; R. Bruck; M. Reinhardt; G. Schrammeck
Year: 1989
Document Type:
Experience with the D-BUS Architecture for a Design Automation Framework
Publisher: Association for Computing Machinery (ACM)
Authors:E.C. VanHorn; R.R. Rezac
Year: 1989
Document Type:
Efficient Prime Factorization of Logic Expressions
Publisher: Association for Computing Machinery (ACM)
Authors:P.C. McGeer; R.K. Brayton
Year: 1989
Document Type:
New Methods in the Analysis of Logic Minimization Data and Algorithms
Publisher: Association for Computing Machinery (ACM)
Authors:A.J. Coppola
Year: 1989
Document Type:
The Layout Synthesizer: An Automatic Netlist-to-Layout System
Publisher: Association for Computing Machinery (ACM)
Authors:C.C. Chen; Shau-Lim Chow
Year: 1989
Document Type:
A Module Generator for Optimized CMOS Buffers
Publisher: Association for Computing Machinery (ACM)
Authors:A.J. Al-Khalili; Y. Zhu; D. Al-Khalili
Year: 1989
Document Type:
Use of Change Coordination in an Information-Rich Design Environment
Publisher: Association for Computing Machinery (ACM)
Authors:M. Winslett; D. Knapp; K. Hall; G. Wiederhold
Year: 1989
Document Type:
IRSIM: An Incremental MOS Switch-Level Simulator
Publisher: Association for Computing Machinery (ACM)
Authors:A. Salz; M. Horowitz
Year: 1989
Document Type:
Automatic Generation of Behavioral Models from Switch-Level Descriptions
Publisher: Association for Computing Machinery (ACM)
Authors:D.T. Blaauw; D.G. Saab; R.B. Mueller-Thuns; J.A. Abraham; J.T. Rahmeh
Year: 1989
Document Type:
Locating Functional Errors in Logic Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:K.A. Tamura
Year: 1989
Document Type:
CASE Environments for Design Automation
Publisher: Association for Computing Machinery (ACM)
Authors:A.I. Wasserman
Year: 1989
Document Type:
An Object Oriented Approach to CAD Tool Control within a Design Framework
Publisher: Association for Computing Machinery (ACM)
Authors:J. Daniell; S.W. Director
Year: 1989
Document Type:
DeBuMA: Description, Building and Management of Applications
Publisher: Association for Computing Machinery (ACM)
Authors:C. Frydman; N. Giambiasi; M. Gatumel; P. Bayle
Year: 1989
Document Type:
The Social Implications of Computerization: Making the Technology Humane
Publisher: Association for Computing Machinery (ACM)
Authors:M.C. McFarland
Year: 1989
Document Type:
The MICON System for Computer Design
Publisher: Association for Computing Machinery (ACM)
Authors:W.P. Birmingham; A.P. Gupta; D.P. Siewiorek
Year: 1989
Document Type:
Gabriel: A Design Environment for Programmable DSPs
Publisher: Association for Computing Machinery (ACM)
Authors:E.A. Lee; E. Goei; H. Heine; W. Ho; S. Bhattacharyya; J. Bier; E. Guntvedt
Year: 1989
Document Type:
Automatic Synthesis of Microprogrammed Control Units from Behavioral Descriptions
Publisher: Association for Computing Machinery (ACM)
Authors:A. Kumar; S. Kumar; P. Kulshreshtha; S. Ghose
Year: 1989
Document Type:
On Global Wire Ordering for Macro-Cell Routing
Publisher: Association for Computing Machinery (ACM)
Authors:P. Groeneveld
Year: 1989
Document Type:
A New Heuristic for Single Row Routing Problems
Publisher: Association for Computing Machinery (ACM)
Authors:N.A. Sherwani; J.S. Deogun
Year: 1989
Document Type:
Characterization of Parallelism and Deadlocks in Distributed Digital Logic Simulation
Publisher: Association for Computing Machinery (ACM)
Authors:L. Soule; A. Gupta
Year: 1989
Document Type:
Massively Parallel Switch-Level Simulation: A Feasibility Study
Publisher: Association for Computing Machinery (ACM)
Authors:S.A. Kravitz; R.E. Bryant; R.A. Rutenbar
Year: 1989
Document Type:
LASSIE: Structure to Layout for Behavioral Synthesis Tools
Publisher: Association for Computing Machinery (ACM)
Authors:M.T. Trick; S.W. Director
Year: 1989
Document Type:
Multi-Stack Optimization for Data-Path Chip (Microprocessor) Layout
Publisher: Association for Computing Machinery (ACM)
Authors:W.K. Luk; A.A. Dean
Year: 1989
Document Type:
Performance Optimized Floor Planning by Graph Planarization
Publisher: Association for Computing Machinery (ACM)
Authors:B. Lokanathan; E. Kinnen
Year: 1989
Document Type:
ORCA A Sea-of-gates Place and Route System
Publisher: Association for Computing Machinery (ACM)
Authors:M. Igusa; M. Beardslee; A. Sangiovanni-Vincentelli
Year: 1989
Document Type:
Transistor Size Optimization in the Tailor Layout System
Publisher: Association for Computing Machinery (ACM)
Authors:D. Marple
Year: 1989
Document Type:
VLSI Design Language Standardization Effort in Japan
Publisher: Association for Computing Machinery (ACM)
Authors:O. Karatsu
Year: 1989
Document Type:
Experience with the ADAM Synthesis System
Publisher: Association for Computing Machinery (ACM)
Authors:R. Jain; K. Kucukcakar; M.J. Mlinar; A.C. Parker
Year: 1989
Document Type:
Architectural Partitioning for System Level Design
Publisher: Association for Computing Machinery (ACM)
Authors:E.D. Lagnese; D.E. Thomas
Year: 1989
Document Type:
Integrated Scheduling and Binding : A Synthesis Approach for Design Space Exploration
Publisher: Association for Computing Machinery (ACM)
Authors:M. Balakrishnan; P. Marwedel
Year: 1989
Document Type:
Automatic Production of Controller Specifications from Control and Timing Behavioral Descriptions
Publisher: Association for Computing Machinery (ACM)
Authors:S. Hayati; A. Parker
Year: 1989
Document Type:
Scheduling and Binding Algorithms for High-Level Synthesis
Publisher: Association for Computing Machinery (ACM)
Authors:P.G. Paulin; J.P. Knight
Year: 1989
Document Type:
A Scheduling and Resource Allocation Algorithm for Hierarchical Signal Flow Graphs
Publisher: Association for Computing Machinery (ACM)
Authors:M. Potkonjak; J. Rabaey
Year: 1989
Document Type:
Efficient Sparse Matrix Factorization for Circuit Simulation on Vector Supercomputers
Publisher: Association for Computing Machinery (ACM)
Authors:P. Sadayappan; V. Visvanathan
Year: 1989
Document Type:
A Framework for Scheduling Multi-rate Circuit Simulation
Publisher: Association for Computing Machinery (ACM)
Authors:A.P.-C. Ng; V. Visvanathan
Year: 1989
Document Type:
Feedback Loops and Large Subcircuits in the Multiprocessor Implementation of a Relaxation Based Circuit Simulator
Publisher: Association for Computing Machinery (ACM)
Authors:P. Odent; L. Claesen; H. De Man
Year: 1989
Document Type:
Template Style Considerations for Sea-of-Gates Layout Generation
Publisher: Association for Computing Machinery (ACM)
Authors:G.D. Adams; C.H. Sequin
Year: 1989
Document Type:
Functional Abstraction from Structure in VLSI Simulation Models
Publisher: Association for Computing Machinery (ACM)
Authors:R.H. Lathrop; R.J. Hall; R.S. Kirk
Year: 1987
Document Type:
Optimal Layout to Avoid CMOS Stuck-Open Faults
Publisher: Association for Computing Machinery (ACM)
Authors:S. Koeppe
Year: 1987
Document Type:
Reviewers
Publisher: Association for Computing Machinery (ACM)
Year: 1987
Document Type:
Advance Registration Form - 27th Design Automation Conference
Publisher: Association for Computing Machinery (ACM)
Year: 1989
Document Type:
Reviewers
Publisher: Association for Computing Machinery (ACM)
Year: 1989
Document Type:
The Last Decade of Design Automation. And the next.
Publisher: Association for Computing Machinery (ACM)
Authors:G. Langler
Year: 1989
Document Type:
A Discrete Heuristics Approach to Predictive Evaluation of Semi-Custom IC Layouts
Publisher: Association for Computing Machinery (ACM)
Authors:A.A. Minai; R.D. Williams; F.W. Blake
Year: 1987
Document Type:
A Rule-Based Placement System for Printed Wiring Boards
Publisher: Association for Computing Machinery (ACM)
Authors:G. Odawara; T. Hamuro; K. Iijima; T. Yoshino; Yinxia Dai
Year: 1987
Document Type:
A Rule-Based Circuit Representation for Automated CMOS Design and Verification
Publisher: Association for Computing Machinery (ACM)
Authors:C.-F.E. Wu; A.S. Wojcik; L.M. Ni
Year: 1987
Document Type:
A High Performance Routing Engine
Publisher: Association for Computing Machinery (ACM)
Authors:T.D. Spiers; D.A. Edwards
Year: 1987
Document Type:
Performance of a Parallel Algorithm for Standard Cell Placement on the Intel Hypercube
Publisher: Association for Computing Machinery (ACM)
Authors:M. Jones; P. Banerjee
Year: 1987
Document Type:
A Preliminary Investigation into Parallel Routing on a Hypercube Computer
Publisher: Association for Computing Machinery (ACM)
Authors:O.A. Olukotun; T.N. Mudge
Year: 1987
Document Type:
A Parts Selection Expert System to Increase Manufacturability
Publisher: Association for Computing Machinery (ACM)
Authors:D. Praizler; G. Fritz
Year: 1987
Document Type:
Fast Printed Circuit Board Routing
Publisher: Association for Computing Machinery (ACM)
Authors:J. Dion
Year: 1987
Document Type:
Heuristic Acceleration of Force-Directed Placement
Publisher: Association for Computing Machinery (ACM)
Authors:R. Forbes
Year: 1987
Document Type:
EASE: A Design Support Environment for the HDDL ELLA
Publisher: Association for Computing Machinery (ACM)
Authors:J.D. Morison; N.E. Peeling; T.L. Thorp; E.V. Whiting
Year: 1987
Document Type:
CHESHIRE: An Object-Oriented Integration of VLSI CAD Tools
Publisher: Association for Computing Machinery (ACM)
Authors:L.-P. Demers; P. Jacques; S. Fauvel; E. Cerny
Year: 1987
Document Type:
STEM: An IC Design Environment Based on the Smalltalk Model-View-Controller Construct
Publisher: Association for Computing Machinery (ACM)
Authors:E.F. Girczyc; Tai Ly
Year: 1987
Document Type:
PAMS: An Expert System for Parameterized Module Synthesis
Publisher: Association for Computing Machinery (ACM)
Authors:T. Cesear; E. Iodice; C. Tsareff
Year: 1987
Document Type:
LES: A Layout Expert System
Publisher: Association for Computing Machinery (ACM)
Authors:Y.-L.S. Lin; D.D. Gajski
Year: 1987
Document Type:
An Expert System Application in Semicustom VLSI Design
Publisher: Association for Computing Machinery (ACM)
Authors:R.L. Steele
Year: 1987
Document Type:
Optimal Layout to Avoid CMOS Stuck-Open Faults
Publisher: Association for Computing Machinery (ACM)
Authors:S. Koeppe
Year: 1987
Document Type:
Design and Algorithms for Parallel Testing of Random Access and Content Addressable Memories
Publisher: Association for Computing Machinery (ACM)
Authors:P. Mazumder; J.H. Patel; W.K. Fuchs
Year: 1987
Document Type:
A Dynamic Programming Approach to the Test Point Insertion Problem
Publisher: Association for Computing Machinery (ACM)
Authors:B. Krishnamurthy
Year: 1987
Document Type:
Improving a PLA Area by Pull-Up Transistor Folding
Publisher: Association for Computing Machinery (ACM)
Authors:C. Lursinsap; D. Gajski
Year: 1987
Document Type:
Routing with a Scanning Window - A Unified Approach
Publisher: Association for Computing Machinery (ACM)
Authors:D. Kaplan
Year: 1987
Document Type:
General Purpose Router
Publisher: Association for Computing Machinery (ACM)
Authors:R.J. Enbody; H.C. Du
Year: 1987
Document Type:
A New Compaction Scheme Based on Compression Ridges
Publisher: Association for Computing Machinery (ACM)
Authors:Pradip.C. Shah; H.N. Mahabala
Year: 1987
Document Type:
Hierarchical Design Based on a Calculus of Nets
Publisher: Association for Computing Machinery (ACM)
Authors:B. Becker; G. Hotz; R. Kolla; P. Molitor; H.-G. Osthof
Year: 1987
Document Type:
An Application of Exploratory Data Analysis Techniques to Floorplan Design
Publisher: Association for Computing Machinery (ACM)
Authors:E.F.M. Kouka; G. Saucier
Year: 1987
Document Type:
The Implementation of a State Machine Compiler
Publisher: Association for Computing Machinery (ACM)
Authors:C. Kingsley
Year: 1987
Document Type:
Boolean Comparison by Simulation
Publisher: Association for Computing Machinery (ACM)
Authors:E.P. Stabler; H. Bingol
Year: 1987
Document Type:
Statistics for Parallelism and Abstraction Level in Digital Simulation
Publisher: Association for Computing Machinery (ACM)
Authors:L. Soule; T. Blank
Year: 1987
Document Type:
A Conceptual Framework for Designing ASIC Hardware
Publisher: Association for Computing Machinery (ACM)
Authors:S.S. Leung; M.A. Shanblatt
Year: 1987
Document Type:
CASE: An Integrated Design Environment for Algorithm-Driven Architectures
Publisher: Association for Computing Machinery (ACM)
Authors:D.C.A. Bulterman
Year: 1987
Document Type:
A Parallel PLA Minimization Program
Publisher: Association for Computing Machinery (ACM)
Authors:R. Galivanche; S.M. Reddy
Year: 1987
Document Type:
The Design Automation Standards Environment
Publisher: Association for Computing Machinery (ACM)
Authors:R. Waxman
Year: 1987
Document Type:
Design Automation Standards Need Integration
Publisher: Association for Computing Machinery (ACM)
Authors:L. O'Connell
Year: 1987
Document Type:
Design Automation Standards - Perspectives from a Down-the-Road End User
Publisher: Association for Computing Machinery (ACM)
Authors:R.J. Pachter
Year: 1987
Document Type:
Needed: A Meta-language for Evaluating the Expressiveness of EDIF, IGES, VHDL and Other Representation Mechanisms
Publisher: Association for Computing Machinery (ACM)
Authors:M. Brei
Year: 1987
Document Type:
REDS: Resistance Extraction for Digital Simulation
Publisher: Association for Computing Machinery (ACM)
Authors:D. Stark; M. Horowitz
Year: 1987
Document Type:
Function Search from Behavioral Description of a Digital System
Publisher: Association for Computing Machinery (ACM)
Authors:J.-G. Wu; W.P.-C. Ho; Y.H. Hu; D.Y.Y. Yun; H.J. Yu
Year: 1987
Document Type:
A Topological Search Algorithm for ATPG
Publisher: Association for Computing Machinery (ACM)
Authors:T. Kirkland; M.R. Mercer
Year: 1987
Document Type:
Benchmark Runs of the Subscripted D-Algorithm with Observation Path Mergers on the Brglez-Fujiwara Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:M. Ladjadj; J.F. McDonald
Year: 1987
Document Type:
An Overview of the Penn State Design System
Publisher: Association for Computing Machinery (ACM)
Authors:R.M. Owens; M.J. Irwin
Year: 1987
Document Type:
TRIP: An Automated Technology Mapping System
Publisher: Association for Computing Machinery (ACM)
Authors:S. Suzuki; T. Bitoh; M. Kakimoto; K. Takahashi; T. Sugimoto
Year: 1987
Document Type:
ASTA: LSI Design Management System
Publisher: Association for Computing Machinery (ACM)
Authors:T. Ogihara; H. Toyoshima; S. Murai
Year: 1987
Document Type:
Array Optimization for VLSI Synthesis
Publisher: Association for Computing Machinery (ACM)
Authors:D.F. Wong; C.L. Liu
Year: 1987
Document Type:
A Design Rule Independent Cell Compiler
Publisher: Association for Computing Machinery (ACM)
Authors:J.S.J. Chen; D.Y. Chen
Year: 1987
Document Type:
An Interface between VHDL and EDIF
Publisher: Association for Computing Machinery (ACM)
Authors:M. Shahdad
Year: 1987
Document Type:
Tutorial: Reading and Reviewing the Common Schema for Electrical Design and Analysis
Publisher: Association for Computing Machinery (ACM)
Authors:C.H. Parks
Year: 1987
Document Type:
The IBM VHDL Design System
Publisher: Association for Computing Machinery (ACM)
Authors:L.F. Saunders
Year: 1987
Document Type:
Where VHDL Fits within the CAD Environment
Publisher: Association for Computing Machinery (ACM)
Authors:J. Hines
Year: 1987
Document Type:
A Hierarchical Approach to Test Vector Generation
Publisher: Association for Computing Machinery (ACM)
Authors:S.J. Chandra; J.H. Patel
Year: 1987
Document Type:
TED: A Graphical Technology Description Editor
Publisher: Association for Computing Machinery (ACM)
Authors:W. Lee; G. Liu; K. Peterson
Year: 1987
Document Type:
"?": A Context-Sensitive Help System Based on Hypertext
Publisher: Association for Computing Machinery (ACM)
Authors:W. Lee
Year: 1987
Document Type:
VISION: VHDL Induced Schematic Imaging on Net-Lists
Publisher: Association for Computing Machinery (ACM)
Authors:R.K. Chun; Keh-Jeng Chang; L.P. McNamee
Year: 1987
Document Type:
An Intelligent Compiler SubSystem for a Silicon Compiler
Publisher: Association for Computing Machinery (ACM)
Authors:D.L. Johannsen; S.K. Tsubota; K. McElvain
Year: 1987
Document Type:
Fast, Small, and Static Combinatorial CMOS Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:B.P. Serlet
Year: 1987
Document Type:
LCS-A Leaf Cell Synthesizer Employing Formal Deduction Techniques
Publisher: Association for Computing Machinery (ACM)
Authors:P.A. Subrahmanyam
Year: 1987
Document Type:
Strip Layout: A New Layout Methodology for Standard Circuit Modules
Publisher: Association for Computing Machinery (ACM)
Authors:J. Apte; G. Kedem
Year: 1987
Document Type:
The ALGIC Silicon Compiler System: Implementation, Design Experience and Results
Publisher: Association for Computing Machinery (ACM)
Authors:J. Schuck; N. Wehn; M. Glesner; G. Kamp
Year: 1987
Document Type:
On Computing Optimized Input Probabilities for Random Tests
Publisher: Association for Computing Machinery (ACM)
Authors:H.-J. Wunderlich
Year: 1987
Document Type:
VLSI Circuit Testing Using an Adaptive Optimization Model
Publisher: Association for Computing Machinery (ACM)
Authors:P.S. Yu; C.M. Krishna; Yann-Hang Lee
Year: 1987
Document Type:
Circular Self-Test Path: A Low-Cost BIST Technique
Publisher: Association for Computing Machinery (ACM)
Authors:A. Krasniewski; S. Pilarski
Year: 1987
Document Type:
PHRAN-SPAN: A Natural Language Interface for System Specifications
Publisher: Association for Computing Machinery (ACM)
Authors:J. Granacki; A.C. Parker
Year: 1987
Document Type:
VALKYRIE: A Validation Subsystem of a Version Server for Computer-Aided Design Data
Publisher: Association for Computing Machinery (ACM)
Authors:R. Bhateja; R.H. Katz
Year: 1987
Document Type:
Querying Part Hierarchies: A Knowledge-Based Approach
Publisher: Association for Computing Machinery (ACM)
Authors:A. Rosenthal; S. Heiler
Year: 1987
Document Type:
An Object-Oriented Approach to Data Management: Why Design Databases Need It
Publisher: Association for Computing Machinery (ACM)
Authors:S. Heiler; U. Dayal; J. Orenstein; S. Radke-Sproull
Year: 1987
Document Type:
DAGON: Technology Binding and Local Optimization by DAG Matching
Publisher: Association for Computing Machinery (ACM)
Authors:K. Keutzer
Year: 1987
Document Type:
Finding the Optimal Variable Ordering for Binary Decision Diagrams
Publisher: Association for Computing Machinery (ACM)
Authors:S.J. Friedman; K.J. Supowit
Year: 1987
Document Type:
Mesh Arrays and Logician: A Tool for Their Efficient Generation
Publisher: Association for Computing Machinery (ACM)
Authors:J.A. Beekman; R.M. Owens; M.J. Irwin
Year: 1987
Document Type:
Application of Term Rewriting Techniques to Hardware Design Verification
Publisher: Association for Computing Machinery (ACM)
Authors:M.S. Chandrasekhar; J.P. Privitera; K.W. Conradt
Year: 1987
Document Type:
Logic Verification Algorithms and their Parallel Implementation
Publisher: Association for Computing Machinery (ACM)
Authors:H.-K.T. Ma; S. Devadas; A. Sangiovanni-Vincentelli; Ruey-sing Wei
Year: 1987
Document Type:
Generating Incremental VLSI Compaction Spacing Constraints
Publisher: Association for Computing Machinery (ACM)
Authors:C.W. Carpenter; M. Horowitz
Year: 1987
Document Type:
Improving Virtual-Grid Compaction Through Grouping
Publisher: Association for Computing Machinery (ACM)
Authors:L.S. Nyland; S.W. Daniel; D. Rogers
Year: 1987
Document Type:
KAHLUA: A Hierarchical Circuit Disassembler
Publisher: Association for Computing Machinery (ACM)
Authors:B. Lin; A.R. Newton
Year: 1987
Document Type:
Benchmarks for Cell-Based Layout Systems
Publisher: Association for Computing Machinery (ACM)
Authors:B. Preas
Year: 1987
Document Type:
Abstract Routing of Logic Networks for Custom Module Generation
Publisher: Association for Computing Machinery (ACM)
Authors:S.T. Healey; W.J. Kubitz
Year: 1987
Document Type:
On Accuracy of Switch-Level Modeling of Bridging Faults in Complex Gates
Publisher: Association for Computing Machinery (ACM)
Authors:R. Rajsuman; A.P. Jayasumana; Y.K. Malaiya
Year: 1987
Document Type:
Integrating Design Information for IC Diagnosis
Publisher: Association for Computing Machinery (ACM)
Authors:S.E. Concina; G.S. Liu
Year: 1987
Document Type:
Switch Directed Dynamic Causal Networks -- A Paradigm for Electronic System Diagnosis
Publisher: Association for Computing Machinery (ACM)
Authors:R.M. McDermott; D. Stern
Year: 1987
Document Type:
Functional Verification of MOS Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:D. Weise
Year: 1987
Document Type:
On The Verification of Sequential Machines at Differing Levels of Abstraction
Publisher: Association for Computing Machinery (ACM)
Authors:S. Devadas; H.-K.T. Ma; A.R. Newton
Year: 1987
Document Type:
Faster Architectural Simulation through Parallelism
Publisher: Association for Computing Machinery (ACM)
Authors:J.W. Smith; K.S. Smith; R.J. Smith, II
Year: 1987
Document Type:
Force-Directed Scheduling in Automatic Data Path Synthesis
Publisher: Association for Computing Machinery (ACM)
Authors:P.G. Pauline; J.P. Knight
Year: 1987
Document Type:
Knowledge Based Control in Micro-Architecture Design
Publisher: Association for Computing Machinery (ACM)
Authors:F.D. Brewer; D.D. Gajski
Year: 1987
Document Type:
REAL: A Program for REgister ALlocation
Publisher: Association for Computing Machinery (ACM)
Authors:F.J. Kurdahi; A.C. Parker
Year: 1987
Document Type:
A Practical Moat Router
Publisher: Association for Computing Machinery (ACM)
Authors:R.K. McGehee
Year: 1987
Document Type:
An Automated Design of Minimum-Area IC Power/Ground Nets
Publisher: Association for Computing Machinery (ACM)
Authors:S. Chowdhury
Year: 1987
Document Type:
Routing L-Shaped Channels in Nonslicing-Structure Placement
Publisher: Association for Computing Machinery (ACM)
Authors:H.H. Chen
Year: 1987
Document Type:
Via Minimization for Gridless Layouts
Publisher: Association for Computing Machinery (ACM)
Authors:N.J. Naclerio; S. Masuda; K. Nakajima
Year: 1987
Document Type:
An Overview of Logic Synthesis Systems
Publisher: Association for Computing Machinery (ACM)
Authors:L. Trevillyan
Year: 1987
Document Type:
Realistic Fault Modeling for VLSI Testing
Publisher: Association for Computing Machinery (ACM)
Authors:W. Maly
Year: 1987
Document Type:
Demand Driven Simulation: BACKSIM
Publisher: Association for Computing Machinery (ACM)
Authors:S.P. Smith; M.R. Mercer; B. Brock
Year: 1987
Document Type:
Functional Abstraction from Structure in VLSI Simulation Models
Publisher: Association for Computing Machinery (ACM)
Authors:R.H. Lathrop; R.J. Hall; R.S. Kirk
Year: 1987
Document Type:
Circuit Simulation on the Connection Machine
Publisher: Association for Computing Machinery (ACM)
Authors:D.M. Webber; A. Sangiovanni-Vincentelli
Year: 1987
Document Type:
Aesop: A Tool for Automated Transistor Sizing
Publisher: Association for Computing Machinery (ACM)
Authors:K.S. Hedlund
Year: 1987
Document Type:
Transistor Sizing in CMOS Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:M.A. Cirit
Year: 1987
Document Type:
Delay Optimization of Combinational Static CMOS Logic
Publisher: Association for Computing Machinery (ACM)
Authors:M. Hofmann; J.K. Kim
Year: 1987
Document Type:
Reflections of High Speed Signals Analyzed as a Delay in Timing for Clocked Logic
Publisher: Association for Computing Machinery (ACM)
Authors:R.E. Canright; A.R. Helland
Year: 1987
Document Type:
Geometrical Compaction in One Dimension for Channel Routing
Publisher: Association for Computing Machinery (ACM)
Authors:J. Royle; M. Palczewski; H. VerHeyen; N. Naccache; J. Soukup
Year: 1987
Document Type:
Requirements for a Practical Software Engineering Environment
Publisher: Association for Computing Machinery (ACM)
Authors:V. Masurkar
Year: 1987
Document Type:
The Making of VIVID A Software Engineering Perspective
Publisher: Association for Computing Machinery (ACM)
Authors:J.B. Rosenberg
Year: 1987
Document Type:
A Case Study in Silicon Compilation Software Engineering, HVDEV High Voltage Device Layout Generator
Publisher: Association for Computing Machinery (ACM)
Authors:N.J. Elias
Year: 1987
Document Type:
A Vector Hardware Accelerator with Circuit Simulation Emphasis
Publisher: Association for Computing Machinery (ACM)
Authors:A. Vladimirescu; D. Weiss; M. Katevenis; Z. Bronstein; A. Kfir; K. Danuwidjaja; K.C. Ng; N. Jain; S. Lass
Year: 1987
Document Type:
A Hardware Switch Level Simulator for Large MOS Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:M.T. Smith
Year: 1987
Document Type:
Architecture and Design of the MARS Hardware Accelerator
Publisher: Association for Computing Machinery (ACM)
Authors:P. Agrawal; W.J. Dally; A.K. Ezzat; W.C. Fischer; H.V. Jagadish; A.S. Krishnakumar
Year: 1987
Document Type:
A Fast Signature Simulation Tool for Built-In Self-Testing Circuits
Publisher: Association for Computing Machinery (ACM)
Authors:S.B. Tan; K. Totton; K. Baker; P. Varma; R. Porter
Year: 1987
Document Type:
An Improved Systematic Method for Constructing Systolic Arrays from Algorithms
Publisher: Association for Computing Machinery (ACM)
Authors:N. Faroughi; M.A. Shanblatt
Year: 1987
Document Type:
Predicting Area-Time Tradeoffs for Pipelined Design
Publisher: Association for Computing Machinery (ACM)
Authors:R. Jain; A. Parker; Nohbyung Park
Year: 1987
Document Type:
A Prototype Framework for Knowledge-Based Analog Circuit Synthesis
Publisher: Association for Computing Machinery (ACM)
Authors:R. Harjani; R.A. Rutenbar; L.R. Carley
Year: 1987
Document Type:
Standard Cell Placement Using Simulated Sintering
Publisher: Association for Computing Machinery (ACM)
Authors:L.K. Grover
Year: 1987
Document Type:
ESP: A New Standard Cell Placement Package Using Simulated Evolution
Publisher: Association for Computing Machinery (ACM)
Authors:R.-M. Kling; P. Banerjee
Year: 1987
Document Type:
Advertisement