Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams.

Thanyapat Sakunkonchak, Masahiro Fujita

Browse the full FORTE paper archive.