Stars
Ibex is a small 32-bit RISC-V CPU core with high-level of verification (previously known as zero-riscy)
nidhilawange / btor2-opt
Forked from dobios/btor2-optBtor2 parser, circuit mitter, and code optimizer
CIRCT and Yosys interoperability, demonstrated with CHISEL
Animated sprite editor & pixel art tool (Windows, macOS, Linux)
Silice is an easy-to-learn, powerful hardware description language, that simplifies designing hardware algorithms with parallelism and pipelines.
design and verification of asynchronous circuits
The Task Parallel System Composer (TaPaSCo)
Formal specification and verification of hardware, especially for security and privacy.
Btor2-Research-Group / circtMemory
Forked from llvm/circtCircuit IR Compilers and Tools with memory support
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
An experiment in hardware accelerated DSLs and parallel algorithms for signal processing applications.
High level synthesis language for hardware design
Haskell to VHDL/Verilog/SystemVerilog compiler
A Hardware Description Language based on the Rust Programming Language