Auteur Ebendt, Rüdiger
Documents disponibles écrits par cet auteur (1)
Affiner la recherche
document électronique
Ebendt, Rüdiger, Auteur ; Drechsler, Rolf, Auteur | Berlin ; London ; New York : Springer | Engineering | 2005VLSI CAD has greatly benefited from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of "Boolean Satisfiability" (SAT), e.g. in logic synthesis, verification or design-for-testability. In rec[...]
