Real-time multi-task diffractive deep neural networks via hardware-software co-design
Li, Yingjie, Chen, Ruiyang, Sensale-Rodriguez, Berardi, Gao, Weilu, Yu, Cunxi
Published in Scientific reports (26.05.2021)
Published in Scientific reports (26.05.2021)
Get full text
Journal Article
Verification of gate-level arithmetic circuits by function extraction
Ciesielski, Maciej, Cunxi Yu, Brown, Walter, Duo Liu, Rossi, Andre
Published in 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC) (01.06.2015)
Published in 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC) (01.06.2015)
Get full text
Conference Proceeding
Oracle-guided incremental SAT solving to reverse engineer camouflaged logic circuits
Duo Liu, Cunxi Yu, Xiangyu Zhang, Holcomb, Daniel
Published in 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2016)
Get full text
Published in 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01.03.2016)
Conference Proceeding
Journal Article
Reverse engineering of irreducible polynomials in GF(2m) arithmetic
Cunxi Yu, Holcomb, Daniel, Ciesielski, Maciej
Published in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 (01.03.2017)
Published in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 (01.03.2017)
Get full text
Conference Proceeding
DAG-aware logic synthesis of datapaths
Cunxi Yu, Ciesielski, Maciej, Choudhury, Mihir, Sullivan, Andrew
Published in 2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC) (05.06.2016)
Published in 2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC) (05.06.2016)
Get full text
Conference Proceeding
Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers
Tiankai Su, Yasin, Atif, Cunxi Yu, Ciesielski, Maciej
Published in 2018 IEEE International Symposium on Circuits and Systems (ISCAS) (01.05.2018)
Published in 2018 IEEE International Symposium on Circuits and Systems (ISCAS) (01.05.2018)
Get full text
Conference Proceeding
Verification of arithmetic datapath designs using word-level approach - A case study
Cunxi Yu, Brown, Walter, Ciesielski, Maciej
Published in 2015 IEEE International Symposium on Circuits and Systems (ISCAS) (01.05.2015)
Published in 2015 IEEE International Symposium on Circuits and Systems (ISCAS) (01.05.2015)
Get full text
Conference Proceeding
Back pressure prediction of the direct air cooled power generating unit using the artificial neural network model
Du, Xiaoze, Liu, Lihua, Xi, Xinming, Yang, Lijun, Yang, Yongping, Liu, Zhuxin, Zhang, Xuemei, Yu, Cunxi, Du, Jinkui
Published in Applied thermal engineering (01.10.2011)
Published in Applied thermal engineering (01.10.2011)
Get full text
Journal Article
FlowTune: Practical Multi-armed Bandits in Boolean Optimization
Yu, Cunxi
Published in 2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (02.11.2020)
Published in 2020 IEEE/ACM International Conference On Computer Aided Design (ICCAD) (02.11.2020)
Get full text
Conference Proceeding
Fast Algebraic Rewriting Based on And-Inverter Graphs
Yu, Cunxi, Ciesielski, Maciej, Mishchenko, Alan
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.09.2018)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.09.2018)
Get full text
Journal Article
Efficient parallel verification of Galois field multipliers
Cunxi Yu, Ciesielski, Maciej
Published in 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC) (01.01.2017)
Published in 2017 22nd Asia and South Pacific Design Automation Conference (ASP-DAC) (01.01.2017)
Get full text
Conference Proceeding
Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling
Yin, Jiaqi, Yu, Cunxi
Published in 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) (28.10.2023)
Published in 2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD) (28.10.2023)
Get full text
Conference Proceeding
Late Breaking Results: Physical Adversarial Attacks of Diffractive Deep Neural Networks
Li, Yingjie, Yu, Cunxi
Published in 2021 58th ACM/IEEE Design Automation Conference (DAC) (05.12.2021)
Published in 2021 58th ACM/IEEE Design Automation Conference (DAC) (05.12.2021)
Get full text
Conference Proceeding
DAG-Aware Synthesis Orchestration
Li, Yingjie, Liu, Mingju, Ren, Mark, Mishchenko, Alan, Yu, Cunxi
Published in IEEE transactions on computer-aided design of integrated circuits and systems (2024)
Published in IEEE transactions on computer-aided design of integrated circuits and systems (2024)
Get full text
Journal Article
Advanced datapath synthesis using graph isomorphism
Cunxi Yu, Choudhury, Mihir, Sullivan, Andrew, Ciesielski, Maciej
Published in 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2017)
Published in 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2017)
Get full text
Conference Proceeding