Cunxi Yu

Identifiers

No identifiers captured yet.

Papers (12)

1. Autonomous Evolution of EDA Tools: Multi-Agent Self-Evolved ABC cs.AR · 2026 · author #1
2. TOPCELL: Topology Optimization of Standard Cell via LLMs cs.LG · 2026 · author #9
3. FVRuleLearner: Operator-Level Reasoning Tree (OP-Tree)-Based Rules Learning for Formal Verification cs.AR · 2026 · author #4
4. Painting on Placement: Forecasting Routing Congestion using Conditional Generative Adversarial Nets cs.LG · 2019 · author #1
5. Spectral Approach to Verifying Non-linear Arithmetic Circuits cs.SC · 2019 · author #1
6. Performance Estimation of Synthesis Flows cross Technologies using LSTMs and Transfer Learning cs.LG · 2018 · author #1
7. Algorithmic Obfuscation over GF($2^m$) cs.CR · 2018 · author #1
8. Developing Synthesis Flows Without Human Knowledge cs.DC · 2018 · author #1
9. Formal Analysis of Galois Field Arithmetics - Parallel Verification and Reverse Engineering cs.SC · 2018 · author #1
10. Advanced Datapath Synthesis using Graph Isomorphism cs.AR · 2017 · author #1
11. Reverse Engineering of Irreducible Polynomials in GF(2^m) Arithmetic cs.SC · 2016 · author #1
12. Efficient Parallel Verification of Galois Field Multipliers cs.SC · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Maciej Ciesielski 5 shared papers
• Haoxing Ren 3 shared papers
• Chia-Tung Ho 2 shared papers
• Daniel Holcomb 2 shared papers
• Andrew Sullivan 1 shared papers
• Ang Li 1 shared papers
• Atif Yasin 1 shared papers
• Chen Chen 1 shared papers
• Deming Chen 1 shared papers
• Giovanni De Micheli 1 shared papers
• Guoheng Sun 1 shared papers
• Houping Xiao 1 shared papers
• Jiaqi Yin 1 shared papers
• Lily Jiaxin Wan 1 shared papers
• Mihir Choudhury 1 shared papers
• Tiankai Su 1 shared papers
• Wang Zhou 1 shared papers
• Yunsheng Bai 1 shared papers
• Yu-Tung Liu 1 shared papers
• Zhan Song 1 shared papers