Algorithms for approximate FSM traversal based on state space decomposition Journal Article

Overview

CU Boulder Authors

Somenzi, Fabio

publication date

December 1, 1996

Full Author List

Cho H; Hachtel GD; 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.552080

Additional Document Info

start page

1465

end page

1478

volume

15

issue

12