You can deploy this model and start earning money today!

Pablo-Flores-Mollinedo/
verilog-qwen3.5-9b-v36-agentic-verified-pipeline

Name: verilog-qwen3.5-9b-v36-agentic-verified-pipeline
Availability: InStock

Views

No views yet

Verilog Qwen3.5 v36 verified agentic pipeline

This repository documents the v36 practical verified agentic pipeline for VerilogEval v2 spec-to-RTL.

Important: this is not a new standalone LoRA adapter and not a clean zero-shot single-model pass@1 claim. It is a tool-verified workflow that uses existing adapters plus iverilog/vvp feedback.

Components

text

base:            Qwen/Qwen3.5-9B
primary adapter: Pablo-Flores-Mollinedo/verilog-qwen3.5-9b-v33-thinking-reinforced-lora
repair adapter:  Pablo-Flores-Mollinedo/verilog-qwen3.5-9b-v34-manual-structured-repair-lora
verifier:        iverilog + vvp
max attempts:    5 model calls/problem

Result

text

benchmark:         VerilogEval v2 spec-to-RTL
total:             156
compile:           145/156 = 92.95%
pass:              95/156  = 60.90%
total model calls: 464
avg calls/problem: 2.97

Passes by selected attempt:

text

attempt 1: 58
attempt 2: 17
attempt 3: 14
attempt 4: 5
attempt 5: 1

Comparison

text

v33 clean single adapter:        pass 80/156
v35 long-budget single adapter:  pass 77/156
v29 previous practical pipeline: pass 84/156
v36 verified agentic pipeline:   pass 95/156

Correct reporting

Use:

VerilogEval v2 verified agentic pipeline, max B=5 model calls/problem, pass 95/156.

Do not use:

text

single-adapter pass@1
zero-shot single-model result

Files

text

scripts/run_v36_agentic_verified_pipeline.py
scripts/run_v36_agentic_verified_pipeline.sh
results/direct_summary.json
results/direct_summary_results.jsonl
results/v36_pipeline_config.json

Reproduce

bash

MAX_ATTEMPTS=5 \
MAX_NEW_TOKENS=4096 \
REPAIR_MAX_NEW_TOKENS=4096 \
BUILD=/home/pablo/verilog-eval/build-v36-qwen35-v33-v34-agentic-verified-maxB5 \
bash scripts/run_v36_agentic_verified_pipeline.sh

Pablo-Flores-Mollinedo/verilog-qwen3.5-9b-v36-agentic-verified-pipeline

Verilog Qwen3.5 v36 verified agentic pipeline

Components

Result

Comparison

Correct reporting

Files

Reproduce

Pablo-Flores-Mollinedo/
verilog-qwen3.5-9b-v36-agentic-verified-pipeline