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

Nesrine Harrath; Bruno Monsuez; Kamel Barkaoui

doi:10.1007/978-3-319-04717-1_4

Conference Papers Year : 2013

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

(1, 2) , (2) , (1)

1
2

Nesrine Harrath

Function : Author

CEDRIC. Systèmes sûrs

Unité d'Informatique et d'Ingénierie des Systèmes

Bruno Monsuez

Function : Author

Unité d'Informatique et d'Ingénierie des Systèmes

Kamel Barkaoui

Function : Author
PersonId : 182238
IdHAL : kamel-barkaoui

CEDRIC. Systèmes sûrs

Domains

Computer Science [cs] Computation and Language [cs.CL]

David Filliat : Connect in order to contact the contributor

https://hal.science/hal-01762692

Submitted on : Tuesday, April 10, 2018-1:19:59 PM

Last modification on : Wednesday, September 28, 2022-5:52:01 AM

Dates and versions

hal-01762692 , version 1 (10-04-2018)

Identifiers

HAL Id : hal-01762692 , version 1
DOI : 10.1007/978-3-319-04717-1_4

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

ENSTA CNAM ENSTA_U2IS UNIV-HESAM CEDRIC-CNAM

44 View

0 Download

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share