Formal verification of digital systems by automatic reduction of data paths Journal Article

Overview

CU Boulder Authors

Somenzi, Fabio

publication date

October 1, 1997

Full Author List

Macii E; Plessier B; 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.662676

Additional Document Info

start page

1136

end page

1156

volume

16

issue

10