Efficient Assertion Based Verification using TLM | IEEE Conference Publication | IEEE Xplore