MaDL is a language to formally model and analyse micro-architectures.
This is the public repository containing tools for the analysis of models written in MaDL.
For more information please contact j.schmaltz@tue.nl.
hendrikdevloed/madl
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|