Hocine Mokrani, Rabea Ameur-Boulifa, Emmanuelle Encrenaz. Assisting Refinement in System-on-Chip Design.
Languages, Design Methods, and Tools for Electronic System Design, Selected Contributions from FDL 2013, 311, Springer, pp.21-42, 2015, Lecture Notes in Electrical Engineering,
⟨10.1007/978-3-319-06317-1_2⟩.
⟨hal-01221739⟩