Ebooks de Rudiger Ebendt en PDF

1 Livre(s)
Télécharger le livre : Advanced BDD Optimization
Ajouter à ma liste d'envies
Advanced BDD Optimization
Rolf Drechsler , Rudiger Ebendt , Görschwin Fey
VLSI CADhas greatly bene?ted from the use of reduced ordered Binary Decision Diagrams (BDDs) and the clausal representation as a problem of Boolean Satis?ability (SAT), e.g. in logic synthesis, ver- cation or design-for-testability. In recent practical applications,...

Editeur : Springer
Parution : 2005-12-05

PDF

147,69 €