![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Cunxi Yu
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2024
- [b1]Kaihui Tu, Xifan Tang, Cunxi Yu, Lana Josipovic, Zhufei Chu:
FPGA EDA - Design Principles and Implementation. Springer 2024, ISBN 978-981-99-7754-3, pp. 3-227
Journal Articles
- 2023
- [j8]Walter Lau Neto
, Yingjie Li
, Pierre-Emmanuel Gaillardon
, Cunxi Yu
:
FlowTune: End-to-End Automatic Logic Optimization Exploration via Domain-Specific Multiarmed Bandit. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(6): 1912-1925 (2023) - 2022
- [j7]Yingheng Tang, Jichao Fan, Xinwei Li, Jianzhu Ma
, Minghao Qi
, Cunxi Yu
, Weilu Gao
:
Physics-informed recurrent neural network for time dynamics in optical resonances. Nat. Comput. Sci. 2(3): 169-178 (2022) - 2020
- [j6]Maciej J. Ciesielski
, Tiankai Su, Atif Yasin
, Cunxi Yu
:
Understanding Algebraic Rewriting for Arithmetic Circuit Verification: A Bit-Flow Model. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(6): 1346-1357 (2020) - 2019
- [j5]Cunxi Yu
, Maciej J. Ciesielski:
Formal Analysis of Galois Field Arithmetic Circuits-Parallel Verification and Reverse Engineering. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(2): 354-365 (2019) - 2018
- [j4]Shahrzad Keshavarz
, Cunxi Yu
, Samaneh Ghandali, Xiaolin Xu, Daniel E. Holcomb:
Survey on Applications of Formal Methods in Reverse Engineering and Intellectual Property Protection. J. Hardw. Syst. Secur. 2(3): 214-224 (2018) - [j3]Cunxi Yu
, Maciej J. Ciesielski, Alan Mishchenko:
Fast Algebraic Rewriting Based on And-Inverter Graphs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(9): 1907-1911 (2018) - 2017
- [j2]Cunxi Yu
, Xiangyu Zhang, Duo Liu, Maciej J. Ciesielski, Daniel E. Holcomb:
Incremental SAT-Based Reverse Engineering of Camouflaged Logic Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(10): 1647-1659 (2017) - 2016
- [j1]Cunxi Yu
, Walter Brown, Duo Liu, André Rossi
, Maciej J. Ciesielski:
Formal Verification of Arithmetic Circuits by Function Extraction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(12): 2131-2142 (2016)
Conference and Workshop Papers
- 2024
- [c38]Yingjie Li, Anthony Agnesina, Yanqing Zhang, Haoxing Ren, Cunxi Yu:
BoolGebra: Attributed Graph-Learning for Boolean Algebraic Manipulation. DATE 2024: 1-2 - [c37]Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu:
Differentiable Combinatorial Scheduling at Scale. ICML 2024 - 2023
- [c36]Yingjie Li
, Ruiyang Chen
, Minhan Lou
, Berardi Sensale Rodriguez
, Weilu Gao
, Cunxi Yu
:
LightRidge: An End-to-end Agile Design Framework for Diffractive Optical Neural Networks. ASPLOS (4) 2023: 202-218 - [c35]Ecenur Ustun, Cunxi Yu, Zhiru Zhang:
Equality Saturation for Datapath Synthesis: A Pathway to Pareto Optimality. DAC 2023: 1-2 - [c34]Nan Wu
, Yingjie Li, Cong Hao, Steve Dai, Cunxi Yu, Yuan Xie:
Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks. DAC 2023: 1-6 - [c33]Jiaqi Yin, Yingjie Li, Daniel Robinson, Cunxi Yu:
RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs. DAC 2023: 1-6 - [c32]Shanglin Zhou, Yingjie Li, Minhan Lou, Weilu Gao, Zhijie Shi, Cunxi Yu, Caiwen Ding:
Physics-aware Roughness Optimization for Diffractive Optical Neural Networks. DAC 2023: 1-6 - [c31]Yingjie Li, Mingju Liu, Alan Mishchenko, Cunxi Yu:
Invited Paper: Verilog-to-PyG - A Framework for Graph Learning and Augmentation on RTL Designs. ICCAD 2023: 1-4 - [c30]Zhuoping Yang, Jinming Zhuang, Jiaqi Yin, Cunxi Yu, Alex K. Jones, Peipei Zhou
:
AIM: Accelerating Arbitrary-Precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP. ICCAD 2023: 1-9 - [c29]Jiaqi Yin, Cunxi Yu:
Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling. ICCAD 2023: 1-9 - 2022
- [c28]Ecenur Ustun, Ismail San, Jiaqi Yin, Cunxi Yu
, Zhiru Zhang:
IMpress: Large Integer Multiplication Expression Rewriting for FPGA HLS. FCCM 2022: 1-10 - [c27]Yingjie Li, Ruiyang Chen
, Weilu Gao, Cunxi Yu
:
Physics-Aware Differentiable Discrete Codesign for Diffractive Optical Neural Networks. ICCAD 2022: 7:1-7:9 - [c26]Jiaqi Yin, Zhiru Zhang, Cunxi Yu
:
Exact Memory- and Communication-aware Scheduling of DNNs on Pipelined Edge TPUs. SEC 2022: 203-215 - 2021
- [c25]Walter Lau Neto, Matheus Trevisan Moreira, Luca G. Amarù, Cunxi Yu, Pierre-Emmanuel Gaillardon:
Read your Circuit: Leveraging Word Embedding to Guide Logic Optimization. ASP-DAC 2021: 530-535 - [c24]Walter Lau Neto, Matheus T. Moreira, Yingjie Li, Luca G. Amarù, Cunxi Yu
, Pierre-Emmanuel Gaillardon:
SLAP: A Supervised Learning Approach for Priority Cuts Technology Mapping. DAC 2021: 859-864 - [c23]Yingjie Li, Cunxi Yu
:
Late Breaking Results: Physical Adversarial Attacks of Diffractive Deep Neural Networks. DAC 2021: 1374-1375 - 2020
- [c22]Cunxi Yu
:
FlowTune: Practical Multi-armed Bandits in Boolean Optimization. ICCAD 2020: 130:1-130:9 - [c21]Cunxi Yu
, Wang Zhou:
Decision Making in Synthesis cross Technologies using LSTMs and Transfer Learning. MLCAD 2020: 55-60 - 2019
- [c20]Cunxi Yu, Tiankai Su, Atif Yasin, Maciej J. Ciesielski:
Spectral approach to verifying non-linear arithmetic circuits. ASP-DAC 2019: 261-267 - [c19]Cunxi Yu
, Zhiru Zhang
:
Painting on Placement: Forecasting Routing Congestion using Conditional Generative Adversarial Nets. DAC 2019: 219 - [c18]Ecenur Ustun, Shaojie Xiang, Jinny Gui, Cunxi Yu
, Zhiru Zhang
:
LAMDA: Learning-Assisted Multi-stage Autotuning for FPGA Design Closure. FCCM 2019: 74-77 - 2018
- [c17]Cunxi Yu
, Houping Xiao, Giovanni De Micheli:
Developing synthesis flows without human knowledge. DAC 2018: 50:1-50:6 - [c16]Tiankai Su, Atif Yasin, Cunxi Yu, Maciej J. Ciesielski:
Computer Algebraic Approach to Verification and Debugging of Galois Field Multipliers. ISCAS 2018: 1-5 - [c15]Cunxi Yu
, Chau-Chin Huang, Gi-Joon Nam, Mihir Choudhury, Victor N. Kravets, Andrew Sullivan, Maciej J. Ciesielski, Giovanni De Micheli:
End-to-End Industrial Study of Retiming. ISVLSI 2018: 203-208 - [c14]Cunxi Yu, Heinz Riener, Francesca Stradolini, Giovanni De Micheli:
Generating Safety Guidance for Medical Injection with Three-Compartment Pharmacokinetics Model. ISVLSI 2018: 299-304 - [c13]Cunxi Yu, Atif Yasin, Tiankai Su, Alan Mishchenko, Maciej J. Ciesielski:
Rewriting Environment for Arithmetic Circuit Verification. LPAR 2018: 656-666 - 2017
- [c12]Cunxi Yu, Maciej J. Ciesielski:
Efficient parallel verification of Galois field multipliers. ASP-DAC 2017: 238-243 - [c11]Cunxi Yu
, Daniel E. Holcomb, Maciej J. Ciesielski:
Reverse engineering of irreducible polynomials in GF(2m) arithmetic. DATE 2017: 1558-1563 - [c10]Cunxi Yu, Mihir Choudhury, Andrew Sullivan, Maciej J. Ciesielski:
Advanced datapath synthesis using graph isomorphism. ICCAD 2017: 424-429 - [c9]Tiankai Su, Cunxi Yu, Atif Yasin, Maciej J. Ciesielski:
Formal Verification of Truncated Multipliers Using Algebraic Approach and Re-Synthesis. ISVLSI 2017: 415-420 - 2016
- [c8]Cunxi Yu, Maciej J. Ciesielski, Mihir Choudhury, Andrew Sullivan:
DAG-aware logic synthesis of datapaths. DAC 2016: 135:1-135:6 - [c7]Duo Liu, Cunxi Yu, Xiangyu Zhang, Daniel E. Holcomb:
Oracle-guided incremental SAT solving to reverse engineer camouflaged logic circuits. DATE 2016: 433-438 - [c6]Cunxi Yu, Maciej J. Ciesielski:
Automatic word-level abstraction of datapath. ISCAS 2016: 1718-1721 - [c5]Cunxi Yu, Maciej J. Ciesielski:
Analyzing Imprecise Adders Using BDDs - A Case Study. ISVLSI 2016: 152-157 - [c4]Cunxi Yu, Maciej J. Ciesielski:
Formal Verification Using Don't-Care and Vanishing Polynomials. ISVLSI 2016: 284-289 - 2015
- [c3]Maciej J. Ciesielski, Cunxi Yu, Walter Brown, Duo Liu, André Rossi
:
Verification of gate-level arithmetic circuits by function extraction. DAC 2015: 52:1-52:6 - [c2]Cunxi Yu, Walter Brown, Maciej J. Ciesielski:
Verification of arithmetic datapath designs using word-level approach - A case study. ISCAS 2015: 1862-1865 - [c1]Samaneh Ghandali, Cunxi Yu, Duo Liu, Walter Brown, Maciej J. Ciesielski:
Logic Debugging of Arithmetic Circuits. ISVLSI 2015: 113-118
Informal and Other Publications
- 2024
- [i31]Yingjie Li, Anthony Agnesina, Yanqing Zhang, Haoxing Ren, Cunxi Yu:
BoolGebra: Attributed Graph-learning for Boolean Algebraic Manipulation. CoRR abs/2401.10753 (2024) - [i30]Chenhui Deng, Zichao Yue, Cunxi Yu, Gokce Sarar, Ryan Carey, Rajeev Jain, Zhiru Zhang:
Less is More: Hop-Wise Graph Attention for Scalable and Generalizable Learning on Circuits. CoRR abs/2403.01317 (2024) - [i29]Chen Chen, Guangyu Hu
, Dongsheng Zuo, Cunxi Yu, Yuzhe Ma, Hongce Zhang:
E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis. CoRR abs/2403.14242 (2024) - [i28]Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu:
Differentiable Combinatorial Scheduling at Scale. CoRR abs/2406.06593 (2024) - [i27]Ismail Alkhouri, Cedric Le Denmat, Yingjie Li, Cunxi Yu, Jia Liu, Rongrong Wang, Alvaro Velasquez:
Dataless Quadratic Neural Networks for the Maximum Independent Set Problem. CoRR abs/2406.19532 (2024) - [i26]Mingju Liu, Daniel Robinson, Yingjie Li, Cunxi Yu:
MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning. CoRR abs/2407.18110 (2024) - 2023
- [i25]Nan Wu, Yingjie Li, Cong Hao, Steve Dai, Cunxi Yu, Yuan Xie:
Gamora: Graph Learning based Symbolic Reasoning for Large-Scale Boolean Networks. CoRR abs/2303.08256 (2023) - [i24]Shanglin Zhou, Yingjie Li, Minhan Lou, Weilu Gao, Zhijie Shi, Cunxi Yu, Caiwen Ding:
Physics-aware Roughness Optimization for Diffractive Optical Neural Networks. CoRR abs/2304.01500 (2023) - [i23]Jiaqi Yin, Yingjie Li, Daniel Robinson, Cunxi Yu:
RESPECT: Reinforcement Learning based Edge Scheduling on Pipelined Coral Edge TPUs. CoRR abs/2304.04716 (2023) - [i22]Yingjie Li, Weilu Gao, Cunxi Yu:
Rubik's Optical Neural Networks: Multi-task Learning with Physics-aware Rotation Architecture. CoRR abs/2304.12985 (2023) - [i21]Yingjie Li, Ruiyang Chen, Minhan Lou, Berardi Sensale Rodriguez, Weilu Gao, Cunxi Yu:
LightRidge: An End-to-end Agile Design Framework for Diffractive Optical Neural Networks. CoRR abs/2306.11268 (2023) - [i20]Jiaqi Yin, Cunxi Yu:
Accelerating Exact Combinatorial Optimization via RL-based Initialization - A Case Study in Scheduling. CoRR abs/2308.11652 (2023) - [i19]Zhuoping Yang, Jinming Zhuang, Jiaqi Yin, Cunxi Yu, Alex K. Jones, Peipei Zhou:
AIM: Accelerating Arbitrary-precision Integer Multiplication on Heterogeneous Reconfigurable Computing Platform Versal ACAP. CoRR abs/2309.12275 (2023) - [i18]Yingjie Li, Mingju Liu, Mark Ren, Alan Mishchenko, Cunxi Yu:
DAG-aware Synthesis Orchestration. CoRR abs/2310.07846 (2023) - [i17]Yingjie Li, Mingju Liu, Alan Mishchenko, Cunxi Yu:
Verilog-to-PyG - A Framework for Graph Learning and Augmentation on RTL Designs. CoRR abs/2311.05722 (2023) - 2022
- [i16]Walter Lau Neto, Yingjie Li, Pierre-Emmanuel Gaillardon, Cunxi Yu:
End-to-end Automatic Logic Optimization Exploration via Domain-specific Multi-armed Bandit. CoRR abs/2202.07721 (2022) - [i15]Ruiyang Chen, Yingjie Li, Minhan Lou, Jichao Fan, Yingheng Tang, Berardi Sensale Rodriguez, Cunxi Yu, Weilu Gao:
Physics-aware Complex-valued Adversarial Machine Learning in Reconfigurable Diffractive All-optical Neural Network. CoRR abs/2203.06055 (2022) - [i14]Yingheng Tang, Princess Tara Zamani, Ruiyang Chen, Jianzhu Ma, Minghao Qi, Cunxi Yu, Weilu Gao:
Device-system Co-design of Photonic Neuromorphic Processor using Reinforcement Learning. CoRR abs/2203.06061 (2022) - [i13]Yingjie Li, Ruiyang Chen, Weilu Gao, Cunxi Yu:
Physics-aware Differentiable Discrete Codesign for Diffractive Optical Neural Networks. CoRR abs/2209.14252 (2022) - 2020
- [i12]Qiwei Yuan, Weizhe Hua, Yi Zhou, Cunxi Yu:
Contrastive Weight Regularization for Large Minibatch SGD. CoRR abs/2011.08968 (2020) - [i11]Weilu Gao, Cunxi Yu, Ruiyang Chen:
Artificial Intelligence Accelerators based on Graphene Optoelectronic Devices. CoRR abs/2012.01979 (2020) - [i10]Yingjie Li, Ruiyang Chen, Berardi Sensale Rodriguez, Weilu Gao, Cunxi Yu:
Multi-Task Learning in Diffractive Deep Neural Networks via Hardware-Software Co-design. CoRR abs/2012.08906 (2020) - 2019
- [i9]Cunxi Yu, Tiankai Su, Atif Yasin, Maciej J. Ciesielski:
Spectral Approach to Verifying Non-linear Arithmetic Circuits. CoRR abs/1901.02950 (2019) - [i8]Cunxi Yu, Zhiru Zhang:
Painting on Placement: Forecasting Routing Congestion using Conditional Generative Adversarial Nets. CoRR abs/1904.07077 (2019) - 2018
- [i7]Cunxi Yu, Maciej J. Ciesielski:
Formal Analysis of Galois Field Arithmetics - Parallel Verification and Reverse Engineering. CoRR abs/1802.06870 (2018) - [i6]Cunxi Yu, Houping Xiao, Giovanni De Micheli:
Developing Synthesis Flows Without Human Knowledge. CoRR abs/1804.05714 (2018) - [i5]Cunxi Yu, Daniel E. Holcomb:
Algorithmic Obfuscation over GF(2m). CoRR abs/1809.06207 (2018) - [i4]Cunxi Yu, Wang Zhou:
Performance Estimation of Synthesis Flows cross Technologies using LSTMs and Transfer Learning. CoRR abs/1811.06017 (2018) - 2017
- [i3]Cunxi Yu, Mihir Choudhury, Andrew Sullivan, Maciej J. Ciesielski:
Advanced Datapath Synthesis using Graph Isomorphism. CoRR abs/1708.09597 (2017) - 2016
- [i2]Cunxi Yu, Maciej J. Ciesielski:
Efficient Parallel Verification of Galois Field Multipliers. CoRR abs/1611.05101 (2016) - [i1]Cunxi Yu, Daniel E. Holcomb, Maciej J. Ciesielski:
Reverse Engineering of Irreducible Polynomials in GF(2^m) Arithmetic. CoRR abs/1612.04588 (2016)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 00:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint