Popular repositories Loading

1. Kami Kami Public

   Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older versio…

   Coq 8

2. SeqConsistency SeqConsistency Public

   Coq 7

3. StructuralSpec StructuralSpec Public

   Structural Spec parser based on Bluespec

   Bluespec 4 1

4. VerilogParser VerilogParser Public

   Limited Verilog Parser

   Haskell 2

5. RiscvSpecFormal RiscvSpecFormal Public

   The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor mo…

   Haskell 2

6. ProcKami ProcKami Public

   Kami based processor implementations and specifications

   Coq 2