21 citations · 39 across the 10 of their papers we have counts for
4 papers · 1 filter
DeepSeq2: Enhanced Sequential Circuit Learning with Disentangled Representations
Sadaf Khan, Zhengyuan Shi, Ziyang Zheng +2
Circuit representation learning is increasingly pivotal in Electronic Design Automation (EDA), serving various downstream tasks with enhanced model efficiency and accuracy. One not…
DeepGate3: Towards Scalable Circuit Representation Learning
Zhengyuan Shi, Ziyang Zheng, Sadaf Khan +3
Circuit representation learning has shown promising results in advancing the field of Electronic Design Automation (EDA). Existing models, such as DeepGate Family, primarily utiliz…
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.…
Logic Optimization Meets SAT: A Novel Framework for Circuit-SAT Solving
Zhengyuan Shi, Tiebing Tang, Jiaying Zhu +5
The Circuit Satisfiability (CSAT) problem, a variant of the Boolean Satisfiability (SAT) problem, plays a critical role in integrated circuit design and verification. However, exis…