Applied Formal Verification: for Digital Circuit Design - Douglas L. Perry - Kirjat - McGraw-Hill Education - Europe - 9780071443722 - sunnuntai 1. toukokuuta 2005
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Applied Formal Verification: for Digital Circuit Design

Douglas L. Perry

Hinta
₪ 530,20

Tilattu etävarastosta

Arvioitu toimitus ke - pe 20. - 29. elo
Lisää iMusic-toivelistallesi
Eller

Applied Formal Verification: for Digital Circuit Design

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä sunnuntai 1. toukokuuta 2005
ISBN13 9780071443722
Tuottaja McGraw-Hill Education - Europe
Sivujen määrä 240
Mitta 154 × 231 × 23 mm   ·   512 g