Applied Formal Verification

Douglas Perry,Harry Foster

Applied Formal Verification
Format
Hardback
Publisher
McGraw-Hill Education - Europe
Country
United States
Published
16 May 2005
Pages
240
ISBN
9780071443722

Applied Formal Verification

Douglas Perry,Harry Foster

Formal verification is a powerful new digital design methodIn 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.

This item is not currently in-stock. It can be ordered online and is expected to ship in approx 2 weeks

Our stock data is updated periodically, and availability may change throughout the day for in-demand items. Please call the relevant shop for the most current stock information. Prices are subject to change without notice.

Sign in or become a Readings Member to add this title to a wishlist.