uenoku

firtool-standalone-plugin

an experiment to run plugin in firtool pipeline

egison-smt

SMT solver in Egison

chisel

Chisel: A Modern Hardware Design Language

chisel-circt

Library to compile Chisel circuits using LLVM/MLIR (CIRCT)

circt

Circuit IR Compilers and Tools

firrtl

Flexible Intermediate Representation for RTL

firrtl-spec

The specification for the FIRRTL language

fpat

images

Docker images for the CIRCT project

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

MoCHi

MoCHi: Model Checker for Higher-Order Programs

mochi-opam-repository

OPAM repository for MoCHi

perf

rsmt2

A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.

yosys

Yosys Open SYnthesis Suite