source: vis_dev/vis-2.1/examples/coherence/coh-order @ 11

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

Add vis

File size: 3.6 KB
Line 
1# vis release 1.1 (compiled 25-Apr-96 at 11:35 AM)
2# network name: COHERANCE
3# generated: Tue May 14 18:26:43 1996
4#
5# name                       type            mddId vals levs
6proc1.proc_state            latch                1    3 (0, 1)
7proc1.proc_state$NS         shadow               2    3 (2, 3)
8inst1                       primary-input        0    3 (4, 5)
9cc1.cache_state             latch                3    5 (6, 7, 8)
10cc1.cache_state$NS          shadow               4    5 (9, 10, 11)
11cache_req1                  latch               10    4 (12, 13)
12cache_req1$NS               shadow              11    4 (14, 15)
13cc1.block_state             latch               31    3 (20, 21)
14cc1.block_state$NS          shadow              32    3 (22, 23)
15direc.arbiter_state         latch               46    6 (24, 25, 26)
16direc.arbiter_state$NS      shadow              47    6 (27, 28, 29)
17any_address1<0>             primary-input        7    2 (30)
18blk_add1<0>                 latch                8    2 (31)
19blk_add1<0>$NS              shadow               9    2 (32)
20direc.cache_Wlist1<*1*>     latch               20    2 (33)
21direc.cache_Wlist1<*1*>$NS  shadow              21    2 (34)
22cc1.block_add<0>            latch                5    2 (35)
23cc1.block_add<0>$NS         shadow               6    2 (36)
24direc.cache_Wlist1<*0*>     latch               22    2 (37)
25direc.cache_Wlist1<*0*>$NS  shadow              23    2 (38)
26direc.cache_Rlist1<*1*>     latch               24    2 (39)
27direc.cache_Rlist1<*1*>$NS  shadow              25    2 (40)
28direc.cache_Rlist1<*0*>     latch               26    2 (41)
29direc.cache_Rlist1<*0*>$NS  shadow              27    2 (42)
30direc.cache_Rlist2<*0*>     latch               16    2 (43)
31direc.cache_Rlist2<*0*>$NS  shadow              17    2 (44)
32cc1.block_val               latch               28    2 (45)
33cc1.block_val$NS            shadow              29    2 (46)
34any_value1                  primary-input       30    2 (47)
35direc.main_mem<*0*>         latch               42    2 (48)
36direc.main_mem<*0*>$NS      shadow              43    2 (49)
37direc.main_mem<*1*>         latch               40    2 (50)
38direc.main_mem<*1*>$NS      shadow              41    2 (51)
39cc2.block_val               latch               37    2 (52)
40cc2.block_val$NS            shadow              38    2 (53)
41any_value2                  primary-input       39    2 (54)
42cc2.block_add<0>            latch               53    2 (55)
43cc2.block_add<0>$NS         shadow              54    2 (56)
44direc.cache_Rlist2<*1*>     latch               18    2 (57)
45direc.cache_Rlist2<*1*>$NS  shadow              19    2 (58)
46any_address2<0>             primary-input       55    2 (59)
47cc2.block_state             latch               44    3 (60, 61)
48cc2.block_state$NS          shadow              45    3 (62, 63)
49direc.cache_Wlist2<*0*>     latch               14    2 (64)
50direc.cache_Wlist2<*0*>$NS  shadow              15    2 (65)
51direc.cache_Wlist2<*1*>     latch               12    2 (66)
52direc.cache_Wlist2<*1*>$NS  shadow              13    2 (67)
53blk_add2<0>                 latch               33    2 (68)
54blk_add2<0>$NS              shadow              34    2 (69)
55proc2.proc_state            latch               49    3 (70, 71)
56proc2.proc_state$NS         shadow              50    3 (72, 73)
57inst2                       primary-input       48    3 (74, 75)
58cc2.cache_state             latch               51    5 (80, 81, 82)
59cc2.cache_state$NS          shadow              52    5 (83, 84, 85)
60cache_req2                  latch               35    4 (86, 87)
61cache_req2$NS               shadow              36    4 (88, 89)
Note: See TracBrowser for help on using the repository browser.