Semantic Preserving RTL Transformation for Control-Data Slicing in Virtual IPs - Télécom Paris Accéder directement au contenu
Communication Dans Un Congrès Année : 2007

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

Résumé

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.
Fichier non déposé

Dates et versions

hal-02893223 , version 1 (08-07-2020)

Identifiants

Citer

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⟩
24 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More