Enrico Macii, Bernard Plessier, Fabio Somenzi. Formal verification of digital systems by automatic reduction of data paths. IEEE Trans. on CAD of Integrated Circuits and Systems, 16(10):1136-1156, 1997. [doi]
No references recorded for this publication.
No citations of this publication recorded.