
Conte aos seus amigos sobre este item:
Applied Formal Verification: for Digital Circuit Design
Douglas L. Perry
Applied Formal Verification: for Digital Circuit Design
Douglas L. Perry
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
Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
Lançado | 1 de maio de 2005 |
ISBN13 | 9780071443722 |
Editoras | McGraw-Hill Education - Europe |
Páginas | 240 |
Dimensões | 154 × 231 × 23 mm · 512 g |
Ver tudo de Douglas L. Perry ( por exemplo Hardcover Book )