projects / OpenSPARC-T2-DV / blame
? search:
summary | tags | clone url | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Initial commit of OpenSPARC T2 design and verification files.
[OpenSPARC-T2-DV] / verif / env / common / coverage / l2sat / l2_stalled_insts1_sample.vrhpal
CommitLineData
86530b38
AT		 1// ========== Copyright Header Begin ==========================================
2//
3// OpenSPARC T2 Processor File: l2_stalled_insts1_sample.vrhpal
4// Copyright (C) 1995-2007 Sun Microsystems, Inc. All Rights Reserved
5// 4150 Network Circle, Santa Clara, California 95054, U.S.A.
6//
7// * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
8//
9// This program is free software; you can redistribute it and/or modify
10// it under the terms of the GNU General Public License as published by
11// the Free Software Foundation; version 2 of the License.
12//
13// This program is distributed in the hope that it will be useful,
14// but WITHOUT ANY WARRANTY; without even the implied warranty of
15// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16// GNU General Public License for more details.
17//
18// You should have received a copy of the GNU General Public License
19// along with this program; if not, write to the Free Software
20// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
21//
22// For the avoidance of doubt, and except that if any non-GPL license
23// choice is available it will apply instead, Sun elects to use only
24// the General Public License version 2 (GPLv2) at this time for any
25// software where a choice of GPL license versions is made
26// available with the language indicating that GPLv2 or any later version
27// may be used, or where a choice of which version of the GPL is applied is
28// otherwise unspecified.
29//
30// Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
31// CA 95054 USA or visit www.sun.com if you need additional information or
32// have any questions.
33//
34// ========== Copyright Header End ============================================
35wildcard trans LOAD_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
36wildcard trans LOAD_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
37wildcard trans LOAD_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
38wildcard trans LOAD_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
39wildcard trans LOAD_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
40wildcard trans LOAD_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
41wildcard trans LOAD_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
42wildcard trans LOAD_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
43wildcard trans LOAD_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
44wildcard trans LOAD_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
45wildcard trans LOAD_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
46wildcard trans LOAD_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
47wildcard trans LOAD_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
48wildcard trans LOAD_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
49wildcard trans LOAD_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
50wildcard trans LOAD_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
51wildcard trans LOAD_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
52wildcard trans LOAD_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
53wildcard trans LOAD_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
54wildcard trans LOAD_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
55wildcard trans LOAD_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
56wildcard trans LOAD_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
57
58// PREFETCH {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
59wildcard trans PREFETCH_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
60wildcard trans PREFETCH_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
61wildcard trans PREFETCH_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
62wildcard trans PREFETCH_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
63wildcard trans PREFETCH_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
64wildcard trans PREFETCH_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
65wildcard trans PREFETCH_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
66wildcard trans PREFETCH_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
67wildcard trans PREFETCH_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
68wildcard trans PREFETCH_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
69wildcard trans PREFETCH_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
70wildcard trans PREFETCH_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
71wildcard trans PREFETCH_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
72wildcard trans PREFETCH_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
73wildcard trans PREFETCH_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
74wildcard trans PREFETCH_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
75wildcard trans PREFETCH_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
76wildcard trans PREFETCH_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
77wildcard trans PREFETCH_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
78wildcard trans PREFETCH_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
79wildcard trans PREFETCH_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
80wildcard trans PREFETCH_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b1, 1'b0});
81
82
83// PREFETCH_ICE {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
84wildcard trans PFICE_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
85wildcard trans PFICE_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
86wildcard trans PFICE_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
87wildcard trans PFICE_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
88wildcard trans PFICE_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
89wildcard trans PFICE_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
90wildcard trans PFICE_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
91wildcard trans PFICE_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
92wildcard trans PFICE_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
93wildcard trans PFICE_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
94wildcard trans PFICE_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
95wildcard trans PFICE_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
96wildcard trans PFICE_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
97wildcard trans PFICE_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
98wildcard trans PFICE_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
99wildcard trans PFICE_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
100wildcard trans PFICE_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
101wildcard trans PFICE_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
102wildcard trans PFICE_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
103wildcard trans PFICE_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
104wildcard trans PFICE_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
105wildcard trans PFICE_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b1, 1'b1, 1'b0});
106
107// DIAG_LOAD {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
108wildcard trans DIAG_LOAD_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
109wildcard trans DIAG_LOAD_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
110wildcard trans DIAG_LOAD_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
111wildcard trans DIAG_LOAD_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
112wildcard trans DIAG_LOAD_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
113wildcard trans DIAG_LOAD_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
114wildcard trans DIAG_LOAD_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
115wildcard trans DIAG_LOAD_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
116wildcard trans DIAG_LOAD_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
117wildcard trans DIAG_LOAD_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
118wildcard trans DIAG_LOAD_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
119wildcard trans DIAG_LOAD_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
120wildcard trans DIAG_LOAD_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
121wildcard trans DIAG_LOAD_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
122wildcard trans DIAG_LOAD_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
123wildcard trans DIAG_LOAD_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
124wildcard trans DIAG_LOAD_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
125wildcard trans DIAG_LOAD_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
126wildcard trans DIAG_LOAD_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
127wildcard trans DIAG_LOAD_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
128wildcard trans DIAG_LOAD_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
129wildcard trans DIAG_LOAD_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b1, LOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
130
131// DCACHE_INV {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
132wildcard trans DCACHE_INV_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
133wildcard trans DCACHE_INV_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
134wildcard trans DCACHE_INV_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
135wildcard trans DCACHE_INV_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
136wildcard trans DCACHE_INV_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
137wildcard trans DCACHE_INV_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
138wildcard trans DCACHE_INV_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
139wildcard trans DCACHE_INV_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
140wildcard trans DCACHE_INV_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
141wildcard trans DCACHE_INV_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
142wildcard trans DCACHE_INV_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
143wildcard trans DCACHE_INV_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
144wildcard trans DCACHE_INV_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
145wildcard trans DCACHE_INV_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
146wildcard trans DCACHE_INV_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
147wildcard trans DCACHE_INV_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
148wildcard trans DCACHE_INV_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
149wildcard trans DCACHE_INV_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
150wildcard trans DCACHE_INV_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
151wildcard trans DCACHE_INV_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
152wildcard trans DCACHE_INV_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
153wildcard trans DCACHE_INV_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b0, LOAD_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
154
155// IMISS {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
156wildcard trans IMISS_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
157//wildcard trans IMISS_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
158wildcard trans IMISS_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
159wildcard trans IMISS_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
160wildcard trans IMISS_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
161wildcard trans IMISS_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
162wildcard trans IMISS_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
163wildcard trans IMISS_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
164wildcard trans IMISS_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
165wildcard trans IMISS_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
166wildcard trans IMISS_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
167wildcard trans IMISS_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
168wildcard trans IMISS_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
169wildcard trans IMISS_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
170wildcard trans IMISS_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
171wildcard trans IMISS_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
172wildcard trans IMISS_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
173wildcard trans IMISS_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
174wildcard trans IMISS_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
175wildcard trans IMISS_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
176wildcard trans IMISS_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
177wildcard trans IMISS_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
178
179// ICACHE_INV {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
180wildcard trans ICACHE_INV_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
181wildcard trans ICACHE_INV_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
182wildcard trans ICACHE_INV_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
183wildcard trans ICACHE_INV_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
184wildcard trans ICACHE_INV_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
185wildcard trans ICACHE_INV_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
186wildcard trans ICACHE_INV_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
187wildcard trans ICACHE_INV_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
188wildcard trans ICACHE_INV_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
189wildcard trans ICACHE_INV_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
190wildcard trans ICACHE_INV_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
191wildcard trans ICACHE_INV_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
192wildcard trans ICACHE_INV_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
193wildcard trans ICACHE_INV_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
194wildcard trans ICACHE_INV_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
195wildcard trans ICACHE_INV_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
196wildcard trans ICACHE_INV_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
197wildcard trans ICACHE_INV_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
198wildcard trans ICACHE_INV_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
199wildcard trans ICACHE_INV_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
200wildcard trans ICACHE_INV_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
201wildcard trans ICACHE_INV_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b0, IMISS_RQ, 1'b0, 1'b0, 6'bx, 1'b1, 1'b0, 1'b0});
202
203// STORE {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
204wildcard trans STORE_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
205wildcard trans STORE_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
206wildcard trans STORE_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
207wildcard trans STORE_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
208wildcard trans STORE_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
209wildcard trans STORE_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
210wildcard trans STORE_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
211wildcard trans STORE_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
212wildcard trans STORE_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
213wildcard trans STORE_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
214wildcard trans STORE_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
215wildcard trans STORE_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
216wildcard trans STORE_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
217wildcard trans STORE_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
218wildcard trans STORE_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
219wildcard trans STORE_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
220wildcard trans STORE_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
221wildcard trans STORE_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
222wildcard trans STORE_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
223wildcard trans STORE_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
224wildcard trans STORE_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
225wildcard trans STORE_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
226
227// BLKSTORE {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
228wildcard trans BLKSTORE_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
229wildcard trans BLKSTORE_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
230wildcard trans BLKSTORE_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
231wildcard trans BLKSTORE_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
232wildcard trans BLKSTORE_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
233wildcard trans BLKSTORE_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
234wildcard trans BLKSTORE_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
235wildcard trans BLKSTORE_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
236wildcard trans BLKSTORE_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
237wildcard trans BLKSTORE_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
238wildcard trans BLKSTORE_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
239wildcard trans BLKSTORE_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
240wildcard trans BLKSTORE_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
241wildcard trans BLKSTORE_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
242wildcard trans BLKSTORE_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
243wildcard trans BLKSTORE_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
244wildcard trans BLKSTORE_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
245wildcard trans BLKSTORE_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
246wildcard trans BLKSTORE_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
247wildcard trans BLKSTORE_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
248wildcard trans BLKSTORE_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
249wildcard trans BLKSTORE_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b1, 1'b1});
250
251// BLKINITST {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
252wildcard trans BLKINITST_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
253wildcard trans BLKINITST_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
254wildcard trans BLKINITST_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
255wildcard trans BLKINITST_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
256wildcard trans BLKINITST_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
257wildcard trans BLKINITST_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
258wildcard trans BLKINITST_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
259wildcard trans BLKINITST_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
260wildcard trans BLKINITST_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
261wildcard trans BLKINITST_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
262wildcard trans BLKINITST_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
263wildcard trans BLKINITST_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
264wildcard trans BLKINITST_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
265wildcard trans BLKINITST_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
266wildcard trans BLKINITST_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
267wildcard trans BLKINITST_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
268wildcard trans BLKINITST_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
269wildcard trans BLKINITST_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
270wildcard trans BLKINITST_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
271wildcard trans BLKINITST_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
272wildcard trans BLKINITST_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
273wildcard trans BLKINITST_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b0, STORE_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b1});
274
275
276// DIAG_STORE {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
277wildcard trans DIAG_STORE_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
278wildcard trans DIAG_STORE_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
279wildcard trans DIAG_STORE_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
280wildcard trans DIAG_STORE_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
281wildcard trans DIAG_STORE_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
282wildcard trans DIAG_STORE_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
283wildcard trans DIAG_STORE_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
284wildcard trans DIAG_STORE_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
285wildcard trans DIAG_STORE_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
286wildcard trans DIAG_STORE_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
287wildcard trans DIAG_STORE_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
288wildcard trans DIAG_STORE_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
289wildcard trans DIAG_STORE_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
290wildcard trans DIAG_STORE_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
291wildcard trans DIAG_STORE_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
292wildcard trans DIAG_STORE_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
293wildcard trans DIAG_STORE_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
294wildcard trans DIAG_STORE_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
295wildcard trans DIAG_STORE_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
296wildcard trans DIAG_STORE_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
297wildcard trans DIAG_STORE_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
298wildcard trans DIAG_STORE_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b1, STORE_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
299
300// CAS1 {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
301wildcard trans CAS1_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
302wildcard trans CAS1_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
303wildcard trans CAS1_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
304wildcard trans CAS1_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
305wildcard trans CAS1_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
306wildcard trans CAS1_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
307wildcard trans CAS1_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
308wildcard trans CAS1_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
309wildcard trans CAS1_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
310wildcard trans CAS1_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
311wildcard trans CAS1_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
312wildcard trans CAS1_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
313wildcard trans CAS1_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
314wildcard trans CAS1_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
315wildcard trans CAS1_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
316wildcard trans CAS1_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
317wildcard trans CAS1_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
318wildcard trans CAS1_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
319wildcard trans CAS1_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
320wildcard trans CAS1_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
321wildcard trans CAS1_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
322wildcard trans CAS1_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS1_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
323
324// CAS2 {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
325wildcard trans CAS2_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
326wildcard trans CAS2_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
327wildcard trans CAS2_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
328wildcard trans CAS2_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
329wildcard trans CAS2_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
330wildcard trans CAS2_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
331wildcard trans CAS2_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
332wildcard trans CAS2_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
333wildcard trans CAS2_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
334wildcard trans CAS2_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
335wildcard trans CAS2_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
336wildcard trans CAS2_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
337wildcard trans CAS2_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
338wildcard trans CAS2_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
339wildcard trans CAS2_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
340wildcard trans CAS2_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
341wildcard trans CAS2_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
342wildcard trans CAS2_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
343wildcard trans CAS2_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
344wildcard trans CAS2_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
345wildcard trans CAS2_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
346wildcard trans CAS2_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b0, CAS2_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
347
348// SWAP {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
349wildcard trans SWAP_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
350wildcard trans SWAP_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
351wildcard trans SWAP_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
352wildcard trans SWAP_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
353wildcard trans SWAP_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
354wildcard trans SWAP_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
355wildcard trans SWAP_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
356wildcard trans SWAP_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
357wildcard trans SWAP_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
358wildcard trans SWAP_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
359wildcard trans SWAP_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
360wildcard trans SWAP_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
361wildcard trans SWAP_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
362wildcard trans SWAP_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
363wildcard trans SWAP_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
364wildcard trans SWAP_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
365wildcard trans SWAP_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
366wildcard trans SWAP_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
367wildcard trans SWAP_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
368wildcard trans SWAP_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
369wildcard trans SWAP_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
370wildcard trans SWAP_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b0, SWAP_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
371
372// STRLOAD {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
373wildcard trans STRLOAD_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
374wildcard trans STRLOAD_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
375wildcard trans STRLOAD_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
376wildcard trans STRLOAD_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
377wildcard trans STRLOAD_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
378wildcard trans STRLOAD_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
379wildcard trans STRLOAD_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
380wildcard trans STRLOAD_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
381wildcard trans STRLOAD_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
382wildcard trans STRLOAD_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
383wildcard trans STRLOAD_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
384wildcard trans STRLOAD_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
385wildcard trans STRLOAD_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
386wildcard trans STRLOAD_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
387wildcard trans STRLOAD_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
388wildcard trans STRLOAD_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
389wildcard trans STRLOAD_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
390wildcard trans STRLOAD_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
391wildcard trans STRLOAD_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
392wildcard trans STRLOAD_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
393wildcard trans STRLOAD_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
394wildcard trans STRLOAD_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b0, STRLOAD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
395
396// STRST {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
397wildcard trans STRST_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
398wildcard trans STRST_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
399wildcard trans STRST_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
400wildcard trans STRST_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
401wildcard trans STRST_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
402wildcard trans STRST_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
403wildcard trans STRST_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
404wildcard trans STRST_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
405wildcard trans STRST_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
406wildcard trans STRST_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
407wildcard trans STRST_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
408wildcard trans STRST_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
409wildcard trans STRST_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
410wildcard trans STRST_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
411wildcard trans STRST_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
412wildcard trans STRST_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
413wildcard trans STRST_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
414wildcard trans STRST_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
415wildcard trans STRST_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
416wildcard trans STRST_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
417wildcard trans STRST_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
418wildcard trans STRST_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b0, STRST_RQ, 1'bx, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
419/*
420// FWDRQ_LOAD {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
421wildcard trans FWDRQ_LOAD_17({ 1'b1, 17'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
422wildcard trans FWDRQ_LOAD_16({ 1'bx, 1'b1, 16'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b1, 1'b0, 6'bx, 1'b0, 1'b0, 1'b0});
423wildcard trans FWDRQ_LOAD_15({ 2'bx, 1'b1, 15'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
424wildcard trans FWDRQ_LOAD_14({ 3'bx, 1'b1, 14'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
425wildcard trans FWDRQ_LOAD_13({ 4'bx, 1'b1, 13'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
426wildcard trans FWDRQ_LOAD_12({ 5'bx, 1'b1, 12'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
427wildcard trans FWDRQ_LOAD_11({ 6'bx, 1'b1, 11'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
428wildcard trans FWDRQ_LOAD_10({ 7'bx, 1'b1, 10'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
429wildcard trans FWDRQ_LOAD_09({ 8'bx, 1'b1, 9'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
430wildcard trans FWDRQ_LOAD_08({ 9'bx, 1'b1, 8'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
431wildcard trans FWDRQ_LOAD_07({10'bx, 1'b1, 7'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
432wildcard trans FWDRQ_LOAD_06({11'bx, 1'b1, 6'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
433wildcard trans FWDRQ_LOAD_05({12'bx, 1'b1, 5'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
434wildcard trans FWDRQ_LOAD_04({13'bx, 1'b1, 4'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
435wildcard trans FWDRQ_LOAD_03({14'bx, 1'b1, 3'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
436wildcard trans FWDRQ_LOAD_02({15'bx, 1'b1, 2'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
437wildcard trans FWDRQ_LOAD_01({16'bx, 1'b1, 1'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
438wildcard trans FWDRQ_LOAD_00({17'bx, 1'b1, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
439
440// FWDRQ_STORE {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
441wildcard trans FWDRQ_STORE_17({ 1'b1, 17'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
442wildcard trans FWDRQ_STORE_16({ 1'bx, 1'b1, 16'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
443wildcard trans FWDRQ_STORE_15({ 2'bx, 1'b1, 15'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
444wildcard trans FWDRQ_STORE_14({ 3'bx, 1'b1, 14'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
445wildcard trans FWDRQ_STORE_13({ 4'bx, 1'b1, 13'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
446wildcard trans FWDRQ_STORE_12({ 5'bx, 1'b1, 12'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
447wildcard trans FWDRQ_STORE_11({ 6'bx, 1'b1, 11'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
448wildcard trans FWDRQ_STORE_10({ 7'bx, 1'b1, 10'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
449wildcard trans FWDRQ_STORE_09({ 8'bx, 1'b1, 9'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
450wildcard trans FWDRQ_STORE_08({ 9'bx, 1'b1, 8'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
451wildcard trans FWDRQ_STORE_07({10'bx, 1'b1, 7'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
452wildcard trans FWDRQ_STORE_06({11'bx, 1'b1, 6'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
453wildcard trans FWDRQ_STORE_05({12'bx, 1'b1, 5'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
454wildcard trans FWDRQ_STORE_04({13'bx, 1'b1, 4'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
455wildcard trans FWDRQ_STORE_03({14'bx, 1'b1, 3'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
456wildcard trans FWDRQ_STORE_02({15'bx, 1'b1, 2'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
457wildcard trans FWDRQ_STORE_01({16'bx, 1'b1, 1'bx, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
458wildcard trans FWDRQ_STORE_00({17'bx, 1'b1, 17'bx} -> {18'bx, 1'b1, 1'b0, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
459
460// FWDRQ_DIAG_LOAD {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
461wildcard trans FWDRQ_DIAGLD_17({ 1'b1, 17'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
462wildcard trans FWDRQ_DIAGLD_16({ 1'bx, 1'b1, 16'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
463wildcard trans FWDRQ_DIAGLD_15({ 2'bx, 1'b1, 15'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
464wildcard trans FWDRQ_DIAGLD_14({ 3'bx, 1'b1, 14'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
465wildcard trans FWDRQ_DIAGLD_13({ 4'bx, 1'b1, 13'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
466wildcard trans FWDRQ_DIAGLD_12({ 5'bx, 1'b1, 12'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
467wildcard trans FWDRQ_DIAGLD_11({ 6'bx, 1'b1, 11'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
468wildcard trans FWDRQ_DIAGLD_10({ 7'bx, 1'b1, 10'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
469wildcard trans FWDRQ_DIAGLD_09({ 8'bx, 1'b1, 9'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
470wildcard trans FWDRQ_DIAGLD_08({ 9'bx, 1'b1, 8'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
471wildcard trans FWDRQ_DIAGLD_07({10'bx, 1'b1, 7'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
472wildcard trans FWDRQ_DIAGLD_06({11'bx, 1'b1, 6'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
473wildcard trans FWDRQ_DIAGLD_05({12'bx, 1'b1, 5'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
474wildcard trans FWDRQ_DIAGLD_04({13'bx, 1'b1, 4'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
475wildcard trans FWDRQ_DIAGLD_03({14'bx, 1'b1, 3'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
476wildcard trans FWDRQ_DIAGLD_02({15'bx, 1'b1, 2'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
477wildcard trans FWDRQ_DIAGLD_01({16'bx, 1'b1, 1'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
478wildcard trans FWDRQ_DIAGLD_00({17'bx, 1'b1, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b1, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
479
480// FWDRQ_DIAG_STORE {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
481wildcard trans FWDRQ_DIAGST_17({ 1'b1, 17'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
482wildcard trans FWDRQ_DIAGST_16({ 1'bx, 1'b1, 16'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
483wildcard trans FWDRQ_DIAGST_15({ 2'bx, 1'b1, 15'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
484wildcard trans FWDRQ_DIAGST_14({ 3'bx, 1'b1, 14'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
485wildcard trans FWDRQ_DIAGST_13({ 4'bx, 1'b1, 13'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
486wildcard trans FWDRQ_DIAGST_12({ 5'bx, 1'b1, 12'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
487wildcard trans FWDRQ_DIAGST_11({ 6'bx, 1'b1, 11'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
488wildcard trans FWDRQ_DIAGST_10({ 7'bx, 1'b1, 10'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
489wildcard trans FWDRQ_DIAGST_09({ 8'bx, 1'b1, 9'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
490wildcard trans FWDRQ_DIAGST_08({ 9'bx, 1'b1, 8'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
491wildcard trans FWDRQ_DIAGST_07({10'bx, 1'b1, 7'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
492wildcard trans FWDRQ_DIAGST_06({11'bx, 1'b1, 6'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
493wildcard trans FWDRQ_DIAGST_05({12'bx, 1'b1, 5'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
494wildcard trans FWDRQ_DIAGST_04({13'bx, 1'b1, 4'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
495wildcard trans FWDRQ_DIAGST_03({14'bx, 1'b1, 3'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
496wildcard trans FWDRQ_DIAGST_02({15'bx, 1'b1, 2'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
497wildcard trans FWDRQ_DIAGST_01({16'bx, 1'b1, 1'bx, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
498wildcard trans FWDRQ_DIAGST_00({17'bx, 1'b1, 17'bx} -> {18'bx, 1'b1, 1'b1, FWD_RQ, 1'b0, 1'b0, 5'bx, 1'b0, 1'b0, 1'b0});
499*/
500// RDD {1 hot stall bits} vld diag reqtype nc jbi
501wildcard trans RDD_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
502wildcard trans RDD_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
503wildcard trans RDD_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
504wildcard trans RDD_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
505wildcard trans RDD_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
506wildcard trans RDD_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
507wildcard trans RDD_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
508wildcard trans RDD_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
509wildcard trans RDD_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
510wildcard trans RDD_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
511wildcard trans RDD_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
512wildcard trans RDD_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
513wildcard trans RDD_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
514wildcard trans RDD_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
515wildcard trans RDD_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
516wildcard trans RDD_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
517wildcard trans RDD_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
518wildcard trans RDD_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
519wildcard trans RDD_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
520wildcard trans RDD_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
521wildcard trans RDD_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
522wildcard trans RDD_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx});
523
524// WR8 {1 hot stall bits} vld diag reqtype nc jbi
525wildcard trans WR8_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
526wildcard trans WR8_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
527wildcard trans WR8_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
528wildcard trans WR8_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
529wildcard trans WR8_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
530wildcard trans WR8_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
531wildcard trans WR8_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
532wildcard trans WR8_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
533wildcard trans WR8_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
534wildcard trans WR8_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
535wildcard trans WR8_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
536wildcard trans WR8_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
537wildcard trans WR8_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
538wildcard trans WR8_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
539wildcard trans WR8_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
540wildcard trans WR8_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
541wildcard trans WR8_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
542wildcard trans WR8_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
543wildcard trans WR8_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
544wildcard trans WR8_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
545wildcard trans WR8_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
546wildcard trans WR8_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx});
547
548// WRI {1 hot stall bits} vld diag reqtype nc jbi
549wildcard trans WRI_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
550wildcard trans WRI_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
551wildcard trans WRI_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
552wildcard trans WRI_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
553wildcard trans WRI_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
554wildcard trans WRI_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
555wildcard trans WRI_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
556wildcard trans WRI_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
557wildcard trans WRI_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
558wildcard trans WRI_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
559wildcard trans WRI_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
560wildcard trans WRI_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
561wildcard trans WRI_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
562wildcard trans WRI_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
563wildcard trans WRI_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
564wildcard trans WRI_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
565wildcard trans WRI_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
566wildcard trans WRI_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
567wildcard trans WRI_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
568wildcard trans WRI_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
569wildcard trans WRI_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
570wildcard trans WRI_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx});
571
572// FILL {1 hot stall bits} vld diag reqtype nc jbi cputh inv pf bis
573wildcard trans FILL_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
574wildcard trans FILL_16({ 1'bx, 1'b1, 20'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
575wildcard trans FILL_15({ 2'bx, 1'b1, 19'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
576wildcard trans FILL_14({ 3'bx, 1'b1, 18'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
577wildcard trans FILL_13({ 4'bx, 1'b1, 17'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
578wildcard trans FILL_12({ 5'bx, 1'b1, 16'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
579wildcard trans FILL_11({ 6'bx, 1'b1, 15'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
580wildcard trans FILL_10({ 7'bx, 1'b1, 14'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
581wildcard trans FILL_09({ 8'bx, 1'b1, 13'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
582wildcard trans FILL_21({ 9'bx, 1'b1, 12'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
583wildcard trans FILL_20({10'bx, 1'b1, 11'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
584wildcard trans FILL_19({11'bx, 1'b1, 10'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
585wildcard trans FILL_18({12'bx, 1'b1, 9'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
586wildcard trans FILL_08({13'bx, 1'b1, 8'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
587wildcard trans FILL_07({14'bx, 1'b1, 7'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
588wildcard trans FILL_06({15'bx, 1'b1, 6'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
589wildcard trans FILL_05({16'bx, 1'b1, 5'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
590wildcard trans FILL_04({17'bx, 1'b1, 4'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
591wildcard trans FILL_03({18'bx, 1'b1, 3'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
592wildcard trans FILL_02({19'bx, 1'b1, 2'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
593wildcard trans FILL_01({20'bx, 1'b1, 1'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
594wildcard trans FILL_00({21'bx, 1'b1, 18'bx} -> {22'bx, 1'b1, 1'b0, FILL, 1'bx, 1'b0, 6'bx, 1'bx, 1'bx, 1'bx});
Full OpenSPARC design & verification tarball including full HDL.