Default Cover Image

Computer-Aided Design, International Conference on

Nov. 7 1999 to Nov. 11 1999

San Jose, CA

ISSN: 1092-3152

ISBN: 0-7803-5832-5

Table of Contents

ForewordFreely available from IEEE.pp. iii
Conference CommitteeFreely available from IEEE.pp. xiv
Technical Program CommitteeFreely available from IEEE.pp. xv
ReviewersFreely available from IEEE.pp. xvii
Tutorial 1: Mixed-Signal Design: CAD, Methodology, Case StudiesFull-text access may be available. Sign in or learn about subscription options.pp. xix
Tutorial 2: Modern Physical Design: Algorithm, Technology and MethodologyFull-text access may be available. Sign in or learn about subscription options.pp. xx
Tutorial 3: Low Voltage/Low Power Design Methodologies and CADFull-text access may be available. Sign in or learn about subscription options.pp. xxi
Tutorial 4: Signal Integrity in High Performance DesignFull-text access may be available. Sign in or learn about subscription options.pp. xxii
Panel: CAD Roadmaps - Useful, Redundant or Even Obstructive?Full-text access may be available. Sign in or learn about subscription options.pp. xxiii
Panel: System Level Design: Designer's Wish List vs. RealityFull-text access may be available. Sign in or learn about subscription options.pp. xxiv
Session 1A: Sequential and Datapath Optimization
Marsh:Min-Area Retiming with Setup and Hold ConstraintsFull-text access may be available. Sign in or learn about subscription options.pp. 2
Session 1A: Sequential and Datapath Optimization
OPTIMISTA: State Minimization of Asynchronous FSMs for Optimum Output LogicFull-text access may be available. Sign in or learn about subscription options.pp. 7
Session 1A: Sequential and Datapath Optimization
Bit-level Arithmetic Optimization for Carry-Save AdditionsFull-text access may be available. Sign in or learn about subscription options.pp. 14
Session 1B: Placement I
Attractor-Repeller Approach for Global PlacementFull-text access may be available. Sign in or learn about subscription options.pp. 20
Session 1B: Placement I
Cell Replication and Redundancy Elimination During Placement for Cycle Time OptimizationFull-text access may be available. Sign in or learn about subscription options.pp. 25
Session 1B: Placement I
Concurrent Logic Restructuring and Placement for Timing ClosureFull-text access may be available. Sign in or learn about subscription options.pp. 31
Session 1C: BDDs in Formal Verification
Implicit Enumeration of Strongly Connected ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 37
Session 1C: BDDs in Formal Verification
Least Fixpoint Approximations for Reachability AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 41
Session 1C: BDDs in Formal Verification
Lazy Group Sifting for Efficient Symbolic State Traversal of FSMsFull-text access may be available. Sign in or learn about subscription options.pp. 45
Session 1C: BDDs in Formal Verification
Efficient Manipulation Algorithms for Linearly Transformed BDDsFull-text access may be available. Sign in or learn about subscription options.pp. 50
Session 1D: Analog and Mixed-Signal
Noise Analysis of Non-Autonomous Radio Frequency CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 55
Session 1D: Analog and Mixed-Signal
New Methods for Speeding up Computation of Newton Updates in Harmonic BalanceFull-text access may be available. Sign in or learn about subscription options.pp. 61
Session 1D: Analog and Mixed-Signal
Design and optimization of LC oscillatorsFull-text access may be available. Sign in or learn about subscription options.pp. 65
Session 1D: Analog and Mixed-Signal
Modeling and Simulation of the Interference due to Digital Switching in Mixed-Signal ICsFull-text access may be available. Sign in or learn about subscription options.pp. 70
Session 2A: Power Optimization
Provably Good Algorithm for Low Power Consumption with Dual Supply VoltagesFull-text access may be available. Sign in or learn about subscription options.pp. 76
Session 2A: Power Optimization
A Novel Design Methodology for High Performance and Low Power Digital FiltersFull-text access may be available. Sign in or learn about subscription options.pp. 80
Session 2A: Power Optimization
A Bipartition-Codec Architecture to Reduce Power in Pipelined CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 84
Session 2B: Placement II
AKORD: Transistor Level and Mixed Transistor/Gate Level Placement Tool for Digital Data PathsFull-text access may be available. Sign in or learn about subscription options.pp. 91
Session 2B: Placement II
Analytical Approach to Custom Datapath DesignFull-text access may be available. Sign in or learn about subscription options.pp. 98
Session 2B: Placement II
An Integrated Algorithm for Combined Placement and Libraryless Technology MappingFull-text access may be available. Sign in or learn about subscription options.pp. 102
Session 2C: Domino- and ATPG-Based Logic Synthesis
Timing-driven Partitioning for Two-Phase Domino and Mixed Static/Domino ImplementationsFull-text access may be available. Sign in or learn about subscription options.pp. 107
Session 2C: Domino- and ATPG-Based Logic Synthesis
Implication Graph based Domino Logic SynthesisFull-text access may be available. Sign in or learn about subscription options.pp. 111
Session 2C: Domino- and ATPG-Based Logic Synthesis
Synthesis for Multiple Input Wires Replacement of a Gate for Wiring ConsiderationFull-text access may be available. Sign in or learn about subscription options.pp. 115
Session 2D: Electrical and Thermal Analysis
Transient Sensitivity Computation for Transistor Level Analysis and TuningFull-text access may be available. Sign in or learn about subscription options.pp. 120
Session 2D: Electrical and Thermal Analysis
An Efficient Method for Hot-spot Identification in ULSI CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 124
Session 2D: Electrical and Thermal Analysis
A Scalable Substrate Noise Coupling Model for Mixed-Signal ICsFull-text access may be available. Sign in or learn about subscription options.pp. 128
Session 2D: Electrical and Thermal Analysis
Towards True Crosstalk Noise AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 132
Session 3A: Automatic Test Pattern Generation
SAT Based ATPG Using Fast Justification and Propagation in the Implication GraphFull-text access may be available. Sign in or learn about subscription options.pp. 139
Session 3A: Automatic Test Pattern Generation
Techniques for Improving the Efficiency of Sequential Circuit Test GenerationFull-text access may be available. Sign in or learn about subscription options.pp. 147
Session 3A: Automatic Test Pattern Generation
Concurrent D-Algorithm on Reconfigurable HardwareFull-text access may be available. Sign in or learn about subscription options.pp. 152
Session 3B: Routing
A New Heuristic for Rectilinear Steiner TreesFull-text access may be available. Sign in or learn about subscription options.pp. 157
Session 3B: Routing
An Implicit Connection Graph Maze Routing Algorithm for ECO RoutingFull-text access may be available. Sign in or learn about subscription options.pp. 163
Session 3B: Routing
The Associative-Skew Clock Routing ProblemFull-text access may be available. Sign in or learn about subscription options.pp. 168
Session 3B: Routing
Efficient Incremental Rerouting for Fault Reconfiguration in Field Programmable Gate ArraysFull-text access may be available. Sign in or learn about subscription options.pp. 173
Session 3C: Logic-Level Performance Optimization
Optimal P/N Width Ratio Selection for Standard Cell LibrariesFull-text access may be available. Sign in or learn about subscription options.pp. 178
Session 3C: Logic-Level Performance Optimization
Performance Optimization Under Rise and Fall ParametersFull-text access may be available. Sign in or learn about subscription options.pp. 185
Session 3C: Logic-Level Performance Optimization
Performance Optimization Using Separator SetsFull-text access may be available. Sign in or learn about subscription options.pp. 191
Session 3C: Logic-Level Performance Optimization
Factoring Logic Functions Using Graph PartitioningFull-text access may be available. Sign in or learn about subscription options.pp. 195
Session 3D: Practical Issues in Order Reduction
TICER: Realizable Reduction of Extracted RC CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 200
Session 3D: Practical Issues in Order Reduction
Realizable Reduction for RC Interconnect CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 204
Session 3D: Practical Issues in Order Reduction
RLC Interconnect Delay Estimation via Moments of Amplitude and Phase ResponseFull-text access may be available. Sign in or learn about subscription options.pp. 208
Session 3D: Practical Issues in Order Reduction
Practical Considerations For Passive Reduction of RLC CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 214
Session 4A: Embedded Tutorial
Formal Verification Meets SimulationFull-text access may be available. Sign in or learn about subscription options.pp. 221
Session 4B: Embedded Tutorial
Interconnect Parasitic Extraction in the Digital IC Design MethodologyFull-text access may be available. Sign in or learn about subscription options.pp. 223
Session 5A: Timing Optimization
Cycle Time and Slack Optimization for VLSI-ChipsFull-text access may be available. Sign in or learn about subscription options.pp. 232
Session 5A: Timing Optimization
Clock Skew Scheduling for Improved Reliability via Quadratic ProgrammingFull-text access may be available. Sign in or learn about subscription options.pp. 239
Session 5A: Timing Optimization
Formulation of Static Circuit Optimization with Reduced Size, Degeneracy and Redundancy by Timing Graph ManipulationFull-text access may be available. Sign in or learn about subscription options.pp. 244
Session 5B: Compilation Techniques for Embedded Systems
Function Inlining under Code Size Constraints for Embedded ProcessorsFull-text access may be available. Sign in or learn about subscription options.pp. 253
Session 5B: Compilation Techniques for Embedded Systems
Function Unit Specialization through Code AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 257
Session 5B: Compilation Techniques for Embedded Systems
Lower Bound on Latency for VLIW ASIP DatapathsFull-text access may be available. Sign in or learn about subscription options.pp. 261
Session 5C: High Level Power Exploration
Interface and Cache Power Exploration for Core-Based Embedded System DesignFull-text access may be available. Sign in or learn about subscription options.pp. 270
Session 5C: High Level Power Exploration
Dynamic Power Management Using Adaptive Learning TreeFull-text access may be available. Sign in or learn about subscription options.pp. 274
Session 5C: High Level Power Exploration
Analytical Macromodeling for High-Level Power EstimationFull-text access may be available. Sign in or learn about subscription options.pp. 280
Session 5C: High Level Power Exploration
Parameterized RTL Power Models for Combinational Soft MacrosFull-text access may be available. Sign in or learn about subscription options.pp. 284
Session 5D: Analog and Mixed Signal Test
Validation and Test Generation for Oscillatory Noise in VLSI InterconnectsFull-text access may be available. Sign in or learn about subscription options.pp. 289
Session 5D: Analog and Mixed Signal Test
Fault Modeling and Simulation for Crosstalk in System-on-Chip InterconnectsFull-text access may be available. Sign in or learn about subscription options.pp. 297
Session 5D: Analog and Mixed Signal Test
Robust Optimization Based Backtrace Method for Analog CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 304
Session 6A: Globally Untimed Locally Timed Design
A Methodology for Correct-by-Construction Latency Insensitive DesignFull-text access may be available. Sign in or learn about subscription options.pp. 309
Session 6A: Globally Untimed Locally Timed Design
What is the cost of Delay Insensitivity?Full-text access may be available. Sign in or learn about subscription options.pp. 316
Session 6A: Globally Untimed Locally Timed Design
Synthesis of asynchronous control circuits with automatically generated relative timing assumptionsFull-text access may be available. Sign in or learn about subscription options.pp. 324
Session 6A: Globally Untimed Locally Timed Design
Direct Synthesis of Timed Asynchronous CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 332
Session 6B: Task-Level Analysis and Synthesis
Co-Synthesis of Heterogeneous Multiprocessor Systems Using Arbitrated CommunicationFull-text access may be available. Sign in or learn about subscription options.pp. 339
Session 6B: Task-Level Analysis and Synthesis
Power Minimization using System-Level Partitioning of Applications with Quality of Service RequirementsFull-text access may be available. Sign in or learn about subscription options.pp. 343
Session 6B: Task-Level Analysis and Synthesis
Worst-case analysis of discrete systemsFull-text access may be available. Sign in or learn about subscription options.pp. 347
Session 6C: Floorplanning and Partitioning
Integrated Floorplanning and Interconnect PlanningFull-text access may be available. Sign in or learn about subscription options.pp. 354
Session 6C: Floorplanning and Partitioning
Buffer Block Planning for Interconnect-Driven FloorplanningFull-text access may be available. Sign in or learn about subscription options.pp. 358
Session 6C: Floorplanning and Partitioning
A Clustering- and Probability-based Approach for Time-multiplexed FPGA PartitioningFull-text access may be available. Sign in or learn about subscription options.pp. 364
Session 6D: Advances in Model Order Reduction
The Chebyshev expansion based passive model for distributed interconnect networksFull-text access may be available. Sign in or learn about subscription options.pp. 370
Session 6D: Advances in Model Order Reduction
Model Reduction for DC Solution of Large Nonlinear CircuitsFull-text access may be available. Sign in or learn about subscription options.pp. 376
Session 6D: Advances in Model Order Reduction
Efficient Model Reduction of Interconnect via Approximate System GramiansFull-text access may be available. Sign in or learn about subscription options.pp. 380
Session 7A: Core Test
A Framework for Testing Core-Based Systems-on-a-ChipFull-text access may be available. Sign in or learn about subscription options.pp. 385
Session 7A: Core Test
Test Scheduling for Core-Based SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 391
Session 7A: Core Test
Partial BIST Insertion to Eliminate Data CorrelationFull-text access may be available. Sign in or learn about subscription options.pp. 395
Session 7B: Graph Techniques for Design Optimization
A Graph Theoretic Optimal Algorithm for Schedule Compression in Time-Multiplexed FPGA PartitioningFull-text access may be available. Sign in or learn about subscription options.pp. 400
Session 7B: Graph Techniques for Design Optimization
Throughput Optimization of General Non-Linear ComputationsFull-text access may be available. Sign in or learn about subscription options.pp. 406
Session 7B: Graph Techniques for Design Optimization
Optimal Allocation of Carry-Save-Adders in Arithmetic OptimizationFull-text access may be available. Sign in or learn about subscription options.pp. 410
Session 7B: Graph Techniques for Design Optimization
Regularity Extraction Via Clan-Based Structural Circuit DecompositionFull-text access may be available. Sign in or learn about subscription options.pp. 414
Session 7C: Interconnect
Repeater Insertion in Tree Structured Inductive InterconnectFull-text access may be available. Sign in or learn about subscription options.pp. 420
Session 7C: Interconnect
Interconnect Scaling Implications for CADFull-text access may be available. Sign in or learn about subscription options.pp. 425
Session 7C: Interconnect
Is Wire Tapering Worthwhile?Full-text access may be available. Sign in or learn about subscription options.pp. 430
Session 7D: Techniques for Parasitic Extraction
Electromagnetic Parasitic Extraction via a Multipole Method with Hierarchical RefinementFull-text access may be available. Sign in or learn about subscription options.pp. 437
Session 7D: Techniques for Parasitic Extraction
Virtual Screening: A Step Towards a Sparse Partial Inductance MatrixFull-text access may be available. Sign in or learn about subscription options.pp. 445
Session 7D: Techniques for Parasitic Extraction
A Wide Frequency Range Surface Integral Formulation for 3-D RLC ExtractionFull-text access may be available. Sign in or learn about subscription options.pp. 453
Design of a set-top box system on a chipFull-text access may be available. Sign in or learn about subscription options.pp. 608-608
Session 8A: Embedded Tutorial
SOI Technology and ToolsFull-text access may be available. Sign in or learn about subscription options.pp. 459
On the rapid prototyping and design of a wireless communication system on a chipFull-text access may be available. Sign in or learn about subscription options.pp. 609-609
Session 8B: Embedded Tutorial
System Level Design and Debug of High-Performance Embedded Media SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 461
Session 9A: Test Pattern Analysis
An Approach for Improving the Levels of Compaction Achieved by Vector OmissionFull-text access may be available. Sign in or learn about subscription options.pp. 463
Session 9A: Test Pattern Analysis
Deep Submicron Defect Detection with the Energy Consumption RatioFull-text access may be available. Sign in or learn about subscription options.pp. 467
Showing 100 out of 129