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⟩