Kai Yang

Constraint extraction for pseudo-functional scan-based delay testing

Yung‐Chieh Lin, Feng Lu, Kai Yang et al. · 2005 · 82 citations

Mathematical Programming, Engineering, Verification +18

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

Kai Yang, Kwang‐Ting Cheng, Li-C. Wang · Asia and South Pacific Design Automation Conference · 2004 · 61 citations

Engineering, Hardware Verification Language, Verification +19

Constraint extraction for pseudo-functional scan-based delay testing

Yung‐Chieh Lin, Feng Lu, Kai Yang et al. · Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005. · 2005 · 57 citations

Mathematical Programming, Engineering, Verification +18

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

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

Engineering, Hardware Verification Language, Verification +19

Damage detection in a laboratory wind turbine blade using techniques of ultrasonic NDT and SHM

Kai Yang, J.A. Rongong, Keith Worden · Strain · 2018 · 40 citations

Engineering, Mechanical Engineering, Acoustic Sensor +18