Repos
21
Stars
15
Forks
4
Top Language
C++
Loading contributions...
Top Repositories
Repositories
21No description provided.
Circuit IR Compilers and Tools
No description provided.
C++ logic network library
No description provided.
Meno is a tool that visualizes hierarchical data, such as the sizes of directory trees or synthesized circuit sizes. It can be built into a single, standalone HTML file.
Chisel: A Modern Hardware Design Language
A RISC-V Core (RV32I) written in Chisel HDL
an experiment to run plugin in firtool pipeline
Yosys Open SYnthesis Suite
The specification for the FIRRTL language
Flexible Intermediate Representation for RTL
Library to compile Chisel circuits using LLVM/MLIR (CIRCT)
No description provided.
Docker images for the CIRCT project
No description provided.
OPAM repository for MoCHi
MoCHi: Model Checker for Higher-Order Programs
A generic library to interact with SMT-LIB 2 compliant solvers running in a separate system process, such as Z3 and CVC4.
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.
SMT solver in Egison