1999 IEEE/ACM International Conference on Computer-Aided Design, November 7-11, 1999, San Jose, California : digest of technical papers

著者

書誌事項

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

タイトル別名

1999 IEEE International Conference on Computer-Aided Design

IEEE/ACM International Conference on CAD-99

99CB37051

大学図書館所蔵 件 / 全12件

この図書・雑誌をさがす

注記

"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

内容説明・目次

巻冊次

: pbk. ISBN 9780780358324

内容説明

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
巻冊次

: case ISBN 9780780358331

内容説明

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
巻冊次

: microfiche ISBN 9780780358348

内容説明

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.

「Nielsen BookData」 より

詳細情報

ページトップへ