Toward a TLM to RTL refinement : a formal approach - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Toward a TLM to RTL refinement : a formal approach

Résumé

Due to increasing complexity of SoC and shortening life time cycle of product, time to market becomes a ma- jor challenge in SoC design. To overcome this problem, an abstract representation of the platform under develop- ment can be used by software developers at the early stage of the development. This abstracted platform is then re- fined until its complete specification. For now, it remains difficult to implement and simulate a system that mixes TLM and RTL code. In this paper, we proposed a first step to bridge this gap by using CCSL as a mean to synchro- nize the system interfaces independently of their abstrac- tion level. We describe a potential way to logically specify transaction at different levels of abstraction.
Fichier principal
Vignette du fichier
Toward_a_TLM_to_RTL_re_nement_a_formal_approach.pdf (131.23 Ko) Télécharger le fichier
JRWRTC09_26_10.pdf (620.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Format : Autre

Dates et versions

inria-00494224 , version 1 (22-06-2010)

Identifiants

  • HAL Id : inria-00494224 , version 1

Citer

Jean-François Le Tallec, Julien Deantoni. Toward a TLM to RTL refinement : a formal approach. 3rd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2009), Oct 2009, Paris, France. ⟨inria-00494224⟩
234 Consultations
139 Téléchargements

Partager

Gmail Facebook X LinkedIn More