A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

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

Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
54 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More