| Developing synthesis flows without human knowledge C Yu, H Xiao, G De Micheli Proceedings of the 55th Annual Design Automation Conference, 1-6, 2018 | 95 | 2018 |
| Verification of gate-level arithmetic circuits by function extraction M Ciesielski, C Yu, W Brown, D Liu, A Rossi Proceedings of the 52nd Annual Design Automation Conference, 1-6, 2015 | 85 | 2015 |
| Incremental SAT-based reverse engineering of camouflaged logic circuits C Yu, X Zhang, D Liu, M Ciesielski, D Holcomb IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017 | 82 | 2017 |
| Painting on placement: Forecasting routing congestion using conditional generative adversarial nets C Yu, Z Zhang Proceedings of the 56th Annual Design Automation Conference 2019, 1-6, 2019 | 81 | 2019 |
| Formal verification of arithmetic circuits by function extraction C Yu, W Brown, D Liu, A Rossi, M Ciesielski IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2016 | 67 | 2016 |
| Fast algebraic rewriting based on and-inverter graphs C Yu, M Ciesielski, A Mishchenko IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2017 | 64 | 2017 |
| Oracle-guided incremental SAT solving to reverse engineer camouflaged logic circuits D Liu, C Yu, X Zhang, D Holcomb 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), 433-438, 2016 | 58 | 2016 |
| Understanding algebraic rewriting for arithmetic circuit verification: a bit-flow model M Ciesielski, T Su, A Yasin, C Yu IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2019 | 49 | 2019 |
| Real-time multi-task diffractive deep neural networks via hardware-software co-design Y Li, R Chen, B Sensale-Rodriguez, W Gao, C Yu Scientific reports 11 (1), 11013, 2021 | 43 | 2021 |
| LAMDA: Learning-assisted multi-stage autotuning for FPGA design closure E Ustun, S Xiang, J Gui, C Yu, Z Zhang 2019 IEEE 27th Annual International Symposium on Field-Programmable Custom …, 2019 | 39 | 2019 |
| Flowtune: Practical multi-armed bandits in boolean optimization C Yu Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020 | 32 | 2020 |
| Logic synthesis meets machine learning: Trading exactness for generalization S Rai, WL Neto, Y Miyasaka, X Zhang, M Yu, Q Yi, M Fujita, GB Manske, ... 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2021 | 30 | 2021 |
| Logic debugging of arithmetic circuits S Ghandali, C Yu, D Liu, W Brown, M Ciesielski 2015 IEEE Computer Society Annual Symposium on VLSI, 113-118, 2015 | 28 | 2015 |
| Decision making in synthesis cross technologies using lstms and transfer learning C Yu, W Zhou Proceedings of the 2020 ACM/IEEE Workshop on Machine Learning for CAD, 55-60, 2020 | 27 | 2020 |
| Physics-informed recurrent neural network for time dynamics in optical resonances Y Tang, J Fan, X Li, J Ma, M Qi, C Yu, W Gao Nature computational science 2 (3), 169-178, 2022 | 24* | 2022 |
| Automatic word-level abstraction of datapath C Yu, M Ciesielski 2016 IEEE International Symposium on Circuits and Systems (ISCAS), 1718-1721, 2016 | 23 | 2016 |
| Efficient parallel verification of galois field multipliers C Yu, M Ciesielski 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC), 238-243, 2017 | 22 | 2017 |
| Read your circuit: leveraging word embedding to guide logic optimization WL Neto, MT Moreira, L Amaru, C Yu, PE Gaillardon Proceedings of the 26th Asia and South Pacific Design Automation Conference …, 2021 | 19 | 2021 |
| Impress: Large integer multiplication expression rewriting for fpga hls E Ustun, I San, J Yin, C Yu, Z Zhang 2022 IEEE 30th Annual International Symposium on Field-Programmable Custom …, 2022 | 17 | 2022 |
| Machine Learning Applications in Electronic Design Automation H Ren, J Hu Springer, 2022 | 17 | 2022 |
