CHIMP: A Tool for Assertion-Based Dynamic Verification of SystemC Models.

Sonali Dutta, Moshe Y. Vardi, Deian Tabakov

Browse the full FMCAD paper archive.