This paper presents a new design methodology able to bridge the gap between an abstract specification and a heterogeneous reconfigurable architecture. The EPICURE contribution is the result of a joint study on abstraction/refinement methods and a smart reconfigurable architecture within the formal Esterel design tools suite. The original points...
-
2006 (v1)Journal articleUploaded on: December 2, 2022
-
2006 (v1)Journal article
This paper presents a new design methodology able to bridge the gap between an abstract specification and a heterogeneous reconfigurable architecture. The EPICURE contribution is the result of a joint study on abstraction/refinement methods and a smart reconfigurable architecture within the formal Esterel design tools suite. The original points...
Uploaded on: October 11, 2023 -
September 7, 2008 (v1)Conference paper
International audience
Uploaded on: December 3, 2022