Functional qualification of TLM verification