ai4eda topic

List ai4eda repositories

VeriReason

17
Stars
3
Forks
17
Watchers

This is the Github Repo for the paper: VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation