Gå direkt till innehållet
Formal Equivalence Checking and Design Debugging
Spara

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.
Författare
Shi-Yu Huang
Upplaga
Softcover reprint of the original 1st ed. 1998
ISBN
9781461376064
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2012-09-30
Sidor
229