Official repository of the AWS EC2 FPGA Hardware and Software Development Kit

An open source CPU design and verification platform for academia

Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.

Copilot Chat extension for VS Code

UNSUPPORTED INTERNAL toolchain builds

Functional verification project for the CORE-V family of RISC-V cores.

wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.

Python wrapper for verilator model

A tool for synthesizing Verilog programs

WAL enables programmable waveform analysis.

Parse FSDB waveform files

All in one vscode plugin for HDL development

HAL – The Hardware Analyzer

Klavis AI (YC X25): Open Source MCP integration for AI applications

Structural Netlist API (and more) for EDA post synthesis flow development

FPGA synthesis tool powered by equality saturation and program synthesis.

FPGA synthesis tool powered by program synthesis

End-to-end synthesis and P&R toolchain

Test suite designed to check compliance with the SystemVerilog standard.

Waveform Viewer Extension for VScode

This project aims to be a collaborative effort to collect under one roof all the memristor models published to date.

The official Python SDK for Model Context Protocol servers and clients

ABC: System for Sequential Logic Synthesis and Formal Verification

⏩ Create, share, and use custom AI code assistants with our open-source IDE extensions and hub of models, rules, prompts, docs, and other building blocks

The TypeScript AI agent framework. ⚡ Assistants, RAG, observability. Supports any LLM: GPT-4, Claude, Gemini, Llama.

Bring back Clippy on Windows 10/11!