Documents Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams

Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams Thanyapat Sakunkonchak Masahiro Fujita Department of Electronic Engineering…

Documents Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams

Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams Thanyapat Sakunkonchak Masahiro Fujita Department of Electronic Engineering…