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 infoissn | 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 |
links
BibTeX
Link (pdf)
DOI (10.1109/TCAD.2005.850814)
related pages
|
