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