Skip to Main content Skip to Navigation
Conference papers

Toward a TLM to RTL refinement : a formal approach

Jean-François Le Tallec 1 Julien Deantoni 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00494224
Contributor : Jean-François Le Tallec <>
Submitted on : Tuesday, June 22, 2010 - 2:06:45 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM
Document(s) archivé(s) le : Monday, October 22, 2012 - 2:40:43 PM

Identifiers

  • HAL Id : inria-00494224, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

516

Files downloads

237