F. Lu and Cheng, K. - T. Tim,
“SEChecker: A Sequential Equivalence Checking Framework Based on th Invariants”,
Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, vol. 17, pp. 733–746, 2009.
C. - M. Lo, Huang, T. - C. Jim, Chiang, C. - Y., Hou, J., and Cheng, K. - T. Tim,
“A Portable Multi-pitch e-Drum Based on Printed Flexible Pressure Sensors”, in
Proceedings of the Conference on Design, Automation and Test in Europe, 3001 Leuven, Belgium, Belgium, 2010.
F. Lin and Cheng, K. - T. Tim,
“An Artificial Neural Network Approach for Screening Test Escapes”,
Asia and South Pacific Design Automation Conference (ASP-DAC). Chiba/Tokyo, Japan, 2017.
aspdac17.pdf (810.67 KB) Y. - C. Lin, Lu, F., and Cheng, K. - T. Tim,
“Pseudofunctional testing”,
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol. 25, pp. 1535–1546, 2006.