Instantiating uninterpreted functional units and memory system: functional verification of the VAMP processor
Sven Beyer‚ Christian Jacobi‚ Daniel Kroening‚ Dirk Leinenbach and Wolfgang Paul
Details
| Book Title |
Proc. of the 12th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME) |
| Month |
October |
| Pages |
51–65 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
2860 |
| Year |
2003 |
Links
Related pages
|
People |