Microelectronics Engineering Group

Microelectronics Engineering Group

Electronics Technology, Systems and Automation Engineering Department University of Cantabria
Home    Staff    Research    Teaching    Doctorate    Publications    Tools    versión en español Sat 13-Jul-24 . 15:22

Web Map



Santander Info

   Full record
Title:Heterogeneous system-level specification in SystemC
Type:Book chapter
Where:"Advances in Design and Specification Languages for SoC", P. Boulet (Ed.), CHDL Series, Springer
Authors: Fernando Herrera
Pablo Pedro Sánchez
Eugenio Villar
R&D Lines: Design and verification of HW/SW embedded systems
Projects: Metodologías de especificación, análisis de prestaciones y verificación d...
PDF File:
Abstract:The chapter presents a general solution for system-level heterogeneous specification in SystemC. The proposed specification methodology supports the combination of different untimed models of computations (MoCs). Although it is independent of the model used, the methodology has been proven on CSP, PN, and KPN systems. The methodology is presented under the Rugby metamodel.
Acces to the book
The book can be adquired also through ECSI
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster