Logic synthesis and verification algorithms

著者

• Hachtel, Gary D.
• Somenzi, Fabio

書誌事項

Logic synthesis and verification algorithms

by Gary D. Hachtel, Fabio Somenzi

Kluwer Academic, c1996

• : alk. paper

注記

Includes bibliographical references (p. 537-553) and index

詳細情報

• NII書誌ID(NCID): BA28148602
• ISBN:
  • 0792397460
• LCCN: 96021769
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Boston
• ページ数/冊数: xxxi, 564 p.
• 大きさ: 28 cm
• 分類:
  • LCC : TK7874.75
  • DC20 : 621.39/5
• 件名:
  • LCSH : Integrated circuits -- Very large scale integration -- Design -- Data processing
  • LCSH : Logic design -- Data processing
  • LCSH : Integrated circuits -- Verification
  • LCSH : Computer-aided design