https://github.com/sifive/ProcKami
Kami based processor implementations and specifications
https://github.com/sifive/ProcKami
coq formal-verification hardware hardware-designs riscv riscv-simulator
Last synced: 6 months ago
JSON representation
Kami based processor implementations and specifications
- Host: GitHub
- URL: https://github.com/sifive/ProcKami
- Owner: sifive
- License: apache-2.0
- Created: 2018-06-26T21:22:48.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2020-06-08T20:35:12.000Z (over 5 years ago)
- Last Synced: 2025-04-03T19:51:08.305Z (6 months ago)
- Topics: coq, formal-verification, hardware, hardware-designs, riscv, riscv-simulator
- Language: Coq
- Size: 1.75 MB
- Stars: 22
- Watchers: 60
- Forks: 3
- Open Issues: 17
-
Metadata Files:
- License: LICENSE