Inference Engine for SiliconMind-V1 Verilog Coding Models
☆49Jun 2, 2026Updated 3 months ago
Alternatives and similar repositories for SiliconMind-V1
Users that are interested in SiliconMind-V1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AI-Powered Hardware Design & Verification Copilot - Plugin for your CLI☆22Jul 12, 2026Updated last month
- Computer-Aided VLSI System Design☆26Oct 24, 2024Updated last year
- Contract-Aware RTL Code Generation Agents with Temporal Tracing, Slicing and Formal Verification☆24Jan 28, 2026Updated 7 months ago
- ☆57Jan 6, 2026Updated 8 months ago
- Cluster-level matrix unit integration into GPUs, implemented in Chipyard SoC☆62Jan 20, 2026Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆15Jun 24, 2025Updated last year
- LLM Agent for Hardware Description Language☆23Jun 7, 2025Updated last year
- Professor: C.H. Yang☆10Aug 16, 2025Updated last year
- Hand Writing Digital Recognization Based on FPGA, we desiged a SoC embeded a Cortex M3 core and other peripherals，this SoC run a CNN. The…☆14Mar 30, 2023Updated 3 years ago
- A Rocket-Chip with a Dynamically Randomized LLC☆13Sep 18, 2024Updated last year
- Instruction and files for porting Arm DesignStart to CW305.☆17Dec 6, 2023Updated 2 years ago
- ☆14Jan 4, 2023Updated 3 years ago
- A 4x4 Weight Stationary Systolic Array Implementation☆15Oct 16, 2023Updated 2 years ago
- The code about TC-Bench and CircuitMind☆17Jun 7, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 丁建均老師的"時頻分析和小波轉換"作業(TFW)☆12Jan 18, 2024Updated 2 years ago
- wavedrom to verilog converter☆18Sep 14, 2021Updated 4 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 3 years ago
- Connecting bv_decide to SMTLIB.☆17Aug 27, 2026Updated last week
- [IJCAI 2024] QiMeng-CPU-v1: Automated CPU Design by Learning from Input-Output Examples☆35May 4, 2025Updated last year
- [ICLR 2024]: Is Self-Repair a Silver Bullet for Code Generation?☆15May 2, 2024Updated 2 years ago
- Agent skill for AMD/Xilinx Vitis HLS generation and FPGA design workflows.☆27Aug 14, 2026Updated 3 weeks ago
- NHITW_cloud_analyzer_react_MUI☆17Jul 10, 2026Updated last month
- ☆53Dec 10, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Replace arXiv links by their corresponding bibliography in markdowns / Notion database☆23Apr 15, 2025Updated last year
- a Computing In Memory emULATOR framework☆16May 19, 2024Updated 2 years ago
- ☆18Mar 4, 2026Updated 6 months ago
- ☆16May 6, 2026Updated 4 months ago
- RISC-V CPU Labs in Chisel☆80Jan 31, 2026Updated 7 months ago
- [CVPR2024] NTO3D: Neural Target Object 3D Reconstruction with Segment Anything☆24Apr 2, 2025Updated last year
- Equivalence checking with Yosys☆62Updated this week
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 7 years ago
- ☆16Dec 12, 2020Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Wolfenstein 3D-style raycasting implementation☆53Mar 22, 2026Updated 5 months ago
- MLIR-in as a compiler stack for ucb-bar☆19Updated this week
- ☆14Sep 7, 2024Updated 2 years ago
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- Schematic, Layout Design & Simulation in 180nm Technology☆23Nov 21, 2020Updated 5 years ago
- IC-contest 2012~2024☆26Apr 30, 2024Updated 2 years ago
- A Minimal Agent for Automated Theorem Proving☆50Updated this week