System-on-chip verification: TLM-to-RTL assertions transformation

The Electronic System Level design flow aims to manage the great complexity of today's Systems-on-Chip: design and verification methodologies start from abstraction levels higher than RTL (Register Transfer Level), referred to as Transaction Level Modeling (TLM). At this level, virtual prototyp...

Full description

Saved in:
Bibliographic Details
Published in2014 10th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME) pp. 1 - 4
Main Authors Bel Hadj Amor, Zeineb, Pierre, Laurence, Borrione, Dominique
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.06.2014
Subjects
IEEE standards
Monitoring
Protocols
Synchronization
System-on-chip
Time-domain analysis
Time-varying systems
Online AccessGet full text

Cover

More Information
Summary:The Electronic System Level design flow aims to manage the great complexity of today's Systems-on-Chip: design and verification methodologies start from abstraction levels higher than RTL (Register Transfer Level), referred to as Transaction Level Modeling (TLM). At this level, virtual prototypes are used for early validation, software development, and as golden reference for the derived RTL designs. Assertion-based verification, a verification technique widely adopted for RTL designs, started to prove its efficiency at TLM. Verification is the bottleneck of the ESL design flow. Hence, there is a real need for a complete verification flow covering all the abstraction levels of the design flow. In this paper, we describe the implementation of an approach for temporal assertions refinement from TLM to RTL, using a set of transformation rules. The reuse of TLM assertions is the basis of an Assertion-based verification flow.
DOI:10.1109/PRIME.2014.6872713