source: vis_dev/vis-2.1/examples/coherence/p2.ctl @ 14

Last change on this file since 14 was 11, checked in by cecile, 13 years ago

Add vis
File size: 263 bytes
Line 
1# If a cache has exclusive access to a block, then the other cache
2# has no access to that block
3# Property for block 0 owned by cache 1
4AG(((cc1.block_state=EXCLUSIVE) * (cc1.block_add<0> = 1)) ->
5    ((cc2.block_state=INVALID) + ! (cc2.block_add<0> = 1)));
6
7
8
Note: See TracBrowser for help on using the repository browser.