Thanyapat Sakunkonchak

Publication Activity (10 Years)

Years Active: 2002-2008
Publications (10 Years): 0

Publications

Masahiro Fujita, Kenshu Seto, Thanyapat Sakunkonchak
Dependence Graph Based Verification and Synthesis of Hardware/Software Co-Designs with SAT Related Formulation. J. Satisf. Boolean Model. Comput. 5 (1-4) (2008)
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita
Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction. ATVA (2007)
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita
Synchronization Verification in System-Level Design with ILP Solvers. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2006)
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita
Synchronization verification in system-level design with ILP solvers. MEMOCODE (2005)
Yu Liu, Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita
System level design language extensions for timed/untimed digital-analog combined system design. ACM Great Lakes Symposium on VLSI (2005)
Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita
Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2003)
Masahiro Fujita, Satoshi Komatsu, Hiroshi Saito, Kenshu Seto, Thanyapat Sakunkonchak, Yoshihisa Kojima
Field Modifiable Architecture with FPGAs and its Design/Verification/Debugging Methodologies. HICSS (2003)
Thanyapat Sakunkonchak, Masahiro Fujita
Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams. FORTE (2002)
Hiroshi Saito, Takaya Ogawa, Thanyapat Sakunkonchak, Masahiro Fujita, Takashi Nanya
An equivalence checking methodology for hardware oriented C-based specifications. HLDVT (2002)