| Ficha completa |
| Título: | A Framework for Embedded System Specification under Different Models of Computation in SystemC |
| Tipo: | Publicacion en Proceedings o Actas internacionales |
| Lugar: | Proc. of DAC'06, ACM |
| Fecha: | 2006-07 |
| Autores: |
Fernando Herrera
Eugenio Villar
|
| Líneas: |
Diseño y verificación de sistemas embebidos HW/SW
|
| Proyectos: |
Metodologías de especificación, análisis de prestaciones y verificación d...
|
| ISBN: | 1-59593-476-6 |
| Fichero: |
|
| Resumen: | El trabajo presenta una metodología de especificación heterogénea sobre el estándar SystemC. La metodología permite la especificación abstracta de sistemas heterogéneos compuestos por distintos Modelos de Computación (MoC). Una contribución significativa del trabajo es la habilidad para soportar la heterogeneidad sin alterar el núcleo de simulación de SystemC gracias a ciertas reglas de especificación y una librería de soporte. Esto es posible gracias a la abstracción del nucleo de simulación dirigido por eventos discretos. Los resultados experimentales validan la metodología propuesta.
Acceso al trabajo. |
