IEEE - Institute of Electrical and Electronics Engineers, Inc. - Fixing Design Errors with Counterexamples and Resynthesis

2007 Asia and South Pacific Design Automation Conference

Author(s): Kai-Hui Chang ; I.L. Markov ; V. Bertacco
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2007
Conference Location: Yokohama, Japan
Conference Date: 23 January 2007
Page(s): 944 - 949
ISBN (CD): 1-4244-0630-7
ISBN (Paper): 1-4244-0629-3
DOI: 10.1109/ASPDAC.2007.358111
Regular:

In this work we propose a new error-correction framework, called CoRe, which uses counterexamples, or bug traces, generated in verification to automatically correct errors in digital designs. CoRe... View More

Advertisement