Functional qualification of TLM verification | IEEE Conference Publication | IEEE Xplore