Advances in Functional Decomposition: Theory and Applications

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, Andres
Format: Doctoral Thesis
Language:English
Published: SICS 2006
Subjects:
Online Access:http://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-21180