Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP