Skip to content

Best of ICCAD 20 Years of Excellence in Computer-Aided Design

Spend $50 to get a free movie!

ISBN-10: 1402073917

ISBN-13: 9781402073915

Edition: 2003

Authors: Andreas Kuehlmann

List price: $289.00
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!

Description:

This book represents a selection of papers from the best contributions presented in the ICCAD conferences.
Customers also bought

Book details

List price: $289.00
Copyright year: 2003
Publisher: Springer
Publication date: 3/31/2003
Binding: Hardcover
Pages: 714
Size: 6.25" wide x 9.25" long x 1.25" tall
Weight: 2.486
Language: English

Foreword
Preface
Functional Verification
Formal Methods for Functional Verification
Automating the Diagnosis and the Rectification of Design Errors with PRIAM
Functional Comparison of Logic Designs for VLSI Circuits
A Unified Framework for the Formal Verification of Sequential Circuits
Dynamic Variable Ordering for Ordered Binary Decision Diagrams
Verification of Large Synthesized Designs
GRASP-A New Search Algorithm for Satisfiability
System Design and Analysis
System Design and Analysis Overview
An Efficient Microcode-Compiler for Custom DSP-Processors
HYPER-LP: A System for Power Minimization Using Architectural Transformations
Power Analysis of Embedded Software: First Step Towards Software Power Minimization
A Methodology for Correct-by-Construction Latency Insensitive Design
Exploring Performance Tradeoffs for Clustered VLIW ASIPs
Logic Synthesis
Logic Synthesis Overview
Multiple-Level Logic Optimization System
Exact Minimization of Multiple-Valued Functions for PLA Optimization
Improved Logic Optimization Using Global-Flow Analysis
A Method for Concurrent Decomposition and Factorization of Boolean Expressions
An Optimal Technology Mapping Algorithm for Delay Optimization in Lookup-Table Based FPGA Designs
Logic Decomposition during Technology Mapping
Analog and Digital Circuit Design
Highlights in Analog and Digital Circuit Design and Synthesis at ICCAD
An Interactive Device Characterization and Model Development System
TILOS: A Posynomial Programming Approach to Transistor Sizing
SPECS2: An Integrated Circuit Timing Simulator
Automatic Synthesis of Operational Amplifiers based on Analytic Circuit Models
Analog Circuit Synthesis for Performance in OASYS
Extraction of Gate-Level Models from Transistor Circuits by Four-Valued Symbolic Analysis
Optimization of Custom MOS Circuits by Transistor Sizing
Physical Simulation and Analysis
Highlights in Physical Simulation and Analysis at ICCAD
Nonlinear Simulation in the Frequency-Domain
Modeling the Driving-Point Characteristic of Resistive Interconnect for Accurate Delay Estimation
Efficient Techniques for Inductance Extraction of Complex 3-D Geometries
Time-Domain Non-Monte Carlo Noise Simulation for Nonlinear Dynamic Circuits with Arbitrary Excitations
PRIMA: Passive Reduced-Order Interconnect Macromodeling Algorithm
Circuit Noise Evaluation by Pade Approximation Based Model-Reduction Techniques
Physical Design
Physical Design Overview
Floorplan Design Using Annealing
GOALIE: A Space-Efficient System for VLSI Artwork Analysis
Gordian: A New Global Optimization/ Rectangle Dissection Method for Cell Placement
Exact Zero Skew
Efficient Network Flow Based Min-Cut Balanced Partitioning
Rectangle-Packing-Based Module Placement
Timing, Test and Manufacturing
Timing, Test and Manufacturing Overview
A Methodology for Worst Case Design of Integrated Circuits
Timing Analysis using Functional Relationships
On the Design of Robust Multiple Fault Testable CMOS Combinational Logic Circuits
Circuit Optimization Driven by Worst-Case Distances
Verifying Clock Schedules
Efficient Implementation of Retiming
Industry Viewpoints
A Cadence Perspective on ICCAD
ICCAD and Fujitsu
ICCAD's Impact in IBM
Magma and ICCAD
Designers Face Critical Challenges and Discontinuities of Analog/Mixed Signal Design and Physical Verification
NEC and ICCAD - EDA partners in success
The Strong Mutual Impact between Philips Research and the ICCAD
Contributions from the "Best of ICCAD" to Synopsys
ICCAD and Xilinx
Index
Author Index
Reference Index