Enhancing the assertion-based verification of TLM designs with reentrancy | IEEE Conference Publication | IEEE Xplore