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 |
| Idioma | Inglês |