Error Diagnosis for Transistor-Level Verification. - Andreas Kuehlmann; David Ihsin Cheng; Arvind Srinivasan 004; David P. LaPotin (DAC, 1994)

Minimizing ROBDD Size of Incompletely Specified Multiple Output Functions. - Shih-Chieh Chang; David Ihsin Cheng; Malgorzata Marek-Sadowska (EDAC-ETC-EUROASIC, 1994)

On the Verification of Function Equivalence with unknown Input Correspondence. - David Ihsin Cheng; Malgorzata Marek-Sadowska (J. Circuits Syst. Comput., 1994)

Logic rectification and synthesis for engineering change. - Chih-Chang Lin; David Ihsin Cheng; Malgorzata Marek-Sadowska; Kuang-Chien Chen (ASP-DAC, 1995)

Circuit partitioning with logic perturbation. - David Ihsin Cheng; Chih-Chang Lin; Malgorzata Marek-Sadowska (ICCAD, 1995)

A New Hybrid Methodology for Power Estimation. - David Ihsin Cheng; Kwang-Ting Cheng; Deborah C. Wang; Malgorzata Marek-Sadowska (DAC, 1996)

Error Tracer: A Fault-Simualtion-Based Approach to Design Error Diagnosis. - Shi-Yu Huang; Kwang-Ting Cheng; Kuang-Chien Chen; David Ihsin Cheng (ITC, 1997)

Efficient Boolean Division and Substitution. - Shih-Chieh Chang; David Ihsin Cheng (DAC, 1998)

On Removing Multiple Redundancies in Combinational Circuits. - David Ihsin Cheng (DATE, 1998)

A hybrid methodology for switching activities estimation. - David Ihsin Cheng; Kwang-Ting Cheng; Deborah C. Wang; Malgorzata Marek-Sadowska (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998)

Efficient Boolean division and substitution using redundancy addition and removing. - Shih-Chieh Chang; David Ihsin Cheng (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

Circuit partitioning with coupled logic restructuring techniques. - Yu-Liang Wu; Xiao-Long Yuan; David Ihsin Cheng (ASP-DAC, 2000)

Further improve circuit partitioning using GBAW logic perturbation techniques. - Chak-Chung Cheung; Yu-Liang Wu; David Ihsin Cheng (DATE, 2001)

Further improve circuit partitioning using GBAW logic perturbation techniques. - Yu-Liang Wu; Chak-Chung Cheung; David Ihsin Cheng; Hongbing Fan (IEEE Trans. Very Large Scale Integr. Syst., 2003)