Cunxi Yu - Publications
Affiliations: | 2018-2019 | Cornell University, Ithaca, NY, United States |
Year | Citation | Score | |||
---|---|---|---|---|---|
2020 | Ciesielski M, Su T, Yasin A, Yu C. Understanding Algebraic Rewriting for Arithmetic Circuit Verification: A Bit-Flow Model Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 39: 1346-1357. DOI: 10.1109/Tcad.2019.2912944 | 0.348 | |||
2019 | Yu C, Ciesielski M. Formal Analysis of Galois Field Arithmetic Circuits-Parallel Verification and Reverse Engineering Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 38: 354-365. DOI: 10.1109/Tcad.2018.2808457 | 0.351 | |||
2018 | Yu C, Ciesielski M, Mishchenko A. Fast Algebraic Rewriting Based on And-Inverter Graphs Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 37: 1907-1911. DOI: 10.1109/Tcad.2017.2772854 | 0.32 | |||
2017 | Yu C, Zhang X, Liu D, Ciesielski M, Holcomb D. Incremental SAT-Based Reverse Engineering of Camouflaged Logic Circuits Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 36: 1647-1659. DOI: 10.1109/Tcad.2017.2652220 | 0.353 | |||
2016 | Yu C, Brown W, Liu D, Rossi A, Ciesielski M. Formal Verification of Arithmetic Circuits by Function Extraction Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 35: 2131-2142. DOI: 10.1109/Tcad.2016.2547898 | 0.368 | |||
Show low-probability matches. |