Using lower bounds during dynamic BDD minimization Journal Article

Overview

CU Boulder Authors

• Somenzi, Fabio

publication date

• January 1, 2001

has restriction

• closed

Date in CU Experts

• September 6, 2013 12:30 PM

Full Author List

• Drechsler R; Gunther W; Somenzi F

author count

• 3

citation count

• 21

published in

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

Other Profiles

International Standard Serial Number (ISSN)

• 0278-0070

Electronic International Standard Serial Number (EISSN)

• 1937-4151

Digital Object Identifier (DOI)

• https://doi.org/10.1109/43.905674

Additional Document Info

start page

• 51

end page

• 57

volume

• 20

issue

• 1