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

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

Add vis
File size: 244 bytes
RevLine 
[11]1# Two caches do not have exclusive access to the same block
2
3AG(((cc1.block_state=EXCLUSIVE) * (cc2.block_state=EXCLUSIVE)) ->
4         (((cc1.block_add<0> = 0) *(cc2.block_add<0>=1)+
5          ((cc1.block_add<0> = 1)*(cc2.block_add<0>=0)))));
Note: See TracBrowser for help on using the repository browser.