A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata

Nesrine Harrath 1 Bruno Monsuez 2 Kamel Barkaoui 1
1 CEDRIC - SYS - CEDRIC. Systèmes sûrs
CEDRIC - Centre d'études et de recherche en informatique et communications
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02479601
Contributor : Kamel Barkaoui <>
Submitted on : Friday, February 14, 2020 - 3:40:40 PM
Last modification on : Thursday, February 20, 2020 - 12:59:55 PM

Identifiers

Citation

Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui. A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata. IEEE 14th International Conference on Information Reuse & Integration, IRI 2013 August 14-16, 2013, Aug 2013, San Francisco, United States. pp.77-104, ⟨10.1007/978-3-319-04717-1_4⟩. ⟨hal-02479601⟩

Share

Metrics

Record views

7