Rajaa
Hakutulokset: Hakutulos
Rajaa
yhteensä 2 hakutulosta
Formal Equivalence Checking and Design Debugging
nidottu,
2012,
englanti,
ISBN 9781461376064
Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging. The first part of the book …
Formal Equivalence Checking and Design Debugging
sidottu,
1998,
englanti,
ISBN 9780792381846
Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging. The first part of the book …