| 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. |
