Functional prototype: a simple functional prototype implementation of Capstone, including a compiler, a simulator, and a runtime library that implements several use cases discussed in the paper
Sail model: a model of the ISA specification
written in Sail which can be used to generate a functional simulator and formal definitions suitable for formal reasoning of the specification
Spike-based simulator: a simulator based on Spike useful for exploring the software stack on top of Capstone
QEMU: simulator with higher performance and more complete features; with Caplifive support
Caplifive software: firmware, C-mode software, Linux driver, and demo programs for Caplifive