Cache coherence verification: exhaustive MESI protocol model checking, a 4-core snoopy RTL cluster, litmus tests judged against an exhaustive sequential-consistency oracle, and mutation-qualified checkers.
mutation-testing verilog model-checking systemverilog computer-architecture icarus-verilog cache-coherence functional-verification memory-consistency design-verification mesi-protocol rtl-design functional-coverage sequential-consistency litmus-tests
-
Updated
Aug 15, 2026 - Python