VeriReason
VeriReason copied to clipboard

Published 3 months ago •

→

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

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

reinforcement-learning

code-generation

verilog

research-paper

verilog-hdl

hardware

hdl

eda

verilog-code

reasoning

llm

large-language-models

testbench-generator-verilog

llama

rlhf

qwen

reasoning-language-models

ai4eda

openr1

verilogeval

Stars

Forks

Watchers

Stars

Forks

Watchers

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