Upload 3B-F2

.gitattributes

@@ -33,3 +33,4 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
 *.zip filter=lfs diff=lfs merge=lfs -text
 *.zst filter=lfs diff=lfs merge=lfs -text
 *tfevents* filter=lfs diff=lfs merge=lfs -text
+tokenizer.json filter=lfs diff=lfs merge=lfs -text

README.md

@@ -0,0 +1,87 @@
+---
+base_model: Qwen/Qwen2.5-Coder-3B-Instruct
+license: other
+license_name: qwen-research
+license_link: https://huggingface.co/Qwen/Qwen2.5-Coder-3B-Instruct/blob/main/LICENSE
+library_name: transformers
+pipeline_tag: text-generation
+datasets:
+- ESCAD/OpenRTLSet
+tags:
+- verilog
+- systemverilog
+- rtl
+- code
+---
+
+# verilog-coder (3B, full fine-tuning)
+
+Qwen/Qwen2.5-Coder-3B-Instruct fine-tuned for Verilog/SystemVerilog generation from a natural-language
+spec (optionally with the module interface). Code, data pipeline, and evaluation harness:
+[https://github.com/Henil-08/verilog-coder-ft](https://github.com/Henil-08/verilog-coder-ft).
+
+## Training data
+
+[OpenRTLSet](https://huggingface.co/datasets/ESCAD/OpenRTLSet): 131k Verilog modules from
+GitHub, each paired with an LLM-written description. After dropping 54.6k fuzzer-generated
+modules, deduplicating, and capping examples at 2048 tokens, 53.7k remain; this run used
+40,000 of them (~93% Verilog, ~7% SystemVerilog). About 30% of
+training prompts describe the ports in prose instead of giving the header as code, which
+keeps the model usable when no header is provided.
+
+The raw corpus contains UVM testbench code in only 3 rows, and none of them survive
+filtering. This model was not trained or evaluated on UVM and makes no claim of UVM
+capability.
+
+## Training setup
+
+- Method: full fine-tuning, 1 epoch, 29,906,052 supervised tokens
+- LR 2e-05 (cosine, 3% warmup), effective batch 64, max length 2048, bf16
+- HF Transformers + PEFT + DeepSpeed ZeRO-2 on 2× H100 (Modal);
+  27 min of training, ~$3.63
+- Loss on the code (assistant) tokens only; final eval loss 0.2705
+- Selected among LoRA/QLoRA/full-fine-tune configs by pass@1 on a validation split, so the
+  test numbers below were not used for model selection.
+
+## Evaluation (pass@1, greedy decoding)
+
+| Benchmark | Base | Fine-tuned | Items gained / lost |
+|---|---|---|---|
+| OpenRTLSet held-out (diff-sim) | 25.6% (101/394, 95% CI 21.6–30.2) | 44.7% (176/394, 95% CI 39.8–49.6) | +81 / -6 (McNemar p<0.001) |
+| VerilogEval v2 spec-to-RTL (published prompts) | 18.6% (29/156, 95% CI 13.3–25.4) | 26.9% (42/156, 95% CI 20.6–34.4) | +21 / -8 (McNemar p=0.024) |
+| VerilogEval v2 + interface code block | 23.1% (36/156, 95% CI 17.2–30.3) | 28.8% (45/156, 95% CI 22.3–36.4) | +20 / -11 (McNemar p=0.150) |
+
+- **OpenRTLSet held-out**: 394 standalone modules not seen in training. A generated module
+  passes if it matches the reference's ports and its outputs equal the reference's on every
+  half-cycle of 500 cycles of random stimulus (Verilator). Random stimulus is evidence of
+  equivalence, not proof.
+- **VerilogEval v2**: the official testbenches and Icarus Verilog v12 pass rule, with this
+  project's chat prompt (scores are not directly comparable to leaderboard numbers that use
+  other prompts).
+
+## Limitations
+
+- Greedy decoding sometimes falls into repetition loops on long modules; about
+  14% of eval outputs hit the 2048-token cap.
+- Trained on single-module completions; multi-module designs and testbenches are out of
+  scope. Not evaluated for synthesis quality, timing, or area.
+
+## Usage
+
+```python
+from transformers import AutoModelForCausalLM, AutoTokenizer
+tok = AutoTokenizer.from_pretrained("henil08/verilog-coder-3b")
+model = AutoModelForCausalLM.from_pretrained("henil08/verilog-coder-3b", dtype="auto", device_map="auto")
+```
+
+Prompt format (system + user), as in training:
+
+```text
+Specification:
+<description>
+
+Module interface:
+```verilog
+module ...(...);
+```
+```

chat_template.jinja

@@ -0,0 +1,54 @@
+{%- if tools %}
+    {{- '<|im_start|>system\n' }}
+    {%- if messages[0]['role'] == 'system' %}
+        {{- messages[0]['content'] }}
+    {%- else %}
+        {{- 'You are Qwen, created by Alibaba Cloud. You are a helpful assistant.' }}
+    {%- endif %}
+    {{- "\n\n# Tools\n\nYou may call one or more functions to assist with the user query.\n\nYou are provided with function signatures within <tools></tools> XML tags:\n<tools>" }}
+    {%- for tool in tools %}
+        {{- "\n" }}
+        {{- tool | tojson }}
+    {%- endfor %}
+    {{- "\n</tools>\n\nFor each function call, return a json object with function name and arguments within <tool_call></tool_call> XML tags:\n<tool_call>\n{\"name\": <function-name>, \"arguments\": <args-json-object>}\n</tool_call><|im_end|>\n" }}
+{%- else %}
+    {%- if messages[0]['role'] == 'system' %}
+        {{- '<|im_start|>system\n' + messages[0]['content'] + '<|im_end|>\n' }}
+    {%- else %}
+        {{- '<|im_start|>system\nYou are Qwen, created by Alibaba Cloud. You are a helpful assistant.<|im_end|>\n' }}
+    {%- endif %}
+{%- endif %}
+{%- for message in messages %}
+    {%- if (message.role == "user") or (message.role == "system" and not loop.first) or (message.role == "assistant" and not message.tool_calls) %}
+        {{- '<|im_start|>' + message.role + '\n' + message.content + '<|im_end|>' + '\n' }}
+    {%- elif message.role == "assistant" %}
+        {{- '<|im_start|>' + message.role }}
+        {%- if message.content %}
+            {{- '\n' + message.content }}
+        {%- endif %}
+        {%- for tool_call in message.tool_calls %}
+            {%- if tool_call.function is defined %}
+                {%- set tool_call = tool_call.function %}
+            {%- endif %}
+            {{- '\n<tool_call>\n{"name": "' }}
+            {{- tool_call.name }}
+            {{- '", "arguments": ' }}
+            {{- tool_call.arguments | tojson }}
+            {{- '}\n</tool_call>' }}
+        {%- endfor %}
+        {{- '<|im_end|>\n' }}
+    {%- elif message.role == "tool" %}
+        {%- if (loop.index0 == 0) or (messages[loop.index0 - 1].role != "tool") %}
+            {{- '<|im_start|>user' }}
+        {%- endif %}
+        {{- '\n<tool_response>\n' }}
+        {{- message.content }}
+        {{- '\n</tool_response>' }}
+        {%- if loop.last or (messages[loop.index0 + 1].role != "tool") %}
+            {{- '<|im_end|>\n' }}
+        {%- endif %}
+    {%- endif %}
+{%- endfor %}
+{%- if add_generation_prompt %}
+    {{- '<|im_start|>assistant\n' }}
+{%- endif %}

config.json

@@ -0,0 +1,69 @@
+{
+  "architectures": [
+    "Qwen2ForCausalLM"
+  ],
+  "attention_dropout": 0.0,
+  "bos_token_id": 151643,
+  "dtype": "bfloat16",
+  "eos_token_id": 151645,
+  "hidden_act": "silu",
+  "hidden_size": 2048,
+  "initializer_range": 0.02,
+  "intermediate_size": 11008,
+  "layer_types": [
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention",
+    "full_attention"
+  ],
+  "max_position_embeddings": 32768,
+  "max_window_layers": 36,
+  "model_type": "qwen2",
+  "num_attention_heads": 16,
+  "num_hidden_layers": 36,
+  "num_key_value_heads": 2,
+  "pad_token_id": 151643,
+  "rms_norm_eps": 1e-06,
+  "rope_parameters": {
+    "rope_theta": 1000000.0,
+    "rope_type": "default"
+  },
+  "sliding_window": null,
+  "tie_word_embeddings": true,
+  "transformers_version": "5.20.1",
+  "use_cache": false,
+  "use_sliding_window": false,
+  "vocab_size": 151936
+}

generation_config.json

@@ -0,0 +1,14 @@
+{
+  "bos_token_id": 151643,
+  "do_sample": true,
+  "eos_token_id": [
+    151645,
+    151643
+  ],
+  "pad_token_id": 151643,
+  "repetition_penalty": 1.05,
+  "temperature": 0.7,
+  "top_k": 20,
+  "top_p": 0.8,
+  "transformers_version": "5.20.1"
+}

model.safetensors

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:224cb5a4d86a87f2bf34cb2061299cd36b52666a866b3f78a212475d237377ff
+size 6794257120

tokenizer.json

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:3fd169731d2cbde95e10bf356d66d5997fd885dd8dbb6fb4684da3f23b2585d8
+size 11421892

tokenizer_config.json

@@ -0,0 +1,30 @@
+{
+  "add_prefix_space": false,
+  "backend": "tokenizers",
+  "bos_token": null,
+  "clean_up_tokenization_spaces": false,
+  "eos_token": "<|im_end|>",
+  "errors": "replace",
+  "extra_special_tokens": [
+    "<|im_start|>",
+    "<|im_end|>",
+    "<|object_ref_start|>",
+    "<|object_ref_end|>",
+    "<|box_start|>",
+    "<|box_end|>",
+    "<|quad_start|>",
+    "<|quad_end|>",
+    "<|vision_start|>",
+    "<|vision_end|>",
+    "<|vision_pad|>",
+    "<|image_pad|>",
+    "<|video_pad|>"
+  ],
+  "is_local": false,
+  "local_files_only": false,
+  "model_max_length": 32768,
+  "pad_token": "<|endoftext|>",
+  "split_special_tokens": false,
+  "tokenizer_class": "Qwen2Tokenizer",
+  "unk_token": null
+}