Formal Equivalence Checking and Design Debugging by Shi-Yu Huang (English) Hardc
192,87 €
Formal Equivalence Checking and Design Debugging covers two major topics in design verification: logic equivalence checking and design debugging. The second part of the book gives a thorough survey of previous and recent literature on design error diagnosis and design error correction.
Jetzt bei Ebay:
