Skip to Main content Skip to Navigation
Conference papers

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

Nesrine Harrath 1, 2 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
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01762692
Contributor : David Filliat <>
Submitted on : Tuesday, April 10, 2018 - 1:19:59 PM
Last modification on : Wednesday, April 15, 2020 - 4:00:09 PM

Identifiers

Citation

Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui. A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata. Integration of Reusable Systems, 2013, San Francisco, United States. pp.77--104, ⟨10.1007/978-3-319-04717-1_4⟩. ⟨hal-01762692⟩

Share

Metrics

Record views

84