You can deploy this model and start earning money today!

wyt2000/
FVEval-Verified

apache-2.0

Views

No views yet

CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis

Introduction

We introduce CodeV-SVA, a family of large language models designed to translate natural-language verification properties into SystemVerilog Assertions (SVAs). Open-Source Plan:

Model ✓ Evaluation code ✓ Paper Dataset Data synthesis and training code

We employ human experts to recheck FVEval benchmark, correcting or removing… See the full description on the dataset page: https://huggingface.co/datasets/wyt2000/FVEval-Verified.