Siirry suoraan sisältöön
Formal Equivalence Checking and Design Debugging
Tallenna

Formal Equivalence Checking and Design Debugging

Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging.
Kirjailija
Shi-Yu Huang
Painos
Softcover reprint of the original 1st ed. 1998
ISBN
9781461376064
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
30.9.2012
Sivumäärä
229