Journal article
An Industrially Effective Environment for Formal Hardware Verification
Actions
Authors
Bibliographic Details
- Journal:
- IEEE Transactions on Computer−Aided Design of Integrated Circuits and Systems
- Volume:
- 24
- Issue:
- 9
- Pages:
- 1381-1405
- Publication date:
- 2005-09-01
- DOI:
- ISSN:
-
0278-0070
Item Description
- UUID:
-
uuid:383e6b56-5ad6-475f-9b6c-fb98730eeb09
- Local pid:
- cs:4684
- Deposit date:
- 2015-03-31
Terms of use
- Copyright date:
- 2005
If you are the owner of this record, you can report an update to it here: Report update to this record