In the file MESI_CMP_filter_directory-L2cache.sm,there are lots of actions,and almost each action has a parameter "address",for example as follows,
// ACTIONS
action(a_issueFetchToMemory, "a", desc="fetch data from memory") {
peek(L1RequestIntraChipL2Network_in, RequestMsg) {
enqueue(DirRequestIntraChipL2Network_out, RequestMsg, latency="L2_REQUEST_LATENCY") {
out_msg.Address := address;
out_msg.PhysicalAddress := in_msg.PhysicalAddress;
out_!
msg.Type := CoherenceRequestType:GETS;
out_msg.Requestor := machineID;
out_msg.Destination.add(map_Address_to_Directory(address));
out_msg.MessageSize := MessageSizeType:Co! ntrol;
}
}
}