activity
20232025
most citedThe Dawn of AI-Native EDA: Opportunities and Challenges of Large Circuit Models

21 citations · 28 across the 6 of their papers we have counts for

collaborators

6 papers

cs.AR2025

ForgeEDA: A Comprehensive Multimodal Dataset for Advancing EDA

Zhengyuan Shi, Zeju Li, Chengyu Ma +19

We introduce ForgeEDA, an open-source comprehensive circuit dataset across various categories. ForgeEDA includes diverse circuit representations such as Register Transfer Level (RT…

cs.AR2025

Mixed Structural Choice Operator: Enhancing Technology Mapping with Heterogeneous Representations

Zhang Hu, Hongyang Pan, Yinshui Xia +2

The independence of logic optimization and technology mapping poses a significant challenge in achieving high-quality synthesis results. Recent studies have improved optimization o…

cs.LG2025

DeepCell: Self-Supervised Multiview Fusion for Circuit Representation Learning

Zhengyuan Shi, Chengyu Ma, Ziyang Zheng +7

We introduce DeepCell, a novel circuit representation learning framework that effectively integrates multiview information from both And-Inverter Graphs (AIGs) and Post-Mapping (PM…

cs.LO2024★ 7 cited

Physically Aware Synthesis Revisited: Guiding Technology Mapping with Primitive Logic Gate Placement

Hongyang Pan, Cunqing Lan, Yiting Liu +5

A typical VLSI design flow is divided into separated front-end logic synthesis and back-end physical design (PD) stages, which often require costly iterations between these stages…

cs.AR2024★ 21 cited

The Dawn of AI-Native EDA: Opportunities and Challenges of Large Circuit Models

Lei Chen, Yiqi Chen, Zhufei Chu +36

Within the Electronic Design Automation (EDA) domain, AI-driven solutions have emerged as formidable tools, yet they typically augment rather than redefine existing methodologies.…

cs.LO2023

A Semi-Tensor Product based Circuit Simulation for SAT-sweeping

Hongyang Pan, Ruibing Zhang, Yinshui Xia +4

In recent years, circuit simulators and Boolean satisfiability (SAT) solvers have been tightly integrated to provide efficient logic synthesis and verification. Circuit simulation…