Hugging Face model: Jalik/qwen3-8b-codev-sva-ol-dfs-think
Author: Jalik
Created: 2026-08-10 16:46:53
Last modified: 2026-08-10 16:56:06
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 0
Tags: transformers, safetensors, qwen3, text-generation, systemverilog, sva, assertion-generation, formal-verification, eda, nl2sva, reasoning, conversational, en, base_model:Qwen/Qwen3-8B, base_model:finetune:Qwen/Qwen3-8B, license:apache-2.0, text-generation-inference, endpoints_compatible, region:us
Base model relation: finetune
Base models: id: Qwen/Qwen3-8B
Card metadata:
license: apache-2.0
base_model: Qwen/Qwen3-8B
library_name: transformers
pipeline_tag: text-generation
language: en
tags: systemverilog, sva, assertion-generation, formal-verification, eda, nl2sva, reasoning