Hardware/Software Co-Synthesis: Modelling and Synthesis of Interfaces Using Interpreted Petri Nets - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Book Sections Year : 1997

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

Christophe Vial

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.

Dates and versions

lirmm-02288856 , version 1 (16-09-2019)

Identifiers

Cite

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⟩
19 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More