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
3 × USA
Collaborated with:
J.Cong Y.Dai R.K.Brayton C.Lai C.Huang Z.Yu A.N.W.Jr.
Talks about:
represent (1) sequenti (1) multipli (1) multilay (1) constant (1) coeffici (1) product (1) partial (1) identif (1) equival (1)

Person: Kei-Yong Khoo

DBLP DBLP: Khoo:Kei=Yong

Contributed to:

DAC 20152015
DATE 20082008
DAC 20002000
DAC 19931993

Wrote 4 papers:

DAC-2015-DaiKB #equivalence
Sequential equivalence checking of clock-gated circuits (YYD, KYK, RKB), p. 6.
DATE-2008-LaiHK #identification #multi #verification
Improving Constant-Coefficient Multiplier Verification by Partial Product Identification (CYL, CYH, KYK), pp. 813–818.
DAC-2000-YuKW #representation #using
The use of carry-save representation in joint module selection and retiming (ZY, KYK, ANWJ), pp. 768–773.
DAC-1993-KhooC #multi #performance
An Efficient Multilayer MCM Router Based on Four-Via Routing (KYK, JC), pp. 590–595.

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.