A TLM Design for Verification Methodology