IEEE - Institute of Electrical and Electronics Engineers, Inc. - Simulation-based sequential equivalence checking of RTL VHDL

ICECS'99. Proceedings of ICECS'99. 6th IEEE International Conference on Electronics, Circuits and Systems

Author(s): Corno, F. ; Reorda, M.S. ; Squillero, G.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: Pafos, Cyprus, Cyprus
Conference Date: 5 September 1999
Volume: 1
ISBN (Paper): 0-7803-5682-9
DOI: 10.1109/ICECS.1999.812295
Regular:

This paper presents a novel approach to equivalence verification of RT-level descriptions. The proposed approach sacrifices exactness in favor of applicability: it is not always able to produce an... View More

Advertisement