wyt2000/CodeV-SVA-8B
Text Generation • 8B • Updated • 31
CodeV-SVA
CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis
-
-
wyt2000/CodeV-SVA-14B
Text Generation • 15B • Updated • 39 -
wyt2000/CodeV-SVA-no-think-8B
Text Generation • 8B • Updated • 22 -
wyt2000/CodeV-SVA-no-think-no-dut-8B
Text Generation • 8B • Updated • 24 • 1 -
wyt2000/FVEval-Verified
Preview • Updated • 29 -
QiMeng-CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis
Paper • 2603.14239 • Published -
wyt2000/CodeV-SVA-datasets
Viewer • Updated • 83.2k • 167 • 1