Title :
1999 IEEE/ACM International Conference on Computer-Aided Design. [Front Cover and Table of Contents]
Abstract :
Presents the front cover and table of contents from the conference proceedings.
Keywords :
circuit CAD; circuit optimisation; embedded systems; formal verification; graph theory; logic CAD; network routing; timing; CAD; analog design; circuit placement; circuit routing; datapath optimization; design optimisation; electrical analysis; embedded systems; fanout optimization; floorplanning; formal verification; globally untimed locally timed design; graph techniques; intellectual property; logic level performance optimization; logic synthesis; mixed signal design; model order reduction; order reduction; power optimization; sequential optimization; task level analysis; test pattern generation; thermal analysis; timing optimization;
Conference_Titel :
Computer-Aided Design, 1999. Digest of Technical Papers. 1999 IEEE/ACM International Conference on
Conference_Location :
San Jose, CA, USA
Print_ISBN :
0-7803-5832-5
DOI :
10.1109/ICCAD.1999.810608
