ProcKami
by sifive
Kami based processor implementations and specifications
AI summary
Processor simulator
Formal verification and implementation of RISC-V processor designs using Coq.
- stars
- 22
- forks
- 3
- watching
- 62
Similar projects
Found by comparing what the projects do, not just their names.
Hardware designer
A Coq-based DSL for designing and verifying hardware systems
mit-plv/kami143
Hardware specification platform
A platform for high-level parametric hardware specification and modular verification
RISC-V core simulator
Functional verification project for RISC-V cores
RISC-V simulator
An instruction generator for RISC-V processor verification
RISC-V spec
An implementation of the RISC-V instruction set specification in Coq
Hardware design language
A formal language for designing and verifying rule-based hardware systems
RISC-V simulator
A RISC-V processor simulator with SystemC and TLM-2 support for various instruction sets and peripherals.
Program verifier
Automated verification of higher-order programs using separation logic
Computer simulator
An implementation of a complete computer using Nand gates on up as described in the book 'The Elements of Computing Systems'
Coq IDE
An Emacs plugin that enhances Coq mode with various features and tools for writing and debugging proof-based software
Computer builder
An educational project building a formally verified version of the Nand 2 Tetris course using Coq and other formal tools.
RISC-V spec
A comprehensive formal specification of a RISC-V processor architecture using the Sail language
Digital circuit parser simulator
A software framework for parsing and simulating digital circuits described in Verilog and C++ languages.
olofk/serv1.5K
RISC-V CPU
An award-winning RISC-V CPU designed for low-power and area-efficient designs
gem5/gem51.7K
System simulator
A modular simulator for evaluating computer system architectures and designs
