Authors: MACII E PLESSIER B SOMENZI F

Citation: E. Macii et al., FORMAL VERIFICATION OF DIGITAL-SYSTEMS BY AUTOMATIC REDUCTION OF DATAPATHS, IEEE transactions on computer-aided design of integrated circuits and systems, 16(10), 1997, pp. 1136-1156

Authors: CHO H HACHTEL GD MACII E PLESSIER B SOMENZI F

Citation: H. Cho et al., ALGORITHMS FOR APPROXIMATE FSM TRAVERSAL BASED ON STATE-SPACE DECOMPOSITION, IEEE transactions on computer-aided design of integrated circuits and systems, 15(12), 1996, pp. 1465-1478