Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods by P
164,14 €
Equivalence Checking of Combinational Circuits. - Use of Canonical Data Structures. - SAT and ATPG Based Equivalence Checking. - Exploiting Similarities. - Permutation Independent Boolean Comparison.
Jetzt bei Ebay:
