A Framework for the Functional Verification of SystemC Models

Author： Bruschi Francesco   Ferrandi Fabrizio   Sciuto Donatella  

Publisher： Springer Publishing Company

ISSN： 0885-7458

Source： International Journal of Parallel Programming, Vol.33, Iss.6, 2005-12, pp. : 667-695

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Design, synthesis and verification of a smart imaging core using SystemC

By Kruijtzer Wido   Reyes Victor   Gehrke Winfried  

Design Automation for Embedded Systems, Vol. 10, Iss. 2-3, 2005-09 ,pp. : 127-155

Springer Publishing Company

Access to resources Recommend Favorite

Full simulation coverage for SystemC transaction-level models of systems-on-a-chip

By Helmstetter C.   Maraninchi F.   Maillet-Contoz L.  

Formal Methods in System Design, Vol. 35, Iss. 2, 2009-10 ,pp. : 152-189

Springer Publishing Company

Access to resources Recommend Favorite

SystemC waiting state automata

By Harrath Nesrine  

International Journal of Critical Computer-Based Systems, Vol. 3, Iss. 1-2, 2012-01 ,pp. : 60-95

Inderscience Publishers

Access to resources Recommend Favorite

MPARM: Exploring the Multi-Processor SoC Design Space with SystemC

By Benini Luca   Bertozzi Davide   Bogliolo Alessandro   Menichelli Francesco   Olivieri Mauro  

Journal of VLSI Signal Processing, Vol. 41, Iss. 2, 2005-09 ,pp. : 169-182

Springer Publishing Company

Access to resources Recommend Favorite

TAPES—Trace-based architecture performance evaluation with SystemC

By Wild Thomas   Herkersdorf Andreas   Lee Gyoo-Yeong  

Design Automation for Embedded Systems, Vol. 10, Iss. 2-3, 2005-09 ,pp. : 157-179

Springer Publishing Company

Access to resources Recommend Favorite