An Industrially Effective Environment for Formal Hardware Verification
Carl−Johan H. Seger‚ Robert B. Jones‚ John W. O'Leary‚ Tom Melham‚ Mark D. Aagaard‚ Clark Barrett and Don Syme
ISSN
0278−0070
Journal
IEEE Transactions on Computer−Aided Design of Integrated Circuits and Systems
Month
September
Number
9
Pages
1381–1405
Volume
24
Year
2005