2007 |
6 | EE | Thanyapat Sakunkonchak,
Satoshi Komatsu,
Masahiro Fujita:
Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction.
ATVA 2007: 553-563 |
2006 |
5 | EE | Thanyapat Sakunkonchak,
Satoshi Komatsu,
Masahiro Fujita:
Synchronization Verification in System-Level Design with ILP Solvers.
IEICE Transactions 89-A(12): 3387-3396 (2006) |
2005 |
4 | EE | 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: 130-133 |
3 | EE | Thanyapat Sakunkonchak,
Satoshi Komatsu,
Masahiro Fujita:
Synchronization verification in system-level design with ILP solvers.
MEMOCODE 2005: 121-130 |
2003 |
2 | EE | 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: 279 |
2002 |
1 | EE | Thanyapat Sakunkonchak,
Masahiro Fujita:
Verification of Event-Based Synchronization of SpecC Description Using Difference Decision Diagrams.
FORTE 2002: 369 |