Naslov
Defining an Enhanced RTL Semantics

Autori
S. Zhao, Gajski, D. D.

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the conference on Design, Automation and Test in Europe / - , 2005, 548-553

ISBN
0769522882

Skup
Design, Automation, and Test in Europe

Mjesto i datum
München, Njemačka, 07.03.2005. - 11.03.2005

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
enhanced RTL semantics; RTL++ language; pipelined register variable concept

Sažetak
In this paper we formally define an enhanced RTL semantics. This is intended to elevate the RTL design abstraction level and help bridge the HDL semantic gap among synthesis, simulation and formal verification tools. We define the enhanced semantics based on a new RTL++ language that supports pipelined operations using a new pipelined register variable concept. The execution semantics of RTL++ is specified in a structural operational semantics style aimed to form the basis for related simulation and formal verification algorithm development. A RFSM model is defined to support natively the synthesis semantics of RTL++. We also present an example of extending SystemC to support the notion of pipelined register variable.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA