Search Results - Kei-Yong Khoo

Refine Results
  1. 1
    Invited Paper: 2023 ICCAD CAD Contest Problem A: Multi-Bit Large-Scale Boolean Matching

    Invited Paper: 2023 ICCAD CAD Contest Problem A: Multi-Bit Large-Scale Boolean Matching by Chou, Chung-Han, Hsu, Chih-Jen Jacky, Wu, Chi-An Rocky, Tu, Kuan-Hua, Khoo, Kei-Yong

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    ICCAD-2016 CAD contest in Non-exact Projective NPNP Boolean Matching and benchmark suite

    ICCAD-2016 CAD contest in Non-exact Projective NPNP Boolean Matching and benchmark suite by Chi-An Wu, Chih-Jen Hsu, Kei-Yong Khoo

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    Sequential equivalence checking of clock-gated circuits

    Sequential equivalence checking of clock-gated circuits by Yu-Yun Dai, Kei-Yong Khoo, Brayton, Robert K.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk

    ICCAD-2020 CAD Contest in X-value Equivalence Checking and Benchmark Suite : Invited Talk by Hsu, Chih-Jen, Wu, Chi-An, Huang, Ching-Yi, Khoo, Kei-Yong

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    DUNE-a multilayer gridless routing system

    DUNE-a multilayer gridless routing system by Cong, J., Jie Fang, Kei-Yong Khoo

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    2019 CAD Contest: Logic Regression on High Dimensional Boolean Space

    2019 CAD Contest: Logic Regression on High Dimensional Boolean Space by Huang, Ching-Yi, Wu, Chi-An Rocky, Lee, Tung-Yuan, Hsu, Chih-Jen Jacky, Khoo, Kei-Yong

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  7. 7
    Formal Verifications in Modern Chip Designs

    Formal Verifications in Modern Chip Designs by Kei-Yong Khoo

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Optimal joint module-selection and retiming with carry-save representation

    Optimal joint module-selection and retiming with carry-save representation by Zhan Yu, Kei-Yong Khoo, Willson, A.N.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    A programmable FIR digital filter using CSD coefficients

    A programmable FIR digital filter using CSD coefficients by Kei-Yong Khoo, Kwentus, A., Willson, A.N.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  10. 10
    Via design rule consideration in multilayer maze routing algorithms

    Via design rule consideration in multilayer maze routing algorithms by Cong, Jason, Fang, Jie, Khoo, Kei-Yong

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  11. 11
    Use of carry-save representation in joint module selection and retiming

    Use of carry-save representation in joint module selection and retiming by Yu, Zhan, Khoo, Kei-Yong, Willson, Alan N

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  12. 12
    An efficient multilayer MCM router based on four-via routing

    An efficient multilayer MCM router based on four-via routing by KEI-YONG KHOO, CONG, J

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    Improving Constant-Coefficient Multiplier Verification by Partial Product Identification

    Improving Constant-Coefficient Multiplier Verification by Partial Product Identification by Chao-Yue Lai, Chung-Yang Huang, Kei-Yong Khoo

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  14. 14
    ICCAD-2017 CAD contest in resource-aware patch generation

    ICCAD-2017 CAD contest in resource-aware patch generation by Ching-Yi Huang, Chih-Jen Hsu, Chi-An Wu, Kei-Yong Khoo

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  15. 15
    Interconnect design for deep submicron ICs

    Interconnect design for deep submicron ICs by Cong, Jason, Pan, Zhigang, He, Lei, Koh, Cheng-Kok, Khoo, Kei-Yong

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  16. 16
    An implicit connection graph maze routing algorithm for ECO routing

    An implicit connection graph maze routing algorithm for ECO routing by Cong, J., Jie Fang, Kei-Yong Khoo

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  17. 17
    Efficient VLSI implementation of N/N integer division

    Efficient VLSI implementation of N/N integer division by Kei-Yong Khoo, Willson, A.N.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  18. 18
    ICCAD-2014 CAD contest in simultaneous CNF encoder optimization with SAT solver setting selection and benchmark suite: Special session paper: CAD contest

    ICCAD-2014 CAD contest in simultaneous CNF encoder optimization with SAT solver setting selection and benchmark suite: Special session paper: CAD contest by Chih-Jen Hsu, Wei-Hsun Lin, Chi-An Wu, Kei-Yong Khoo

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  19. 19
    ICCAD-2013 CAD contest in technology mapping for macro blocks and benchmark suite

    ICCAD-2013 CAD contest in technology mapping for macro blocks and benchmark suite by Chih-Jen Hsu, Wei-Hsun Lin, Hwei-Tseng Wang, Feng Lu, Kei-Yong Khoo

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  20. 20
    Bit-level arithmetic optimization for carry-save additions

    Bit-level arithmetic optimization for carry-save additions by Kei Yong Khoo, ZhanYu, Willson, A.N.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: