https://github.com/riscv/sail-riscv

Sail RISC-V model
https://github.com/riscv/sail-riscv

Last synced: 7 days ago
JSON representation

Sail RISC-V model

• Host: GitHub
• URL: https://github.com/riscv/sail-riscv
• Owner: riscv
• License: other
• Created: 2018-11-27T15:24:33.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2024-10-29T08:53:42.000Z (15 days ago)
• Last Synced: 2024-10-29T10:02:57.970Z (15 days ago)
• Language: Coq
• Homepage: https://lists.riscv.org/g/tech-golden-model
• Size: 73.2 MB
• Stars: 453
• Watchers: 45
• Forks: 164
• Open Issues: 154
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md

Awesome Lists containing this project