Verifying SystemC with predicate abstraction: A component based approach

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-02479617
Contributor : Kamel Barkaoui <>
Submitted on : Friday, February 14, 2020 - 3:43:48 PM
Last modification on : Monday, February 24, 2020 - 1:37:17 PM

Identifiers

Citation

Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui. Verifying SystemC with predicate abstraction: A component based approach. 2013 IEEE 14th International Conference on Information Reuse & Integration (IRI), Aug 2013, San Francisco, France. pp.536-545, ⟨10.1109/IRI.2013.6642516⟩. ⟨hal-02479617⟩

Share

Metrics

Record views

13