IEEE - Institute of Electrical and Electronics Engineers, Inc. - Refinement strategies for verification methods based on datapath abstraction

Proceedings of the ASP-DAC 2006. Asia and South Pacific Design Automation Conference 2006

Author(s): Z.S. Andraus ; M.H. Liffiton ; K.A. Sakallah
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Yokohama, Japan
Conference Date: 24 January 2006
Page Count: 6
ISBN (Paper): 0-7803-9451-8
DOI: 10.1109/ASPDAC.2006.1594639
Regular:

In this paper, we explore the application of counter-example-guided abstraction refinement (CEGAR) in the context of microprocessor correspondence checking. The approach utilizes automatic... View More

Advertisement