Naslov
Model refinement for hardware-software codesign

Autori
Jie Gong ; Gajski, D.D. ; Bakshi, S.

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

Izvornik
Proceedings of the European Design and Test Conference, 1996. ED&TC 96. / - Pariz, 1996, 270-274

Skup
European Design and Test Conference, 1996. ED&TC 96.

Mjesto i datum
Pariz, Francuska, 11.03.1996. - 14.03.1996

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
formal specification; high level synthesis; modelling; systems analysis

Sažetak
The model refinement task in system-level synthesis transforms a specification from a functional model to a chosen implementation model. In this paper, we categorize several commonly-used implementation models and then describe a set of refinement procedures to transform a specification to each of these implementation models. We also present a set of experimental results to compare the implementation models and to demonstrate how the proposed approach is used to explore different implementation styles

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA