1protocol "MESI_Two_Level"; 2include "RubySlicc_interfaces.slicc"; 3include "MESI_Two_Level-msg.sm"; 4include "MESI_Two_Level-L1cache.sm"; 5include "MESI_Two_Level-L2cache.sm"; 6include "MESI_Two_Level-dir.sm"; 7include "MESI_Two_Level-dma.sm"; 8
1protocol "MESI_Two_Level"; 2include "RubySlicc_interfaces.slicc"; 3include "MESI_Two_Level-msg.sm"; 4include "MESI_Two_Level-L1cache.sm"; 5include "MESI_Two_Level-L2cache.sm"; 6include "MESI_Two_Level-dir.sm"; 7include "MESI_Two_Level-dma.sm"; 8