Kai Yang

Constraint extraction for pseudo-functional scan-based delay testing

Feng Lu, Kwang-Ting Cheng, Kai Yang, 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..

The SAT Solver C-SAT2

K. Cheng, Kai Yang, 2022 .

Constraint extraction for pseudo-functional scan-based delay testing

Kwang-Ting Cheng, Kai Yang, Feng Lu, 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..

Circuit-SAT based Path-Delay-Fault ATPG-KF-ATPG

K. Cheng, Kai Yang, Lu Feng, 2022 .

Test Pattern Compression for Probabilistic Circuits

Kai-Jie Yang, Chien-Mo James Li, Chih-Ming Chang, 2017, 2017 IEEE 26th Asian Test Symposium (ATS).

TranGen: a SAT-based ATPG for path-oriented transition faults

Kwang-Ting Cheng, Kai Yang, Li-C. Wang, 2004, ASP-DAC 2004: Asia and South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753).