KrystalDelusion

KrystalDelusion's Stars

• YosysHQ/yosys

  Yosys Open SYnthesis Suite

  Language:C++3.6k1371.8k895

• rems-project/sail

  Sail architecture definition language

  Language:Isabelle65136343119

• zachjs/sv2v

  SystemVerilog to Verilog conversion

  Language:Haskell5791728256

• riscv/sail-riscv

  Sail RISC-V model

  Language:Coq48945251172

• YosysHQ/mau

  Modular Application Utilities

  Language:Python51113

• YosysHQ/scy

  Sequence of Covers with Yosys

  Language:SystemVerilog51331