Microelectronics Engineering Group

Microelectronics Engineering Group

Electronics Technology, Systems and Automation Engineering Department University of Cantabria
Home    Staff    Research    Teaching    Doctorate    Publications    Tools    versión en español Fri 29-Mar-24 . 00:34



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.
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster