Toward a TLM to RTL refinement : a formal approach - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

Toward a TLM to RTL refinement : a formal approach

(1) , (1)
1

Abstract

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
Vignette du fichier
JRWRTC09_26_10.pdf (620.64 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Format : Other

Dates and versions

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

Identifiers

  • HAL Id : inria-00494224 , version 1

Cite

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⟩
230 View
128 Download

Share

Gmail Facebook Twitter LinkedIn More