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

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

Last synced: about 2 months 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-07-29T15:13:24.000Z (about 2 months ago)
• Last Synced: 2024-07-31T01:19:29.275Z (about 2 months ago)
• Language: Coq
• Homepage: https://lists.riscv.org/g/tech-golden-model
• Size: 73 MB
• Stars: 412
• Watchers: 45
• Forks: 151
• Open Issues: 136
• Metadata Files:
  • Readme: README.md
  • Contributing: CONTRIBUTING.md

Awesome Lists containing this project