Tekijä: Carole Nelson Douglas; Jennifer Fallon; Craig Shaw Gardner; Joe Gentile; Alan Dean Foster; Joe R Lansdale; Timothy Zahn Kustantaja: Moonstone Press (2010) Saatavuus: Ei tiedossa
Tekijä: Douglas A. Foster; Paul M. Blowers; Anthony L. Dunnavant; D. Newell Williams Kustantaja: William B Eerdmans Publishing Co (2012) Saatavuus: Ei tiedossa
Tekijä: George Burman Foster; Douglas Clyde MacIntosh; MacMillan Company The MacMillan Company; The MacMillan Company Kustantaja: BiblioLife (2010) Saatavuus: Ei tiedossa
Tekijä: George Burman Foster; Douglas Clyde MacIntosh; MacMillan Company The MacMillan Company; The MacMillan Company Kustantaja: BiblioLife (2010) Saatavuus: Ei tiedossa
McGraw Hill Asu: Kovakantinen kirja Julkaisuvuosi: 2005, 16.05.2005 (lisätietoa) Kieli: Englanti
Formal verification is a powerful new digital design method
In this cutting-edge tutorial, two of the field's best known authors team up to show designers how to efficiently apply Formal Verification, along with hardware description languages like Verilog and VHDL, to more efficiently solve real-world design problems.