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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Ebendt, Rudiger (Autor), Fey, Görschwin (Autor), Drechsler, Rolf (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York, NY : Springer US : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Temas:
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.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares