Web Map
Location
News
Santander Info
|
| GIM>Research>Publication |
| PUBLICATION |
| |
| Full record |
| Title: | Local Application of Simulation Directed for Exhaustive Coverage of Schedulings in SystemC Specifications |
| Type: | International Conference |
| Where: | Proceedings of the Forum on specification and Design Languages, FDL'09, IEEE, 2009 |
| Date: | 2009-09 |
| Authors: |
Fernando Herrera
Eugenio Villar
|
| R&D Lines: |
Design and verification of HW/SW embedded systems
|
| Projects: |
IST 033511 ANDRES
|
| ISBN: | 978-2-9530504-17 |
| PDF File: |
|
| Abstract: | La producción de tests de entrada para especificaciones de nivel de sistema en SystemC ha sido eficientemente cubierta por extensiones como la librería SCV y sus correspondientes versiones comerciales, pudiéndose aplicarse tan eficazmente en el diseño electrónico de nivel de sistema (ESL) como en el diseño RTL. Otros trabajos, han provisto los medios para considerar, una vez fijados los datos de entrada, las diferentes planificaciones que pueden aparecer en una ejecución válida en términos de la semántica de simulación de SystemC. Estos permiten una exploración eficiente de esas planificaciones posibles una vez se extraen y analizan las dependencias de datos y de sincronización de la especificación SystemC. Sin embargo, en especificaciones complejas y heterogéneas, pueden haber parted donde tal extracción y análisis sea imposible. Para resolver esta limitación, este artículo propone y habilita la aplicación local de simulación dirigida hacia una cobertura exhaustiva de planificaciones, o simulación DEC, para la simulación de aquellas partes. El artículo muestra como esas características, no provistas en la actualidad por ningún simulador de SystemC, se han integrado, validado y puestas a disposición como una extensión del kernel de referencia de la OSCI de SystemC. Access to the paper. |
|
|
