| Developing synthesis flows without human knowledge C Yu, H Xiao, G De Micheli Proceedings of the 55th Annual Design Automation Conference, 1-6, 2018 | 108 | 2018 |
| 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 | 92 | 2019 |
| 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 | 83 | 2017 |
| 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 | 73 | 2017 |
| 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 | 72 | 2016 |
| 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 | 62 | 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 | 53 | 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 | 51 | 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 | 46 | 2019 |
| 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 | 40 | 2021 |
| 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 | 38* | 2022 |
| 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 | 36 | 2020 |
| Flowtune: Practical multi-armed bandits in boolean optimization C Yu Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020 | 36 | 2020 |
| 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 | 31 | 2015 |
| Machine learning applications in electronic design automation H Ren, J Hu Springer, 2022 | 28 | 2022 |
| Gamora: Graph learning based symbolic reasoning for large-scale boolean networks N Wu, Y Li, C Hao, S Dai, C Yu, Y Xie 2023 60th ACM/IEEE Design Automation Conference (DAC), 1-6, 2023 | 26* | 2023 |
| Physics‐Aware Machine Learning and Adversarial Attack in Complex‐Valued Reconfigurable Diffractive All‐Optical Neural Network R Chen, Y Li, M Lou, J Fan, Y Tang, B Sensale‐Rodriguez, C Yu, W Gao Laser & Photonics Reviews 16 (12), 2200348, 2022 | 25* | 2022 |
| 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 | 25 | 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 | 24 | 2022 |
