|
Model: A Multiprocessor SystemModel: A Multiprocessor SystemProcessor_state : IDLE,READING,WRITINGInst :COMPUTEREAD_WORDWRITE_WORDany_address :any_value :cacheblock_addblock_valueblock_state:INVALID,SHAREDEXCLUSIVEread_req :write_req :address :data :Cache_status :Ready, Rwait,Wwait,Rgrant,Wgrantcache_req :ok,blk_rreq,blk_excl, noopDblk_ok :blk_data :write_back_req :inval :blocknum :back_data :acknowledge :indata :
|