Cycle-accurate Verification of AHB-based RTL IP with Transaction-level System Environment | IEEE Conference Publication | IEEE Xplore