Verification techniques for system-level design

著者

• Fujita, Masahiro
• Ghosh, Indradeep
• Prasad, Mukul

書誌事項

Verification techniques for system-level design

Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad

（The Morgan Kaufmann series in systems on silicon / Peter J. Ashenden, Wayne Wolf, series editors）

Morgan Kaufmann/Elsevier, c2008

詳細情報

• NII書誌ID(NCID): BA83647851
• ISBN:
  • 9780123706164
• LCCN: 2007028038
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Burlington, Mass.
• ページ数/冊数: viii, 240 p.
• 大きさ: 24 cm
• 分類:
  • LCC : TK7895.E42
  • DC22 : 621.3815
• 件名:
  • LCSH : Systems on a chip -- Testing
  • LCSH : Integrated circuits -- Verification
  • LCSH : Formal methods (Computer science)
• 親書誌ID:
  • BA52674984