On the Evaluation of Transactor-based Verification for Reusing TLM Assertions and Testbenches at RTL | IEEE Conference Publication | IEEE Xplore