Mapa Web
Localización
Noticias
Info Santander
Gestión BD
|
| GIM>Investigación>Publicación |
| PUBLICACION |
| |
| Ficha completa |
| Título: | Mixing Synchronous Reactive and Untimed MoCs in SystemC |
| Tipo: | Capitulo de libro |
| Lugar: | "Applications of Specification and Design Languages for SoCs", A. Vachoux (Ed.), CHDL Series, Springer |
| 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-4020-4997-8 |
| Fichero: |
|
| Resumen: | Este trabajo se enmarca en el desarrollo de una metodología completa de especificación heterogénea en SystemC.
La metodología era capaz de soportar Modelos de computación (MoCs) atemporales (PN, KPN y CSP) y ahora se extiende a MoCs con una modelado temporal mas preciso como el Reactivo Síncrono (SR).
El trabajo anterior en interfaces atemporales se extiende a modelos SR lo que requiere la intersección de diferentes MoCs en el dominio temporal que se reflejan en las interfaces (procesos y canales frontera) SR-atemporales en SystemC. El trabajo aborda la definición y detección de incompatibilidades entre restricciones temporales provocadas por la interconexión.
Acceso al libro
El libro puede adquirirse tambien a traves de ECSI |
|
|
