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

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

Add vis
File size: 400 bytes
Line 
1#The directory contains information about the cache content
2#that is coherent with the information in the cache controller
3# If the block is in state EXCLUSIVE in the cache controller, its corresponding
4# bit is set in the Wlist of the directory
5# FAILS
6AG(((cc1.cache_req = blk_rreq)*(direc.arbiter_state = ONE)*(cc1.blk_add<0>=0)*(direc.cache_Wlist2<*0*> = 1)) -> (cc2.block_state = EXCLUSIVE));
7
8
Note: See TracBrowser for help on using the repository browser.