ArchSem

https://github.com/rems-project/archsem

ArchSem is a Rocq framework for defining formal semantics of CPU architectures like Arm-A, RISC-V,...

Tokens:11,077
Snippets:118
Trust Score:9.3
License:BSD-2-Clause
Update:2 months ago
Tokens:
Raw