Naslov
System-level abstraction semantics

Autori
Gerstlauer, A. ; Gajski, D.D.

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

Izvornik
Proceedings of the International Symposium on System Synthesis / - , 2002, 231-236

Skup
International Symposium on Systems Synthesis

Mjesto i datum
Kyoto, Japan, 02.10.2002. - 04.10.2002

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
design automation; SystemC; SpecC

Sažetak
Raising the level of abstraction is widely seen as the solution for closing the productivity gap in system design. They key for the success of this approach, however, are well-defined abstraction levels and models. In this paper, we present such system level semantics to cover the system design process. We define properties and features of each model. Formalization of the flow enables design automation for synthesis and verification to achieve the required productivity gains. Through customization, the semantics allow creation of specific design methodologies. We applied the concepts to system languages SystemC and SpecC. Using the example of a JPEG encoder, we will demonstrate the feasibility and effectiveness of the approach.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA