Dynamic Inside-Out Verification Using Inverse Transactions in TLM | IEEE Conference Publication | IEEE Xplore