Title :
Redesign and Verification of RTL IPs through RTL-to-TLM Abstraction and TLM Synthesis
Author :
Bombieri, Nicola ; Fummi, F. ; Guarnieri, Valerio ; Pravadelli, Graziano ; Vinco, S.
Author_Institution :
Dept. of Comput. Sci., Univ. of Verona, Verona, Italy
Abstract :
The arising complexity of modern system-on-chips (SoCs) makes the reuse of existent IP cores a key strategy to explore these systems design space in a reasonable amount of time and to reduce the error risk during the design flow. On the other hand, although several RTL IPs are available to designers, their reuse throughout the design space exploration involves time consuming and error prone redesign steps (i.e., RTL redesign), which often eludes the IP reuse advantages. In this context, this paper proposes a methodology to automatically redesign RTL IPs when a system level description of such IPs (i.e., C/C++ model) is not available. The redesign methodology relies on an RTL-to-TLM abstraction step to abstract all the low level details related to the starting RTL model, and on a TLM synthesis step to generate the new RTL description. The methodology includes a verification phase to verify, by means of model checking, the correctness of each step of the redesign flow.
Keywords :
formal verification; integrated circuit design; microprocessor chips; system-on-chip; IP cores; IP reuse advantages; RTL IP redesign; RTL IP verification; RTL description; RTL model; RTL-to-TLM abstraction; SoCs; TLM synthesis; design space exploration; error prone redesign steps; error risk reduction; model checking; redesign flow; system level description; system-on-chip complexity; verification phase;
Conference_Titel :
Microprocessor Test and Verification (MTV), 2012 13th International Workshop on
Conference_Location :
Austin, TX
Print_ISBN :
978-1-4673-4441-8
DOI :
10.1109/MTV.2012.21