Applied Formal Verification: for Digital Circuit Design - Douglas L. Perry - Books - McGraw-Hill Education - Europe - 9780071443722 - May 1, 2005
In case cover and title do not match, the title is correct

Applied Formal Verification: for Digital Circuit Design

Price
$ 139.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6
Add to your iMusic wish list

Formal verification is a digital design method. This tutorial shows designers how to apply Formal Verification, along with hardware description languages like Verilog and VHDL, to solve real-world design problems.


240 pages, 75 illustrations

Media Books     Hardcover Book   (Book with hard spine and cover)
Released May 1, 2005
ISBN13 9780071443722
Publishers McGraw-Hill Education - Europe
Pages 240
Dimensions 154 × 231 × 23 mm   ·   512 g
Language English  

Mere med samme udgiver