| protocol "MESI_Three_Level_HTM"; | |
| include "RubySlicc_interfaces.slicc"; | |
| include "MESI_Two_Level-msg.sm"; | |
| include "MESI_Three_Level-msg.sm"; | |
| include "MESI_Three_Level_HTM-L0cache.sm"; | |
| include "MESI_Three_Level-L1cache.sm"; | |
| include "MESI_Two_Level-L2cache.sm"; | |
| include "MESI_Two_Level-dir.sm"; | |
| include "MESI_Two_Level-dma.sm"; |