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