| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Toward a TLM to RTL refinement : a formal approach
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.
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
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
