Hardware design verification : simulation and formal method-based approaches

Author(s)

• Lam, William K.

Bibliographic Information

Hardware design verification : simulation and formal method-based approaches

William K. Lam

（Modern semiconductor design series）

Prentice Hall Professional Technical Reference, c2005

Note

Includes bibliographical references (p. 539-559) and index

• NCID: BA75055697
• ISBN:
  • 0131433474
• LCCN: 2004026386
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Upper Saddle River, NJ
• Pages/Volumes: xxv, 585 p.
• Size: 24 cm
• Classification:
  • LCC : TK7874.58
  • DC22 : 621.39/2
• Subject Headings:
  • LCSH : Integrated circuits -- Verification
• Parent Bibliography ID:
  • BA51336159