ARTEST: A Prototype Tool for TLM-to-RTL test generation

We developed a prototype tool Automatic Rtl Test gEnerator from Systemc Tlm (ARTEST) which incorporates the proposed methods. Figure 1 shows both the structure and workflow of our tool. Our tool has three key components: i) TLM2SMV for SMV model and property generation, ii) TLM-Test-Gen for TLM test generation, and iii) RTL-Test-Gen for RTL test generation.