blob: 9818561d66260ad839f4fdfeaa9ad34ceea5b9ec (
plain)
1
2
3
4
5
6
7
8
|
protocol "MOESI_CMP_token";
include "RubySlicc_interfaces.slicc";
include "MOESI_CMP_token-msg.sm";
include "MOESI_CMP_token-L1cache.sm";
include "MOESI_CMP_token-L2cache.sm";
include "MOESI_CMP_token-dir.sm";
include "MOESI_CMP_token-dma.sm";
include "standard_CMP-protocol.sm";
|
