Naslov
Model Refinement for Hardware-Software Codesign

Autori
Gong, J. ; Gajski, Danijel ; Bakshi, S.

Izvornik
ACM Transactions on Design Automation of Electronic Systems (1084-4309) 2 (1997), 1; 22-41

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
functional model; implementation model; model refinement; sofware-hardware codesign

Sažetak
Hardware-software codesign, which implements a given specification with a set of system components such as ASICs and processors, includes several key tasks such as system component allocation, functional partitioning, quality metrics estimation, and model refinement. In this work, we focus on the model refinement task which transforms a specification from an original functional model to a refined implementation model. First, we categorize several commonly used implementation models and 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 can be used to explore different implementation styles.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA