Export 158 results:
Author [ Year(Asc)]
G. Parthasarathy, Iyer, M. K., Cheng, K. - T. Tim, and Brewer, F., RTL SAT simplification by boolean and interval arithmetic reasoning, in Proceedings of the 2005 IEEE/ACM International conference on Computer-aided design, 2005, pp. 297–302.
F. Lu and Cheng, K. - T. Tim, Sequential equivalence checking based on K-th invariants and circuit SAT solving, in High-Level Design Validation and Test Workshop, 2005. Tenth IEEE International, 2005, pp. 45–51.
C. H. - P. Wen, Wang, L. - C., Cheng, K. - T. Tim, Yang, K., Liu, W. - T., Chen, J. - J., and , On a software-based self-test methodology and its application, in VLSI Test Symposium, 2005. Proceedings. 23rd IEEE, 2005, pp. 107–113.
K. Yang, Wang, L. - C., Cheng, K. - T. Tim, and Kundu, S., On statistical correlation based path selection for timing validation, in VLSI Design, Automation and Test, 2005.(VLSI-TSA-DAT). 2005 IEEE VLSI-TSA International Symposium on, 2005, pp. 8–11.
G. Parthasarathy, Iyer, M. K., Cheng, K. - T. Tim, and Brewer, F., Structural search for RTL with predicate learning, in Proceedings of the 42nd annual Design Automation Conference, 2005, pp. 451–456.
T. Feng, Wang, L. - C., Cheng, K. - T. Tim, and Lin, C. - C. Andy, Using 2-domain partitioned OBDD data structure in an enhanced symbolic simulator, ACM Transactions on Design Automation of Electronic Systems (TODAES), vol. 10, pp. 627–650, 2005.
C. - T. Wu, Cheng, K. - T. Tim, Zhu, Q., and Wu, Y. - L., Using visual features for anti-spam filtering, in Image Processing, 2005. ICIP 2005. IEEE International Conference on, 2005, vol. 3, p. III–509.
A. Krstic, Lai, W. - C., Cheng, K. - T. Tim, Chen, L., and Dey, S., Embedded software-based self-testing for SoC design, in Proceedings of the 39th annual Design Automation Conference, 2002, pp. 355–360.