Instantiating uninterpreted functional units and memory system: functional verification of the VAMP processor - Beyer, S; Jacobi, C; Kroening, D; Leinenbach, D; Paul, W (Springer, 2003)