IEEE - Institute of Electrical and Electronics Engineers, Inc. - Combinational equivalence checking using satisfiability and recursive learning

Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings

Author(s): Marques-Silva, J. ; Glass, T.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: Munich, Germany, Germany
Conference Date: 9 March 1999
Page(s): 145 - 149
ISBN (Paper): 0-7695-0078-1
DOI: 10.1109/DATE.1999.761110
Regular:

The problem of checking the equivalence of combinational circuits is of key significance in the verification of digital circuits. Previously, several approaches have been proposed for solving this... View More

Advertisement