Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods by P
167,25 €
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:
