Applied Formal Verification

Applied Formal Verification

Hardback (16 May 2005)

  • $163.56
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

Formal verification is a powerful new digital design method

In this cutting-edge tutorial, two of the field's best known authors team up to show designers how to efficiently apply Formal Verification, along with hardware description languages like Verilog and VHDL, to more efficiently solve real-world design problems.

Book information

ISBN: 9780071443722
Publisher: McGraw-Hill Education
Imprint: McGraw Hill
Pub date:
DEWEY: 621.3815
DEWEY edition: 22
Language: English
Number of pages: 237
Weight: 508g
Height: 231mm
Width: 154mm
Spine width: 23mm