21 citations · 36 across the 6 of their papers we have counts for
Showing 2024Show all
3 papers · 1 filter
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.LO2024★ 1 cited
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.CV2024★ 3 cited
Evaluating Text-to-Image Generative Models: An Empirical Study on Human Image Synthesis
Muxi Chen, Yi Liu, Jian Yi +5
In this paper, we present an empirical study introducing a nuanced evaluation framework for text-to-image (T2I) generative models, applied to human image synthesis. Our framework c…