2 papers
cs.LO2025
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…
cs.AR2024
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…