SystemC waiting state automata

Author： Harrath Nesrine  

Publisher： Inderscience Publishers

ISSN： 1757-8779

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

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

A Framework for the Functional Verification of SystemC Models

By Bruschi Francesco   Ferrandi Fabrizio   Sciuto Donatella  

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

Springer Publishing Company

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

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

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