David Ihsin Cheng

Publication Activity (10 Years)

Years Active: 1994-2003
Publications (10 Years): 0

Publications

Yu-Liang Wu, Chak-Chung Cheung, David Ihsin Cheng, Hongbing Fan
Further improve circuit partitioning using GBAW logic perturbation techniques. IEEE Trans. Very Large Scale Integr. Syst. 11 (3) (2003)
Chak-Chung Cheung, Yu-Liang Wu, David Ihsin Cheng
Further improve circuit partitioning using GBAW logic perturbation techniques. DATE (2001)
Yu-Liang Wu, Xiao-Long Yuan, David Ihsin Cheng
Circuit partitioning with coupled logic restructuring techniques. ASP-DAC (2000)
Shih-Chieh Chang, David Ihsin Cheng
Efficient Boolean division and substitution using redundancy addition and removing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (8) (1999)
David Ihsin Cheng, Kwang-Ting Cheng, Deborah C. Wang, Malgorzata Marek-Sadowska
A hybrid methodology for switching activities estimation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17 (4) (1998)
Shih-Chieh Chang, David Ihsin Cheng
Efficient Boolean Division and Substitution. DAC (1998)
David Ihsin Cheng
On Removing Multiple Redundancies in Combinational Circuits. DATE (1998)
Shi-Yu Huang, Kwang-Ting Cheng, Kuang-Chien Chen, David Ihsin Cheng
Error Tracer: A Fault-Simualtion-Based Approach to Design Error Diagnosis. ITC (1997)
David Ihsin Cheng, Kwang-Ting Cheng, Deborah C. Wang, Malgorzata Marek-Sadowska
A New Hybrid Methodology for Power Estimation. DAC (1996)
Chih-Chang Lin, David Ihsin Cheng, Malgorzata Marek-Sadowska, Kuang-Chien Chen
Logic rectification and synthesis for engineering change. ASP-DAC (1995)
David Ihsin Cheng, Chih-Chang Lin, Malgorzata Marek-Sadowska
Circuit partitioning with logic perturbation. ICCAD (1995)
Andreas Kuehlmann, David Ihsin Cheng, Arvind Srinivasan, David P. LaPotin
Error Diagnosis for Transistor-Level Verification. DAC (1994)
Shih-Chieh Chang, David Ihsin Cheng, Malgorzata Marek-Sadowska
Minimizing ROBDD Size of Incompletely Specified Multiple Output Functions. EDAC-ETC-EUROASIC (1994)
David Ihsin Cheng, Malgorzata Marek-Sadowska
On the Verification of Function Equivalence with unknown Input Correspondence. J. Circuits Syst. Comput. 4 (2) (1994)