Rechercher

[HMB14] A Framework for Verification of SystemC Designs Using SystemCWaiting State Automata

Revue Internationale avec comité de lecture : Journal In Advances in Intelligent Systems and Computing, Springer Verlag, vol. 263 , pp. 77-104, 2014, (doi:10.1007/978-3-319-04717-1)

Mots clés: Verification , SystemC

Résumé: A Framework for Verification of SystemC

Commentaires: Integration of Reusable Systems. Series: Advances in Intelligent Systems and Computing, Vol. 263.Bouabana-Tebibel, Thouraya, Rubin, Stuart Harvey (Eds.).

Equipe: vespa

BibTeX

@article {
HMB14,
title="{A Framework for Verification of SystemC Designs Using SystemCWaiting State Automata}",
author="N. Harrath and B. Monsuez and K. Barkaoui",
journal="In Advances in Intelligent Systems and Computing, Springer Verlag",
year=2014,
volume=263 ,
pages="77-104",
note="{Integration of Reusable Systems. Series: Advances in Intelligent Systems and Computing, Vol. 263.Bouabana-Tebibel, Thouraya, Rubin, Stuart Harvey (Eds.).}",
doi="10.1007/978-3-319-04717-1",
}