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.


Fig.1 The structure of our prototype tool
The structure of our prototype tool



Tool Download

   Version 0.1       Aug. 1, 2009