Applied Formal Verification: for Digital Circuit Design - Douglas L. Perry - Bøger - McGraw-Hill Education - Europe - 9780071443722 - 1. maj 2005
Ved uoverensstemmelse mellem cover og titel gælder titel

Applied Formal Verification: for Digital Circuit Design

Douglas L. Perry

Pris
DKK 1.152

Bestilles fra fjernlager

Forventes klar til forsendelse 16. - 23. sep.
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 1. maj 2005
ISBN13 9780071443722
Forlag McGraw-Hill Education - Europe
Antal sider 240
Mål 154 × 231 × 23 mm   ·   512 g