IEEE - Institute of Electrical and Electronics Engineers, Inc. - Veri cation Through the Principle of Least Astonishment

IEEE/ACM International Conference on Computer Aided Design - Digest of Technical Papers

Author(s): B. Isaksen ; V. Bertacco
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2006
Conference Location: San Jose, CA, USA
Conference Date: 5 November 2006
Page(s): 860 - 867
ISBN (CD): 1-59593-389-1
ISSN (Paper): 1092-3152
DOI: 10.1109/ICCAD.2006.320090
Regular:

Assessing the correctness of a digital design is a challenging task hampered by extremely large circuit netlists, counterintuitive property descriptions and ill-defined specifications. In this... View More

Advertisement