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 metadata
Contributor : Jean-François Le Tallec Connect in order to contact the contributor
Submitted on : Tuesday, June 22, 2010 - 2:06:45 PM
Last modification on : Tuesday, January 11, 2022 - 11:16:21 AM
Long-term archiving on: : Monday, October 22, 2012 - 2:40:43 PM


  • HAL Id : inria-00494224, version 1



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⟩



Les métriques sont temporairement indisponibles