Companion repository for the MICRO article Rigorous Evaluation of Computer Processors with Statistical Model Checking
The statistics library itself. Contains only analytical SPA and SMC methods.
Helpful functions to make using SPA easier. This includes examples for running gem5, extracting data from gem5 stats.txt files, and graphing.
A collection of examples for how to use SPA.
The associated artifact for the MICRO publication https://doi.org/10.1145/3613424.3623785.