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

  • Thanyapat Sakunkonchak
  • Masahiro Fujita
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2529)


We introduce an on-going work that tries to develop a technique for the verification of synchronization issues in SpecC language,a C-based system level description language. It is summarized as followed.


Operating System Communication Network Software Engineer Related Statement Electronic Engineer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Thanyapat Sakunkonchak
    • 1
  • Masahiro Fujita
    • 1
  1. 1.Department of Electronic EngineeringUniversity of TokyoTokyoJapan

Personalised recommendations