Skip to Main content Skip to Navigation
Conference papers

Semantic Preserving RTL Transformation for Control-Data Slicing in Virtual IPs

Abstract : Intellectual Property (IP) reuse has become one of the keys to enabling today’s massive System-on-Chip (SoC) designs. However the extensive reuse of IP components has increased the challenge of SoC verification. The higher-level abstraction of IPs allows designers to manage this complexity in today’s multi-million gate SoC. Abstraction of complex calcu- lations in data paths greatly simplifies the design for verification. For such an abstraction we first need to separate control from data in IPs. In this paper we have presented an extension to control-data slicing paradigm [4] in which a Register Transfer Level (RTL) transformation of IP models is proposed assisting separation of control state machines from the data processing. Before slicing an IP model into control and data, we first make a transformation which preserves the model semantics. The existing slicing paradigm is enriched by additional analysis and applied to the transformed model which enables the control-data slicing of more general RTL IP models particularly VHDL models with extensive use of local variables.
Complete list of metadatas

https://hal.telecom-paris.fr/hal-02893223
Contributor : Renaud Pacalet <>
Submitted on : Wednesday, July 8, 2020 - 10:10:59 AM
Last modification on : Wednesday, November 4, 2020 - 3:12:03 PM

Identifiers

Citation

Waseem Muhammad, Sophie Coudert, Rabéa Ameur-Boulifa, Renaud Pacalet. Semantic Preserving RTL Transformation for Control-Data Slicing in Virtual IPs. 2007 IEEE International Multitopic Conference (INMIC), Dec 2007, Lahore, France. pp.1-6, ⟨10.1109/INMIC.2007.4557700⟩. ⟨hal-02893223⟩

Share

Metrics

Record views

22