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: about 1 month 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 6 years ago)
• Default Branch: master
• Last Pushed: 2020-06-08T20:35:12.000Z (over 4 years ago)
• Last Synced: 2024-08-02T01:25:56.145Z (5 months ago)
• Topics: coq, formal-verification, hardware, hardware-designs, riscv, riscv-simulator
• Language: Coq
• Size: 1.75 MB
• Stars: 23
• Watchers: 59
• Forks: 4
• Open Issues: 17
• Metadata Files:
  • License: LICENSE

Awesome Lists containing this project