Verification and Computer Architecture Lab