Skip to Main content Skip to Navigation
Book sections

Hardware/Software Co-Synthesis: Modelling and Synthesis of Interfaces Using Interpreted Petri Nets

Christophe Vial 1 Bruno Rouzeyre 2
2 SysMIC - Conception et Test de Systèmes MICroélectroniques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : When designing a system using software and hardware components, communication modelling and synthesis are key points, since, for instance, communications cost drive hardware/software partitioning. In this chapter we present a method for communication interface synthesis based on a multi-level modelling of communication. By using a specific synthesis tool for each description level, and libraries of protocols and synthesised modules, reuse possibilities are enhanced. Petri Nets are used to model protocol behaviours and evaluate communication capabilities, leading partitioning.
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-02288856
Contributor : Isabelle Gouat <>
Submitted on : Monday, September 16, 2019 - 10:19:47 AM
Last modification on : Wednesday, September 18, 2019 - 1:12:12 AM

Links full text

Identifiers

Citation

Christophe Vial, Bruno Rouzeyre. Hardware/Software Co-Synthesis: Modelling and Synthesis of Interfaces Using Interpreted Petri Nets. Hardware/Software Co-Design and Co-Verification, Current Issues in Electronic Modeling (CIEM) (8), Springer, pp.89-107, 1997, 978-1-4419-5159-5. ⟨10.1007/978-1-4757-2629-9_4⟩. ⟨lirmm-02288856⟩

Share

Metrics

Record views

40