IEEE - Institute of Electrical and Electronics Engineers, Inc. - Preparing Rearchitected Designs for Sequential Equivalence Checking

2008 Ninth International Workshop on Microprocessor Test and Verification (MTV 2008)

Author(s): Mark Nodine
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2008
Conference Location: Austin, TX, USA
Conference Date: 8 December 2008
Page(s): 27 - 32
ISBN (Paper): 978-1-4244-3682-8
ISSN (Electronic): 2332-5674
ISSN (Paper): 1550-4093
DOI: 10.1109/MTV.2008.8
Regular:

This paper describes a tool called rapport which prepares rearchitected designs for sequential equivalence checking. This tool is applicable when an existing "golden" design is optimized for... View More

Advertisement