Reuse of learned information to simplify functional verification of a digital circuit

“Reuse of learned information to simplify functional verification of a digital circuit” by Jeremy R. Levitt, Christophe G. Gauthron, Clark W. Barrett, and Lawrence Curtis Widdoes Jr.. Dec. 2007. Patent No. 20070299648.

Abstract

A computer is programmed in accordance with the invention to automatically analyze a digital circuit, to check if the digital circuit can enter a target state starting from a start state, by reusing information learned during a another analysis, checking if the same digital circuit can enter the same or different target state from a different start state. Use of learned information in accordance with the invention simplifies the analysis of the digital circuit (e.g. by allowing skipping one or more analysis acts). The learned information may be stored in a database. Depending on the embodiment, the two or more analyses may check on operation of the digital circuit for the same or different numbers of cycles.

BibTeX entry:

@misc{LGBW07,
   author = {Jeremy R. Levitt and Christophe G. Gauthron and Clark W.
	Barrett and Widdoes Jr., Lawrence Curtis},
   title = {Reuse of learned information to simplify functional
	verification of a digital circuit},
   number = {20070299648},
   month = dec,
   year = {2007},
   note = {Patent No. 20070299648},
   url = {http://www.freepatentsonline.com/y2007/0299648.html}
}

(This webpage was created with bibtex2web.)