Instantiating uninterpreted functional units and memory system: functional verification of the VAMP (2003)

by S Beyer, C Jacobi, D Kröning, D Leinenbach, W Paul
Venue:CHARME 2003, volume 2860 of LNCS