Travelled to:1 × Germany
2 × France
3 × USA
Collaborated with:S.Chang M.Marek-Sadowska ∅ C.Cheung Y.Wu K.Cheng D.C.Wang A.Kuehlmann A.Srinivasan D.P.LaPotin
Talks about:multipl (2) circuit (2) transistor (1) methodolog (1) substitut (1) incomplet (1) techniqu (1) function (1) diagnosi (1) specifi (1)
Person: David Ihsin Cheng
DBLP: Cheng:David_Ihsin
Contributed to:
2001
19981998199619941994Wrote 6 papers:
- DATE-2001-CheungWC #clustering #logic #using
- Further improve circuit partitioning using GBAW logic perturbation techniques (CCC, YLW, DIC), pp. 233–239.
- DAC-1998-ChangC #performance
- Efficient Boolean Division and Substitution (SCC, DIC), pp. 342–347.
- DATE-1998-Cheng #multi #on the
- On Removing Multiple Redundancies in Combinational Circuits (DIC), pp. 738–742.
- DAC-1996-ChengCWM #estimation #hybrid
- A New Hybrid Methodology for Power Estimation (DIC, KTC, DCW, MMS), pp. 439–444.
- DAC-1994-KuehlmannCSL #fault #verification
- Error Diagnosis for Transistor-Level Verification (AK, DIC, AS, DPL), pp. 218–224.
- EDAC-1994-ChangCM #multi
- Minimizing ROBDD Size of Incompletely Specified Multiple Output Functions (SCC, DIC, MMS), pp. 620–624.