source: vis_dev/vis-2.1/examples/coherence/exclusive2.ctl @ 11

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

Add vis
File size: 264 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
4
5AG(((cc1.block_state=EXCLUSIVE) * (cc1.block_add<0> = 0)) ->
6    ((cc2.block_state=INVALID) + ! (cc2.block_add<0> = 0)) );
7
8
Note: See TracBrowser for help on using the repository browser.