Kei-Yong Khoo

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 6

Top Topics

Benchmark Suite

Propositional Satisfiability

Top Venues

Publications

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