This text constitutes proceedings from the 1999 International Conference on Computer-Aided Design (ICCAD'99). Topics covered include placement, BDDs in formal verification and practical issues in order reduction.
Sequential and Datapath Optimization; Placement; BDDs in Formal Verification; Analog and Mixed-Signal; Power Optimization; Domino- and ATPG-Based Logic Synthesis; Electrical and Thermal Analysis; Automatic Test Pattern Generation; Routing; Logic-Level Performance Optimization; Practical Issues in Order Reduction; Embedded Tutorial; Timing Optimization; High Level Power Exploration; Analog and Mixed Signal Test; Global Untimed Locally Timed Design
