David Ihsin Cheng

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