Kei-Yong Khoo

39 papers A* 3A 14C 5Journal 5Unranked 12
YearRankTypeTitle / Venue / Authors
2023 A conf
Invited Paper: 2023 ICCAD CAD Contest Problem A: Multi-Bit Large-Scale Boolean Matching.
ICCAD
Chung-Han Chou, Chih-Jen (Jacky) Hsu, Chi-An (Rocky) Wu, Kuan-Hua Tu, Kei-Yong Khoo
2021 A conf
2021 CAD Contest Problem A: Functional ECO with Behavioral Change Guidance Invited Paper.
ICCAD
Yen-Chun Fang, Shao-Lun Huang, Chi-An Wu, Chung-Han Chou, Chih-Jen Hsu, WoeiTzy Jong, Kei-Yong Khoo
2020 A conf
ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk.
ICCAD
Chih-Jen Hsu, Chi-An Wu, Ching-Yi Huang, Kei-Yong Khoo
2019 A conf
2019 CAD Contest: Logic Regression on High Dimensional Boolean Space.
ICCAD
Ching-Yi Huang, Chi-An (Rocky) Wu, Tung-Yuan Lee, Chih-Jen (Jacky) Hsu, Kei-Yong Khoo
2017 A conf
ICCAD-2017 CAD contest in resource-aware patch generation.
ICCAD
Ching-Yi Huang, Chih-Jen Hsu, Chi-An Wu, Kei-Yong Khoo
2016 A conf
ICCAD-2016 CAD contest in non-exact projective NPNP boolean matching and benchmark suite.
ICCAD
Chi-An (Rocky) Wu, Chih-Jen (Jacky) Hsu, Kei-Yong Khoo
2015 A conf
ICCAD-2015 CAD Contest in Large-scale Equivalence Checking and Function Correction and Benchmark Suite.
ICCAD
Chih-Jen Hsu, Chi-An Wu, Wei-Hsun Lin, Kei-Yong Khoo
2015 A* conf
Sequential equivalence checking of clock-gated circuits.
DAC
Yu-Yun Dai, Kei-Yong Khoo, Robert K. Brayton
2014 A conf
ICCAD-2014 CAD contest in simultaneous CNF encoder optimization with SAT solver setting selection and benchmark suite.
ICCAD
Chih-Jen Hsu, Wei-Hsun Lin, Chi-An Wu, Kei-Yong Khoo
2013 A conf
ICCAD-2013 CAD contest in technology mapping for macro blocks and benchmark suite.
ICCAD
Chih-Jen Hsu, Wei-Hsun Lin, Hwei-Tseng Wang, Feng Lu, Kei-Yong Khoo
2012 A conf
ICCAD-2012 CAD contest in finding the minimal logic difference for functional ECO and benchmark suite: CAD contest.
ICCAD
WoeiTzy Jong, Hwei-Tseng Wang, Chengta Hsieh, Kei-Yong Khoo
2008 A conf
Improving Constant-Coefficient Multiplier Verification by Partial Product Identification.
DATE
Chao-Yue Lai, Chung-Yang Huang, Kei-Yong Khoo
2006 — conf
Formal Verifications in Modern Chip Designs.
HLDVT
Kei-Yong Khoo
2005 — conf
Efficient VLSI implementation of N/N integer division.
ISCAS (1)
Kei-Yong Khoo, Alan N. Willson Jr.
2003 J jnl
Optimal joint module-selection and retiming with carry-save representation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Zhan Yu, Kei-Yong Khoo, Alan N. Willson Jr.
2001 J jnl
DUNE-a multilayer gridless routing system.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Jason Cong, Jie Fang, Kei-Yong Khoo
2001 — conf
Design of optimal hybrid form FIR filter.
ISCAS (2)
Kei-Yong Khoo, Zhan Yu, Alan N. Willson Jr.
2000 — conf
DUNE: a multi-layer gridless routing system with wire planning.
ISPD
Jason Cong, Jie Fang, Kei-Yong Khoo
2000 — conf
Efficient implementation of FIR filters using bit-level optimized carry-save additions.
EUSIPCO
Kei-Yong Khoo, Zhan Yu, Alan N. Willson Jr.
2000 — conf
Joint module selection and retiming with carry-save representation.
EUSIPCO
Zhan Yu, Kei-Yong Khoo, Alan N. Willson Jr.
2000 A* conf
The use of carry-save representation in joint module selection and retiming.
DAC
Zhan Yu, Kei-Yong Khoo, Alan N. Willson Jr.
2000 J jnl
Via design rule consideration in multilayer maze routing algorithms.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Jason Cong, Jie Fang, Kei-Yong Khoo
1999 — conf
A CMOS pipelined carry-save array using true single-phase single-transistor-latch clocking.
ISCAS (1)
Kei-Yong Khoo, Chao-Liang Chen, Alan N. Willson Jr.
1999 A conf
An implicit connection graph maze routing algorithm for ECO routing.
ICCAD
Jason Cong, Jie Fang, Kei-Yong Khoo
1999 A conf
Bit-level arithmetic optimization for carry-save additions.
ICCAD
Kei-Yong Khoo, Zhan Yu, Alan N. Willson Jr.
1999 — conf
Improved-Booth encoding for low-power multipliers.
ISCAS (1)
Kei-Yong Khoo, Zhan Yu, Alan N. Willson Jr.
1999 — conf
VIA design rule consideration in multi-layer maze routing algorithms.
ISPD
Jason Cong, Jie Fang, Kei-Yong Khoo
1997 A conf
Interconnect design for deep submicron ICs.
ICCAD
Jason Cong, David Zhigang Pan, Lei He, Cheng-Kok Koh, Kei-Yong Khoo
1996 J jnl
A programmable FIR digital filter using CSD coefficients.
IEEE J. Solid State Circuits
Kei-Yong Khoo, Alan Y. Kwentus, Alan N. Willson Jr.
1996 C conf
Cycle-Based Timing Simulations Using Event-Stream.
ICCD
Kei-Yong Khoo, Alan N. Willson Jr.
1995 C conf
An Improved Polynomial-Time Algorithm for Designing Digital Filters with Power-of-Two Coefficients.
ISCAS
Chao-Liang Chen, Kei-Yong Khoo, Alan N. Willson Jr.
1995 J jnl
An efficient multilayer MCM router based on four-via routing.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Kei-Yong Khoo, Jason Cong
1995 — conf
Charge recovery on a databus.
ISLPD
Kei-Yong Khoo, Alan N. Willson Jr.
1995 — conf
Single-transistor transparent-latch clocking.
ARVLSI
Kei-Yong Khoo, Alan N. Willson Jr.
1994 C conf
Low Power CMOS Clock Buffer.
ISCAS
Kei-Yong Khoo, Alan N. Willson Jr.
1993 A* conf
An Efficient Multilayer MCM Router Based on Four-Via Routing.
DAC
Kei-Yong Khoo, Jason Cong
1993 C conf
An efficient 175 MHz programmable FIR digital filter.
ISCAS
Kei-Yong Khoo, Alan Y. Kwentus, Alan N. Willson Jr.
1992 — conf
A fast multilayer general area router for MCM designs.
EURO-DAC
Kei-Yong Khoo, Jason Cong
1991 C conf
A Provable Near-Optimal Algorithm for the Channel Pin Assignment Problem.
ICCD
Jason Cong, Kei-Yong Khoo