A Framework of Transaction-Based HW/SW Co-Simulation for IC Verification | IEEE Conference Publication | IEEE Xplore