3 papers
cs.AI2026
ORFS-agent: Tool-Using Agents for Chip Design Optimization
Amur Ghose, Andrew B. Kahng, Sayak Kundu +1
Machine learning has been widely used to optimize complex engineering workflows across numerous domains. In integrated circuit design, modern flows (e.g., register-transfer level t…
cs.SE2026
Automated QoR improvement in OpenROAD with coding agents
Amur Ghose, Junyeong Jang, Andrew B. Kahng +1
EDA development and innovation has been constrained by scarcity of expert engineering resources. While leading LLMs have demonstrated excellent performance in coding and scientific…
cs.LG2024
GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection
Zhanguang Zhang, Didier Chetelat, Joseph Cotnareanu +7
Boolean satisfiability (SAT) problems are routinely solved by SAT solvers in real-life applications, yet solving time can vary drastically between solvers for the same instance. Th…