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 Tue 15-Oct-19 . 14:25



Mapa Web


Localización

Noticias

Info Santander



Gestión BD

GIM>Investigación>Publicación
   PUBLICACION
 
   Ficha completa
Título:Extension of the SystemC kernel for Simulation Coverage Improvement of System-Level Concurrent Specifications
Tipo:Publicacion en Proceedings o Actas internacionales
Lugar:Proceedings of the Forum on Design Languages (FDL’06), Darmstadt, ECSI
Fecha:2006-09
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:3-00-019710-9
Fichero:
Resumen:El trabajo presenta una extensión del simulador estándar SystemC que permite mejorar la cobertura de especificaciones concurrentes. La extensión permite al simulador una selección de procesos pseudo-aleatoria que, en general, resulta en ejecuciones distintas con el mismo conjunto de estímulos. La extensión propuesta mejora la calidad de la metodología de verificación sobre varias simulaciones de la especificación del sistema.
© Copyright GIM (TEISA-UC)    ¤    Todos los derechos Reservados.    ¤    Términos LegalesE-Mail Webmaster