Thanyapat Sakunkonchak

According to our database, Thanyapat Sakunkonchak authored at least 8 papers between 2002 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

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

2007

Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction.

Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Synchronization Verification in System-Level Design with ILP Solvers.

Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2006

2005

System level design language extensions for timed/untimed digital-analog combined system design.

Yu Liu, Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita

Proceedings of the 15th ACM Great Lakes Symposium on VLSI 2005, 2005

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

Field Modifiable Architecture with FPGAs and its Design/Verification/Debugging Methodologies.

Masahiro Fujita, Satoshi Komatsu, Hiroshi Saito, Kenshu Seto, Thanyapat Sakunkonchak, Yoshihisa Kojima

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

2002

An equivalence checking methodology for hardware oriented C-based specifications.

Hiroshi Saito, Takaya Ogawa, Thanyapat Sakunkonchak, Masahiro Fujita, Takashi Nanya

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

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

Thanyapat Sakunkonchak, Masahiro Fujita

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002