Advanced BDD Optimization

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, BDDs are optimized with respect t...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Ebendt, Rudiger (Author), Fey, Görschwin (Author), Drechsler, Rolf (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: New York, NY : Springer US : Imprint: Springer, 2005.
Edition:1st ed. 2005.
Subjects:
Electronic circuits.
Probabilities.
Mechanical engineering.
Electrical engineering.
Engineering design.
Electronics.
Electronic Circuits and Systems.
Probability Theory.
Mechanical Engineering.
Electrical and Electronic Engineering.
Engineering Design.
Electronics and Microelectronics, Instrumentation.
Online Access:Texto Completo

Internet

Texto Completo

Items no disponibles

Holdings details from

Similar Items