Automatic generation of self-adaptive transactors from PSL assertions

This paper presents an approach to automatically generate transactors that implement TLM protocols for RTL IPs, such that the RTL IPs can be abstracted towards corresponding TLM models and easily integrated inside a TLM virtual prototype. The obtained transactor is self-adaptive, since it allows plu...

Full description

Saved in:
Bibliographic Details
Published in2016 Forum on Specification and Design Languages (FDL) pp. 1 - 7
Main Authors Demrozi, Florenc, Pravadelli, Graziano, Stefanni, Francesco
Format Conference Proceeding
LanguageEnglish
Published ECSI 01.09.2016
Subjects
Encoding
IP networks
Protocols
Prototypes
Semantics
Time-domain analysis
Time-varying systems
Online AccessGet full text

Cover

More Information
Summary:This paper presents an approach to automatically generate transactors that implement TLM protocols for RTL IPs, such that the RTL IPs can be abstracted towards corresponding TLM models and easily integrated inside a TLM virtual prototype. The obtained transactor is self-adaptive, since it allows plugging the target IP in the virtual prototype independently from the protocol implemented by the corresponding TLM initiator. The transactor is automatically created from the set of PSL assertions that describe the temporal behaviour of the communication protocol of the original RTL IP.
DOI:10.1109/FDL.2016.7880370