Naslov
Modeling a new RTL semantics in C++

Autori
Zhao, Shuqing ; Gajski, D.D.

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

Izvornik
Proceedings - IEEE International Symposium on Circuits and Systems / - , 2002, 741-744

Skup
IEEE International Symposium on Circuits and Systems

Mjesto i datum
Scottsdale (AZ), Sjedinjene Američke Države, 26.05.2002. - 29.05.2002

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
register transfer level (RTL) design; RTL semantics

Sažetak
In order to improve the productivity of current register transfer level (RTL) design practice, we argue that a new methodology of modeling, simulation and synthesis is needed based on standard RTL semantics. In this paper we present the implementation of a C++ class library for RTL modeling and simulation. This library provides a foundation for experimentation in the new RTL semantics, proposed by Accellera Working Group, which uses FSMD (D.D. Gajski et al, High-Level Synthesis: Introduction to Chip and System Design, Kluwer Academic, 1992) as a formal model of RTL abstraction. The essential C++ classes for modeling FSMD in C++ are described in the paper.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA