Hardware Verification
3 projects
Showing 3 of 3 projects
SailSail
A language for formally specifying instruction-set architecture (ISA) semantics with tooling for emulators, documentation, and verification.
#isa-specification#theorem-proving#arm-architecture
Stars882
Forks155
Last commit1 day ago
Rapid Open Hardware Development (ROHD) FrameworkDart
A Dart framework for describing and verifying hardware, enabling modern software practices in hardware development.
#hardware-design#hardware-description#open-hardware
Stars481
Forks81
Last commit
F# RISC-V Instruction Set formal specificationF#
A formal and executable RISC-V ISA specification written in F# with a purely functional style, designed for clarity and reference.
#functional-programming#library#simulator
Stars289
Forks14
Last commit
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.