K. Cheng

A Signal Correlation Guided ATPG solver and its applications for solving difficult industrial cases

Feng Lu, L. Wang, K. Cheng, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

SATORI-a fast sequential SAT engine for circuits

K. Cheng, M. K. Iyer, G. Parthasarathy, 2003, ICCAD-2003. International Conference on Computer Aided Design (IEEE Cat. No.03CH37486).

[18] S.-Y. Huang, K.-C. Chen, and K.-T. Cheng, rror Correction Based on Verification Techniques, Proc. of Design

R. Brayton, K. Cheng, D. Pradhan, 2022 .

A Power Efficient Test Data Compression Method on Count Compatible PRL Coding

Kun Guo, Xun Sun, Haiying Yuan, 2015, J. Circuits Syst. Comput..