Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams. - Thanyapat Sakunkonchak; Masahiro Fujita (FORTE, 2002)

An equivalence checking methodology for hardware oriented C-based specifications. - Hiroshi Saito; Takaya Ogawa; Thanyapat Sakunkonchak; Masahiro Fujita; Takashi Nanya (HLDVT, 2002)

Field Modifiable Architecture with FPGAs and its Design/Verification/Debugging Methodologies. - Masahiro Fujita; Satoshi Komatsu; Hiroshi Saito; Kenshu Seto; Thanyapat Sakunkonchak; Yoshihisa Kojima (HICSS, 2003)

Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams. - Thanyapat Sakunkonchak; Satoshi Komatsu; Masahiro Fujita (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003)

System level design language extensions for timed/untimed digital-analog combined system design. - Yu Liu; Thanyapat Sakunkonchak; Satoshi Komatsu; Masahiro Fujita (ACM Great Lakes Symposium on VLSI, 2005)

Synchronization Verification in System-Level Design with ILP Solvers. - Thanyapat Sakunkonchak; Satoshi Komatsu; Masahiro Fujita (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006)

Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction. - Thanyapat Sakunkonchak; Satoshi Komatsu; Masahiro Fujita (ATVA, 2007)

Dependence Graph Based Verification and Synthesis of Hardware/Software Co-Designs with SAT Related Formulation. - Masahiro Fujita; Kenshu Seto; Thanyapat Sakunkonchak (J. Satisf. Boolean Model. Comput., 2008)