Combinational Equivalence Checking Using Satisfiability and Recursive Learning


Marques-Silva, Joao and Glass, Thomas (1999) Combinational Equivalence Checking Using Satisfiability and Recursive Learning. In, Design, Automation and Test in Europe, Munich, Germany, IEEE Press, 145-149.

Download

[img] PDF
Available under License Creative Commons Attribution Non-commercial No Derivatives.
Download (30Kb)
Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: March, 1999
Divisions: Faculty of Physical and Applied Science > Electronics and Computer Science
Item ID: 265003
Date Deposited: 06 Jan 2008 08:47
Last Modified: 02 Mar 2012 11:59
Contributors: Marques-Silva, Joao (Author)
Glass, Thomas (Author)
Date: March 1999
Additional Information: Event Dates: March, 1999
Status: Published
Publisher: IEEE Press
Further Information:Google Scholar
ISI Citation Count:5
URI: http://eprints.soton.ac.uk/id/eprint/265003

Actions (login required)

View Item View Item
EPrints Logo
Contact ePrints Soton: eprints@soton.ac.uk
ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2