Using lower bounds during dynamic BDD minimization Journal Article

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• January 1, 2001

Full Author List

• Drechsler R; Gunther W; Somenzi F

published in

• IEEE Transactions on Computer - Aided Design of Integrated Circuits and Systems  Journal

Other Profiles

Digital Object Identifier (DOI)

• 10.1109/43.905674

Additional Document Info

start page

• 51

end page

• 57

volume

• 20

issue

• 1