IEEE - Institute of Electrical and Electronics Engineers, Inc. - Error Detection Using Model Checking vs. Simulation

11th IEEE International High Level Design Validation and Test Workshop

Author(s): Shireesh Verma ; Patricia Lee ; Ian G. Harris
Sponsor(s): IEEE Comput. Soc. Test Technol. Tech. Council
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2006
Conference Location: Monterey, CA, USA
Conference Date: 8 November 2006
Page(s): 55 - 58
ISBN (CD): 1-4244-0680-3
ISBN (Paper): 1-4244-0679-X
ISSN (Paper): 1552-6674
DOI: 10.1109/HLDVT.2006.319964
Regular:

Design simulation and model checking are two alternative and complementary techniques for verifying hardware designs. This paper presents a comparison between the two techniques based on detection... View More

Advertisement