ProcKami
Processor simulator
Formal verification and implementation of RISC-V processor designs using Coq.
Kami based processor implementations and specifications
22 stars
62 watching
3 forks
Language: Coq
last commit: over 4 years ago coqformal-verificationhardwarehardware-designsriscvriscv-simulator
Related projects:
| Repository | Description | Stars |
|---|---|---|
| sifive/kami | A Coq-based DSL for designing and verifying hardware systems | 198 |
 mit-plv/kami | A platform for high-level parametric hardware specification and modular verification | 143 |
 openhwgroup/core-v-verif | Functional verification project for RISC-V cores | 458 |
 chipsalliance/riscv-dv | An instruction generator for RISC-V processor verification | 1,036 |
| mit-plv/riscv-coq | An implementation of the RISC-V instruction set specification in Coq | 110 |
| mit-plv/koika | A formal language for designing and verifying rule-based hardware systems | 143 |
 mariusmm/risc-v-tlm | A RISC-V processor simulator with SystemC and TLM-2 support for various instruction sets and peripherals. | 285 |
| mit-plv/bedrock | Automated verification of higher-order programs using separation logic | 57 |
 havivha/nand2tetris | An implementation of a complete computer using Nand gates on up as described in the book 'The Elements of Computing Systems' | 420 |
 cpitclaudel/company-coq | An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software | 351 |
 philzook58/nand2coq | An educational project building a formally verified version of the Nand 2 Tetris course using Coq and other formal tools. | 54 |
 riscv/sail-riscv | A comprehensive formal specification of a RISC-V processor architecture using the Sail language | 480 |
 kev-cam/v2k-top | A software framework for parsing and simulating digital circuits described in Verilog and C++ languages. | 7 |
 olofk/serv | An award-winning RISC-V CPU designed for low-power and area-efficient designs | 1,457 |
 gem5/gem5 | A modular simulator for evaluating computer system architectures and designs | 1,745 |