M\'ethodologie de mod\'elisation et d'impl\'ementation d'adaptateurs spatio-temporels
Cyrille Chavet (LESTER, STM), Philippe Coussy (LESTER), Pascal Urard, (STM), Eric Martin (LESTER)

TL;DR
This paper introduces a formal modeling approach using a Ressource Compatibility Graph to facilitate the design and implementation of adaptable spatio-temporal interfaces in complex System-on-Chip architectures, automating synchronization and protocol conversion.
Contribution
It presents a novel formal model and synthesis flow for creating adaptable interfaces that handle space-time data exchange adaptation in heterogeneous IP components.
Findings
The approach simplifies interface design for complex SoC components.
It automates synchronization and protocol conversion tasks.
The method improves integration efficiency and reduces errors.
Abstract
The re-use of pre-designed blocks is a well-known concept of the software development. This technique has been applied to System-on-Chip (SoC) design whose complexity and heterogeneity are growing. The re-use is made thanks to high level components, called virtual components (IP), available in more or less flexible forms. These components are dedicated blocks: digital signal processing (DCT, FFT), telecommunications (Viterbi, TurboCodes),... These blocks rest on a model of fixed architecture with very few degrees of personalization. This rigidity is particularly true for the communication interface whose orders of acquisition and production of data, the temporal behavior and protocols of exchanges are fixed. The successful integration of such an IP requires that the designer (1) synchronizes the components (2) converts the protocols between "incompatible" blocks (3) temporizes the data…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsEmbedded Systems Design Techniques · Model-Driven Software Engineering Techniques · Formal Methods in Verification
