By Topic

Local application of simulation directed for Exhaustive Coverage of Schedulings of SystemC specifications

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Herrera, F. ; TEISA Dept., Univ. of Cantabria, Santander, Spain ; Villar, E.

The SCV library and its commercial counterparts have been effectively applied in electronic system level (ESL) for the production of test benches for system-level specifications in SystemC. Other works have enable the exploration, for fixed input data, of the different valid (fulfilling the SystemC simulation semantics) behaviours of the specification. The most efficient ones require the analysis of data and synchronization dependencies of the specification. However, in complex and heterogeneous specifications, there can be parts where such analysis becomes unfeasible. To overcome it, this paper enables and proposes the local application of simulation directed for exhaustive coverage of schedulings (or DEC simulation) for those parts. The paper shows how these features, not currently provided by any SystemC simulator, have been integrated and validated as an extension of the OSCI SystemC reference kernel.

Published in:

Specification & Design Languages, 2009. FDL 2009. Forum on

Date of Conference:

22-24 Sept. 2009