🤏 smolified-verilog-krackhack

Intelligence, Distilled.

This is a Domain Specific Language Model (DSLM) generated by the Smolify Foundry.

It has been synthetically distilled from SOTA reasoning engines into a high-efficiency architecture, optimized for deployment on edge hardware (CPU/NPU) or low-VRAM environments.

📦 Asset Details

• Origin: Smolify Foundry (Job ID: a13d194c)
• Architecture: DSLM-Micro (270M Parameter Class)
• Training Method: Proprietary Neural Distillation
• Optimization: 4-bit Quantized / FP16 Mixed
• Dataset: Link to Dataset

🚀 Usage (Inference)

This model is compatible with standard inference backends like vLLM.

# Example: Running your Sovereign Model
from transformers import AutoModelForCausalLM, AutoTokenizer

model_id = "smolify/smolified-verilog-krackhack"
tokenizer = AutoTokenizer.from_pretrained(model_id)
model = AutoModelForCausalLM.from_pretrained(model_id, device_map="auto")

messages = [
    {'role': 'system', 'content': '''The user will provide a natural language description of a digital circuit. Your task is to generate synthesizable Verilog code for FPGA implementation that accurately reflects the description. Ensure the code is clear, concise, and follows common Verilog coding practices for synthesis.'''},
    {'role': 'user', 'content': '''Design a basic NOT gate using an assign statement. It should take a single bit input 'in_sig' and produce an output 'out_sig'.'''}
]
text = tokenizer.apply_chat_template(
    messages,
    tokenize = False,
    add_generation_prompt = True,
).removeprefix('<bos>')

from transformers import TextStreamer
_ = model.generate(
    **tokenizer(text, return_tensors = "pt").to("cuda"),
    max_new_tokens = 1000,
    temperature = 1, top_p = 0.95, top_k = 64,
    streamer = TextStreamer(tokenizer, skip_prompt = True),
)

⚖️ License & Ownership

This model weights are a sovereign asset owned by smolify. Generated via Smolify.ai.