Gain an understanding of the fundamentals of Very Large-Scale Integration (VLSI), including how the theories and concepts can be applied in the design of simple logic circuits and in the physical i…

egraphs + datalog!

Modern music player written in Rust using GPUI with a focus on design and performance

A chronologically sorted list of influential papers on compiler optimization, from the seminal works of 1952 through the advanced techniques of 1994

Research paper based on or related to ABC.

MLIR+EqSat

OCaml reading group at IIT Madras

Master programming by recreating your favorite technologies from scratch.

Digital Design with Chisel

Logic optimization and technology mapping tool.

A C++ library to describe geometrical objects and their physical or non-physical properties.

A C++ Header-Only Hierarchical State Tree Library

GPU-based logic synthesis tool

A High-performance Timing Analysis Tool for VLSI Systems

E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)

A GPU acceleration flow for RTL simulation with batch stimulus

LLM Evaluation Benchmark on Hardware Formal Verification

A tool for synthesizing Verilog programs

high-performance RTL simulator

Artificial Netlist Generator

Live Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation

An experimental optimizing compiler for Bril using egglog

An In-browser PDF Compressor

Opensource DDR3 Controller

A JDBC Driver For Redash

The original high performance and small footprint system-on-chip based on Migen™