rdaly525

mlir

"Multi-Level Intermediate Representation" Compiler Infrastructure

circt

Circuit IR Compilers and Tools

xls

XLS: Accelerated HW Synthesis

gemmini

Berkeley's Spatial Array Generator

sail

Sail architecture definition language

devito

DSL and compiler framework for automated finite-differences and stencil computation

calyx

Intermediate Language (IL) for Hardware Accelerator Generators

cascade

A Just-In-Time Compiler for Verilog from VMware Research

findiff

Python package for numerical derivatives and partial differential equations in any number of dimensions.

rohd

The Rapid Open Hardware Development (ROHD) framework is a framework for describing and verifying hardware in the Dart programming language.

RapidWright

Build Customized FPGA Implementations for Vivado

berkeley-hardfloat

mockturtle

C++ logic network library

fpga-shells

rsyn-x

Rsyn – An Extensible Physical Synthesis Framework

ahaHLS

An open source high level synthesis (HLS) tool built on top of LLVM

duh

👾 Design ∪ Hardware

hgdb

Hardware generator debugger

pono

Pono: A flexible and extensible SMT-based model checker

kitty

C++ truth table library

evoapproxlib

Library of approximate arithmetic circuits

lorina

C++ parsing library for simple formats used in logic synthesis and formal verification

rv_asm

RISC-V Assembler

Build-18-FPGATetris

We will build Tetris using logic design concepts (Hardware threads, 18-240 Lab 3b) on an Altera FPGA.

perf

magma-session-types-experiments

Experiments with adding session types for hardware using magma

fillomino

Two SMT-based Fillomino solvers

jitsim

units_library_talk

FlashG About Units of Measurement

js_games

Some JavaScript games