Saad Godil

Utilizing Assertion Synthesis to Achieve an Automated Assertion-Based Verification Methodology for Complex Graphics Chip Designs

Yuan Lu, Peter Nelson, Prosenjit Chatterjee, 2010 .

Improving SAT Solver Heuristics with Graph Networks and Reinforcement Learning pdf

Shimon Whiteson, Bryan Catanzaro, Vitaly Kurin, 2019, ArXiv.

CongestionNet: Routing Congestion Prediction Using Deep Graph Neural Networks

Rajarshi Roy, Bryan Catanzaro, Saad Godil, 2019, 2019 IFIP/IEEE 27th International Conference on Very Large Scale Integration (VLSI-SoC).

Optimizing VLSI Implementation with Reinforcement Learning - ICCAD Special Session Paper

Siddhartha Nath, Brucek Khailany, Jonathan Raiman, 2021, 2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD).

PrefixRL: Optimization of Parallel Prefix Circuits using Deep Reinforcement Learning

Bryan Catanzaro, Jonathan Raiman, Stuart Oberman, 2021, 2021 58th ACM/IEEE Design Automation Conference (DAC).

Deep Stalling using a Coverage Driven Genetic Algorithm Framework

Saad Godil, Siddhanth Dhodhi, Debarshi Chatterjee, 2021, 2021 IEEE 39th VLSI Test Symposium (VTS).

Guiding Global Placement With Reinforcement Learning pdf

Bryan Catanzaro, Kolby Nottingham, Saad Godil, 2021, ArXiv.

Improving SAT Solver Heuristics with Graph Networks and Reinforcement Learning pdf

Shimon Whiteson, Bryan Catanzaro, Vitaly Kurin, 2019, ArXiv.