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 |
---|
6 | proc1.proc_state latch 1 3 (0, 1) |
---|
7 | proc1.proc_state$NS shadow 2 3 (2, 3) |
---|
8 | inst1 primary-input 0 3 (4, 5) |
---|
9 | cc1.cache_state latch 3 5 (6, 7, 8) |
---|
10 | cc1.cache_state$NS shadow 4 5 (9, 10, 11) |
---|
11 | cache_req1 latch 10 4 (12, 13) |
---|
12 | cache_req1$NS shadow 11 4 (14, 15) |
---|
13 | cc1.block_state latch 31 3 (20, 21) |
---|
14 | cc1.block_state$NS shadow 32 3 (22, 23) |
---|
15 | direc.arbiter_state latch 46 6 (24, 25, 26) |
---|
16 | direc.arbiter_state$NS shadow 47 6 (27, 28, 29) |
---|
17 | any_address1<0> primary-input 7 2 (30) |
---|
18 | blk_add1<0> latch 8 2 (31) |
---|
19 | blk_add1<0>$NS shadow 9 2 (32) |
---|
20 | direc.cache_Wlist1<*1*> latch 20 2 (33) |
---|
21 | direc.cache_Wlist1<*1*>$NS shadow 21 2 (34) |
---|
22 | cc1.block_add<0> latch 5 2 (35) |
---|
23 | cc1.block_add<0>$NS shadow 6 2 (36) |
---|
24 | direc.cache_Wlist1<*0*> latch 22 2 (37) |
---|
25 | direc.cache_Wlist1<*0*>$NS shadow 23 2 (38) |
---|
26 | direc.cache_Rlist1<*1*> latch 24 2 (39) |
---|
27 | direc.cache_Rlist1<*1*>$NS shadow 25 2 (40) |
---|
28 | direc.cache_Rlist1<*0*> latch 26 2 (41) |
---|
29 | direc.cache_Rlist1<*0*>$NS shadow 27 2 (42) |
---|
30 | direc.cache_Rlist2<*0*> latch 16 2 (43) |
---|
31 | direc.cache_Rlist2<*0*>$NS shadow 17 2 (44) |
---|
32 | cc1.block_val latch 28 2 (45) |
---|
33 | cc1.block_val$NS shadow 29 2 (46) |
---|
34 | any_value1 primary-input 30 2 (47) |
---|
35 | direc.main_mem<*0*> latch 42 2 (48) |
---|
36 | direc.main_mem<*0*>$NS shadow 43 2 (49) |
---|
37 | direc.main_mem<*1*> latch 40 2 (50) |
---|
38 | direc.main_mem<*1*>$NS shadow 41 2 (51) |
---|
39 | cc2.block_val latch 37 2 (52) |
---|
40 | cc2.block_val$NS shadow 38 2 (53) |
---|
41 | any_value2 primary-input 39 2 (54) |
---|
42 | cc2.block_add<0> latch 53 2 (55) |
---|
43 | cc2.block_add<0>$NS shadow 54 2 (56) |
---|
44 | direc.cache_Rlist2<*1*> latch 18 2 (57) |
---|
45 | direc.cache_Rlist2<*1*>$NS shadow 19 2 (58) |
---|
46 | any_address2<0> primary-input 55 2 (59) |
---|
47 | cc2.block_state latch 44 3 (60, 61) |
---|
48 | cc2.block_state$NS shadow 45 3 (62, 63) |
---|
49 | direc.cache_Wlist2<*0*> latch 14 2 (64) |
---|
50 | direc.cache_Wlist2<*0*>$NS shadow 15 2 (65) |
---|
51 | direc.cache_Wlist2<*1*> latch 12 2 (66) |
---|
52 | direc.cache_Wlist2<*1*>$NS shadow 13 2 (67) |
---|
53 | blk_add2<0> latch 33 2 (68) |
---|
54 | blk_add2<0>$NS shadow 34 2 (69) |
---|
55 | proc2.proc_state latch 49 3 (70, 71) |
---|
56 | proc2.proc_state$NS shadow 50 3 (72, 73) |
---|
57 | inst2 primary-input 48 3 (74, 75) |
---|
58 | cc2.cache_state latch 51 5 (80, 81, 82) |
---|
59 | cc2.cache_state$NS shadow 52 5 (83, 84, 85) |
---|
60 | cache_req2 latch 35 4 (86, 87) |
---|
61 | cache_req2$NS shadow 36 4 (88, 89) |
---|