1999 IEEE/ACM International Conference on Computer-Aided Design, November 7-11, 1999, San Jose, California : digest of technical papers
Author(s)
Bibliographic Information
1999 IEEE/ACM International Conference on Computer-Aided Design, November 7-11, 1999, San Jose, California : digest of technical papers
Association for Computing Machinery, c1999
- : pbk.
- : case
- : microfiche
- Other Title
-
1999 IEEE International Conference on Computer-Aided Design
IEEE/ACM International Conference on CAD-99
99CB37051
Available at / 12 libraries
-
No Libraries matched.
- Remove all filters.
Note
"Proceeding of the 1999 International Conference on Computer-Aided Design"--T.p. verso
"IEEE Catalog Number 99CH37051" -- T.p. verso
"ACM Order Number 477993"--T.p. verso
Description and Table of Contents
- Volume
-
: pbk. ISBN 9780780358324
Description
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.
Table of Contents
- 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
- Volume
-
: case ISBN 9780780358331
Description
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.
Table of Contents
- 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
- Volume
-
: microfiche ISBN 9780780358348
Description
This microfiche 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.
by "Nielsen BookData"