|
 
|
[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:
sys
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", | |
| } | |||
