New Data Structures and Algorithms for Logic Synthesis and Verification - Tapa blanda

Sinopsis

Introduction.- Part 1. Logic Representation, Manipulation and Optimization.- Biconditional Logic.- Majority Logic.- Part 2. Logic Satisfiability and Equivalence Checking.- Exploiting Logic Properties to Speedup SAT.- Majority Normal Form Representation and Satisfiability.- Improvements to the Equivalence Checking of Reversible Circuits.- Conclusions.

"Sinopsis" puede pertenecer a otra edición de este libro.