Advances in Functional Decomposition: Theory and Applications

Advances in Functional Decomposition: Theory and Applications

Show other versions (1)

Functional decomposition aims at finding efficient representations for Boolean functions. It is used in many applications, including multi-level logic synthesis, formal verification, and testing. This dissertation presents novel heuristic algorithms for functional decomposition. These algorithms tak...

Full description

Bibliographic Details
Main Author: Martinelli, Andrés
Format: Doctoral Thesis
Language:English
Published: KTH, Mikroelektronik och Informationsteknik, IMIT 2006
Subjects:
computer science
electronic system design
Boolean decomposition
binary decision diagram
logic synthesis
graph algorithm
Computer science
Datavetenskap
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-4135

Internet

http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-4135

Similar Items