Grupo de Ingeniería Microelectrónica

Grupo de Ingeniería Microelectrónica

Departamento de Tecnología Electrónica, Ingeniería de Sistemas y Automática Universidad de Cantabria
Home   Personas   Investigación   Docencia   Doctorado   Publicaciones   Herramientas   Bolsa de Empleo   english version Sun 20-Jan-19 . 21:22



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
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster