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.
Domains
Ubiquitous Computing
Fichier principal
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
Origin : Files produced by the author(s)
Format : Other