An Industrially Effective Environment for Formal Hardware Verification

An Industrially Effective Environment for Formal Hardware Verification” by Carl-Johan H. Seger, Robert B. Jones, John W. O'Leary, Tom Melham, Mark D. Aagaard, Clark Barrett, and Don Syme. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 24, no. 9, Sep. 2005, pp. 1381-1405.

BibTeX entry:

@article{SJO+05,
   author = {Carl-Johan H. Seger and Robert B. Jones and John W. O'Leary
	and Tom Melham and Mark D. Aagaard and Clark Barrett and Don
	Syme},
   title = {An Industrially Effective Environment for Formal Hardware
	Verification},
   journal = {IEEE Transactions on Computer-Aided Design of Integrated
	Circuits and Systems},
   volume = {24},
   number = {9},
   pages = {1381--1405},
   month = sep,
   year = {2005},
   issn = {0278-0070},
   url = {http://www.cs.nyu.edu/~barrett/pubs/SJO+05.pdf}
}

(This webpage was created with bibtex2web.)