Instantiating uninterpreted functional units and memory system: functional verification of the VAMP processor
Sven Beyer‚ Christian Jacobi‚ Daniel Kroening‚ Dirk Leinenbach and Wolfgang Paul
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