Dataset · Hugging Face

wyt2000/CodeV-SVA-datasets

Name: CodeV-SVA-datasets
Creator: wyt2000
License: apache-2.0
Keywords: task_categories:text-generation, language:en, license:apache-2.0, size_categories:10K<n<100K, format:json, modality:text, library:datasets, library:pandas, library:polars, library:mlcroissant, arxiv:2603.14239, region:us, SystemVerilog Assertion, Formal Verification

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 This repository includes the original RTL code of CodeV-SVA, the… See the full description on the dataset page: https://huggingface.co/datasets/wyt2000/CodeV-SVA-datasets.

View on Hugging FaceReport an issue

Author / organization	wyt2000
License (as declared)	apache-2.0
Downloads	154 (as reported by Hugging Face)
Likes	1
Created	23 March 2026
Last updated at source	24 March 2026

SystemVerilog AssertionFormal Verification

Embed this entry

<iframe src="https://silytics.si/embed/item/7c16642e-3857-433c-8a38-6c74db93dcd3" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

More from wyt2000

wyt2000/Wave2SVADataset

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 16 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.