Zobrazeno 1 - 10
of 77
pro vyhledávání: '"Kei-Yong Khoo"'
Autor:
Yen-Chun Fang, Shao-Lun Huang, Chi-An Wu, Chung-Han Chou, Chih-Jen Hsu, WoeiTzy Jong, Kei-Yong Khoo
Publikováno v:
2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c1048f1f1c3c8141a6bbf362b50aa302
https://doi.org/10.1109/iccad51958.2021.9643492
https://doi.org/10.1109/iccad51958.2021.9643492
Publikováno v:
Proceedings of the 39th International Conference on Computer-Aided Design.
Equivalence checking is the practical industrial solution to sign-off digital functionality for large-scale circuits. However, when design contains implicit and explicit X-values, the complexity of equivalence checking increases and heuristics used i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a50766b8bd5cc308cdce7dc5dbee4374
https://doi.org/10.1145/3400302.3415739
https://doi.org/10.1145/3400302.3415739
Publikováno v:
ICCAD
Using sampling patterns is always a powerful method to save efforts for the problems with large input space since it can quickly help identify cases' properties. The meaning behind these sampling results can be informative and useful, but these resul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::807383879d94f6c0887e9832926becb9
https://doi.org/10.1109/iccad45719.2019.8942137
https://doi.org/10.1109/iccad45719.2019.8942137
Publikováno v:
2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ccdbe2904a0d361f5dae938bb49ef184
https://doi.org/10.1109/iccad.2017.8203868
https://doi.org/10.1109/iccad.2017.8203868
Publikováno v:
ICCAD
Boolean Matching is significant to industry applications, such as library binding, synthesis, engineer change order, and hardware Trojan detection. Instead of basic Boolean matching, Non-exact Projective NPNP Boolean Matching allows to match two desi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ef422a9ed5bf03b5d2dedb87c8f1d9fb
https://doi.org/10.1145/2966986.2980072
https://doi.org/10.1145/2966986.2980072
Publikováno v:
2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3ecfb8bdb4772b0f7b04978c892ab438
https://doi.org/10.1109/iccad.2015.7372670
https://doi.org/10.1109/iccad.2015.7372670
Publikováno v:
DAC
Sequential clock-gating can lead to easier equivalence checking problems, compared to the general sequential equivalence checking (SEC) problem. Modern sequential clock-gating techniques introduce control structures to disable unnecessary clocking. T
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4cd78c181c252928ded0adb8156a2454
https://doi.org/10.1145/2744769.2744910
https://doi.org/10.1145/2744769.2744910
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 22:836-846
This paper is the first to combine the joint module-selection and retiming problem with the use of carry-save representation in the optimization of a synchronous circuit. To solve this problem efficiently, we first create a mixed-representation data-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f671cfb8a557342c3ddfcbce75d48452
https://doi.org/10.1109/tcad.2003.814251
https://doi.org/10.1109/tcad.2003.814251
Publikováno v:
2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
Efficiently solving numerous relevant circuit satisfiability (CircuitSAT) problems becomes a crucial industrial topic as the design scale expands. In this topic, we are especially interested in: how to select the best setting of the Boolean satisfiab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a2a7373b88a5ab1edf2adbc408df0257
https://doi.org/10.1109/iccad.2014.7001375
https://doi.org/10.1109/iccad.2014.7001375
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 20:633-647
Advances of very large scale integration technologies present two challenges for routing problems: (1) the higher integration of transistors due to shrinking of featuring size and (2) the requirement for off-grid routing due to the variable-width var
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9f07522825b964d78b7db94b802ffc5f
https://doi.org/10.1109/43.920694
https://doi.org/10.1109/43.920694