Verifying SystemC with predicate abstraction: A component based approach.

Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui

Browse the full IRI paper archive.