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 Sun 08-Dec-24 . 11:08



Web Map


Location

News

Santander Info

GIM>Research>Publication
   PUBLICATION
 
   Full record
Title:Extension of the SystemC kernel for Simulation Coverage Improvement of System-Level Concurrent Specifications
Type:International Conference
Where:Proceedings of the Forum on Design Languages (FDL’06), Darmstadt, ECSI
Date:2006-09
Authors: Fernando Herrera
Eugenio Villar
R&D Lines: Design and verification of HW/SW embedded systems
Projects: Metodologías de especificación, análisis de prestaciones y verificación d...
ISBN:3-00-019710-9
PDF File:
Abstract:This paper presents an extension of the SystemC
reference kernel which improves the simulation-based
verification coverage of concurrent system-level
specifications. The extension facilitate the simulation
engine to perform a pseudo-random scheduling, which, in
general, results in different execution orders when several
simulations are run for a fixed input. The proposed
extension improves the quality of a system-level
verification methodology based on several simulations of
the system-level specification.
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster