CoolFace
Datasetpublic

nickh007/hw-verify

hw-verify β€” a hardware-security verification dataset with controls Every positive example ships beside a deliberately broken counterpart, so a model or tool is graded against controls instead of against itself. Try the checker that generated this data: πŸ”’ hw-verify Space β€” paste Verilog, get a verdict, in your browser, no install. Install pip install datasets 30-second quickstart from datasets import load_dataset rtl =… See the full description on the dataset page: https://huggingface.co/datasets/nickh007/hw-verify.

sourceHugging Faceapache-2.0updated 2mo agoView on Hugging Face
0likes52downloads
discussions and pull requests

Conversations for this repository live on Hugging Face.

CoolFace shows imported repositories read-only. Posting into someone else’s repository from here would need an authorised integration and the account holder’s consent, so the link goes to the source instead.

Open discussions on Hugging Face
nickh007/hw-verify Β· CoolFace