☰

Cunxi Yu - Publications

Affiliations: 
2018-2019 Cornell University, Ithaca, NY, United States 
Tree Info Similar researchers PubMed Report error

5 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

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.