#

cache-coherence

Here is 1 public repository matching this topic...

mit-plv / hemiola

A Coq framework to support structural design and proof of hardware cache-coherence protocols

coq proof-assistant domain-specific-language cache-coherence hardware-verification

Updated May 7, 2022
Coq

Improve this page

Add a description, image, and links to the cache-coherence topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cache-coherence topic, visit your repo's landing page and select "manage topics."