BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cheng:David_Ihsin

Contributed to:

DATE 20012001
DAC 19981998
DATE 19981998
DAC 19961996
DAC 19941994

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.