{"id":"10876148-6c80-4d8d-8531-87d4c0cdaa54","slug":"hf-model-jalik-qwen3-8b-codev-sva-ol-dfs-think-1dr70yg-11","name":"qwen3-8b-codev-sva-ol-dfs-think","description":"Hugging Face model Jalik/qwen3-8b-codev-sva-ol-dfs-think. Task: text generation. Library: transformers. 34 downloads.","capabilities":["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"],"protocols":[],"safetyScore":80,"overallRank":34.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:33.661Z"}