Gå direkte til innholdet
Formal Equivalence Checking and Design Debugging
Spar

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.
Forfatter
Shi-Yu Huang
Opplag
Softcover reprint of the original 1st ed. 1998
ISBN
9781461376064
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
30.9.2012
Antall sider
229