wyt2000/CodeV-SVA-8B
Text Generation • 8B • Updated • 4
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 • 2 -
wyt2000/CodeV-SVA-no-think-8B
Text Generation • 8B • Updated • 8 -
wyt2000/CodeV-SVA-no-think-no-dut-8B
Text Generation • 8B • Updated • 4 • 1 -
wyt2000/FVEval-Verified
Preview • Updated • 24 -
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 • 31 • 1