| 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 ============================================ |
| 35 | wildcard 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}); |
| 36 | wildcard 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}); |
| 37 | wildcard 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}); |
| 38 | wildcard 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}); |
| 39 | wildcard 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}); |
| 40 | wildcard 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}); |
| 41 | wildcard 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}); |
| 42 | wildcard 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}); |
| 43 | wildcard 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}); |
| 44 | wildcard 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}); |
| 45 | wildcard 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}); |
| 46 | wildcard 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}); |
| 47 | wildcard 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}); |
| 48 | wildcard 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}); |
| 49 | wildcard 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}); |
| 50 | wildcard 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}); |
| 51 | wildcard 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}); |
| 52 | wildcard 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}); |
| 53 | wildcard 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}); |
| 54 | wildcard 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}); |
| 55 | wildcard 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}); |
| 56 | wildcard 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 |
| 59 | wildcard 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}); |
| 60 | wildcard 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}); |
| 61 | wildcard 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}); |
| 62 | wildcard 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}); |
| 63 | wildcard 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}); |
| 64 | wildcard 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}); |
| 65 | wildcard 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}); |
| 66 | wildcard 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}); |
| 67 | wildcard 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}); |
| 68 | wildcard 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}); |
| 69 | wildcard 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}); |
| 70 | wildcard 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}); |
| 71 | wildcard 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}); |
| 72 | wildcard 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}); |
| 73 | wildcard 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}); |
| 74 | wildcard 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}); |
| 75 | wildcard 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}); |
| 76 | wildcard 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}); |
| 77 | wildcard 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}); |
| 78 | wildcard 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}); |
| 79 | wildcard 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}); |
| 80 | wildcard 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 |
| 84 | wildcard 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}); |
| 85 | wildcard 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}); |
| 86 | wildcard 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}); |
| 87 | wildcard 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}); |
| 88 | wildcard 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}); |
| 89 | wildcard 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}); |
| 90 | wildcard 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}); |
| 91 | wildcard 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}); |
| 92 | wildcard 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}); |
| 93 | wildcard 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}); |
| 94 | wildcard 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}); |
| 95 | wildcard 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}); |
| 96 | wildcard 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}); |
| 97 | wildcard 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}); |
| 98 | wildcard 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}); |
| 99 | wildcard 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}); |
| 100 | wildcard 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}); |
| 101 | wildcard 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}); |
| 102 | wildcard 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}); |
| 103 | wildcard 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}); |
| 104 | wildcard 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}); |
| 105 | wildcard 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 |
| 108 | wildcard 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}); |
| 109 | wildcard 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}); |
| 110 | wildcard 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}); |
| 111 | wildcard 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}); |
| 112 | wildcard 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}); |
| 113 | wildcard 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}); |
| 114 | wildcard 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}); |
| 115 | wildcard 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}); |
| 116 | wildcard 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}); |
| 117 | wildcard 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}); |
| 118 | wildcard 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}); |
| 119 | wildcard 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}); |
| 120 | wildcard 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}); |
| 121 | wildcard 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}); |
| 122 | wildcard 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}); |
| 123 | wildcard 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}); |
| 124 | wildcard 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}); |
| 125 | wildcard 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}); |
| 126 | wildcard 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}); |
| 127 | wildcard 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}); |
| 128 | wildcard 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}); |
| 129 | wildcard 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 |
| 132 | wildcard 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}); |
| 133 | wildcard 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}); |
| 134 | wildcard 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}); |
| 135 | wildcard 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}); |
| 136 | wildcard 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}); |
| 137 | wildcard 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}); |
| 138 | wildcard 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}); |
| 139 | wildcard 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}); |
| 140 | wildcard 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}); |
| 141 | wildcard 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}); |
| 142 | wildcard 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}); |
| 143 | wildcard 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}); |
| 144 | wildcard 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}); |
| 145 | wildcard 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}); |
| 146 | wildcard 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}); |
| 147 | wildcard 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}); |
| 148 | wildcard 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}); |
| 149 | wildcard 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}); |
| 150 | wildcard 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}); |
| 151 | wildcard 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}); |
| 152 | wildcard 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}); |
| 153 | wildcard 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 |
| 156 | wildcard 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}); |
| 158 | wildcard 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}); |
| 159 | wildcard 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}); |
| 160 | wildcard 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}); |
| 161 | wildcard 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}); |
| 162 | wildcard 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}); |
| 163 | wildcard 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}); |
| 164 | wildcard 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}); |
| 165 | wildcard 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}); |
| 166 | wildcard 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}); |
| 167 | wildcard 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}); |
| 168 | wildcard 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}); |
| 169 | wildcard 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}); |
| 170 | wildcard 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}); |
| 171 | wildcard 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}); |
| 172 | wildcard 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}); |
| 173 | wildcard 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}); |
| 174 | wildcard 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}); |
| 175 | wildcard 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}); |
| 176 | wildcard 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}); |
| 177 | wildcard 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 |
| 180 | wildcard 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}); |
| 181 | wildcard 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}); |
| 182 | wildcard 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}); |
| 183 | wildcard 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}); |
| 184 | wildcard 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}); |
| 185 | wildcard 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}); |
| 186 | wildcard 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}); |
| 187 | wildcard 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}); |
| 188 | wildcard 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}); |
| 189 | wildcard 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}); |
| 190 | wildcard 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}); |
| 191 | wildcard 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}); |
| 192 | wildcard 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}); |
| 193 | wildcard 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}); |
| 194 | wildcard 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}); |
| 195 | wildcard 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}); |
| 196 | wildcard 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}); |
| 197 | wildcard 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}); |
| 198 | wildcard 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}); |
| 199 | wildcard 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}); |
| 200 | wildcard 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}); |
| 201 | wildcard 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 |
| 204 | wildcard 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}); |
| 205 | wildcard 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}); |
| 206 | wildcard 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}); |
| 207 | wildcard 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}); |
| 208 | wildcard 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}); |
| 209 | wildcard 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}); |
| 210 | wildcard 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}); |
| 211 | wildcard 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}); |
| 212 | wildcard 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}); |
| 213 | wildcard 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}); |
| 214 | wildcard 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}); |
| 215 | wildcard 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}); |
| 216 | wildcard 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}); |
| 217 | wildcard 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}); |
| 218 | wildcard 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}); |
| 219 | wildcard 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}); |
| 220 | wildcard 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}); |
| 221 | wildcard 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}); |
| 222 | wildcard 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}); |
| 223 | wildcard 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}); |
| 224 | wildcard 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}); |
| 225 | wildcard 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 |
| 228 | wildcard 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}); |
| 229 | wildcard 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}); |
| 230 | wildcard 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}); |
| 231 | wildcard 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}); |
| 232 | wildcard 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}); |
| 233 | wildcard 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}); |
| 234 | wildcard 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}); |
| 235 | wildcard 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}); |
| 236 | wildcard 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}); |
| 237 | wildcard 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}); |
| 238 | wildcard 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}); |
| 239 | wildcard 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}); |
| 240 | wildcard 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}); |
| 241 | wildcard 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}); |
| 242 | wildcard 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}); |
| 243 | wildcard 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}); |
| 244 | wildcard 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}); |
| 245 | wildcard 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}); |
| 246 | wildcard 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}); |
| 247 | wildcard 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}); |
| 248 | wildcard 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}); |
| 249 | wildcard 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 |
| 252 | wildcard 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}); |
| 253 | wildcard 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}); |
| 254 | wildcard 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}); |
| 255 | wildcard 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}); |
| 256 | wildcard 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}); |
| 257 | wildcard 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}); |
| 258 | wildcard 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}); |
| 259 | wildcard 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}); |
| 260 | wildcard 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}); |
| 261 | wildcard 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}); |
| 262 | wildcard 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}); |
| 263 | wildcard 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}); |
| 264 | wildcard 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}); |
| 265 | wildcard 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}); |
| 266 | wildcard 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}); |
| 267 | wildcard 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}); |
| 268 | wildcard 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}); |
| 269 | wildcard 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}); |
| 270 | wildcard 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}); |
| 271 | wildcard 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}); |
| 272 | wildcard 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}); |
| 273 | wildcard 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 |
| 277 | wildcard 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}); |
| 278 | wildcard 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}); |
| 279 | wildcard 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}); |
| 280 | wildcard 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}); |
| 281 | wildcard 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}); |
| 282 | wildcard 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}); |
| 283 | wildcard 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}); |
| 284 | wildcard 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}); |
| 285 | wildcard 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}); |
| 286 | wildcard 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}); |
| 287 | wildcard 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}); |
| 288 | wildcard 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}); |
| 289 | wildcard 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}); |
| 290 | wildcard 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}); |
| 291 | wildcard 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}); |
| 292 | wildcard 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}); |
| 293 | wildcard 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}); |
| 294 | wildcard 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}); |
| 295 | wildcard 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}); |
| 296 | wildcard 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}); |
| 297 | wildcard 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}); |
| 298 | wildcard 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 |
| 301 | wildcard 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}); |
| 302 | wildcard 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}); |
| 303 | wildcard 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}); |
| 304 | wildcard 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}); |
| 305 | wildcard 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}); |
| 306 | wildcard 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}); |
| 307 | wildcard 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}); |
| 308 | wildcard 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}); |
| 309 | wildcard 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}); |
| 310 | wildcard 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}); |
| 311 | wildcard 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}); |
| 312 | wildcard 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}); |
| 313 | wildcard 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}); |
| 314 | wildcard 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}); |
| 315 | wildcard 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}); |
| 316 | wildcard 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}); |
| 317 | wildcard 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}); |
| 318 | wildcard 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}); |
| 319 | wildcard 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}); |
| 320 | wildcard 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}); |
| 321 | wildcard 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}); |
| 322 | wildcard 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 |
| 325 | wildcard 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}); |
| 326 | wildcard 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}); |
| 327 | wildcard 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}); |
| 328 | wildcard 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}); |
| 329 | wildcard 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}); |
| 330 | wildcard 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}); |
| 331 | wildcard 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}); |
| 332 | wildcard 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}); |
| 333 | wildcard 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}); |
| 334 | wildcard 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}); |
| 335 | wildcard 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}); |
| 336 | wildcard 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}); |
| 337 | wildcard 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}); |
| 338 | wildcard 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}); |
| 339 | wildcard 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}); |
| 340 | wildcard 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}); |
| 341 | wildcard 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}); |
| 342 | wildcard 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}); |
| 343 | wildcard 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}); |
| 344 | wildcard 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}); |
| 345 | wildcard 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}); |
| 346 | wildcard 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 |
| 349 | wildcard 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}); |
| 350 | wildcard 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}); |
| 351 | wildcard 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}); |
| 352 | wildcard 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}); |
| 353 | wildcard 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}); |
| 354 | wildcard 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}); |
| 355 | wildcard 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}); |
| 356 | wildcard 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}); |
| 357 | wildcard 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}); |
| 358 | wildcard 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}); |
| 359 | wildcard 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}); |
| 360 | wildcard 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}); |
| 361 | wildcard 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}); |
| 362 | wildcard 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}); |
| 363 | wildcard 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}); |
| 364 | wildcard 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}); |
| 365 | wildcard 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}); |
| 366 | wildcard 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}); |
| 367 | wildcard 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}); |
| 368 | wildcard 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}); |
| 369 | wildcard 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}); |
| 370 | wildcard 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 |
| 373 | wildcard 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}); |
| 374 | wildcard 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}); |
| 375 | wildcard 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}); |
| 376 | wildcard 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}); |
| 377 | wildcard 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}); |
| 378 | wildcard 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}); |
| 379 | wildcard 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}); |
| 380 | wildcard 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}); |
| 381 | wildcard 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}); |
| 382 | wildcard 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}); |
| 383 | wildcard 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}); |
| 384 | wildcard 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}); |
| 385 | wildcard 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}); |
| 386 | wildcard 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}); |
| 387 | wildcard 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}); |
| 388 | wildcard 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}); |
| 389 | wildcard 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}); |
| 390 | wildcard 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}); |
| 391 | wildcard 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}); |
| 392 | wildcard 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}); |
| 393 | wildcard 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}); |
| 394 | wildcard 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 |
| 397 | wildcard 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}); |
| 398 | wildcard 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}); |
| 399 | wildcard 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}); |
| 400 | wildcard 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}); |
| 401 | wildcard 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}); |
| 402 | wildcard 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}); |
| 403 | wildcard 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}); |
| 404 | wildcard 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}); |
| 405 | wildcard 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}); |
| 406 | wildcard 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}); |
| 407 | wildcard 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}); |
| 408 | wildcard 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}); |
| 409 | wildcard 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}); |
| 410 | wildcard 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}); |
| 411 | wildcard 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}); |
| 412 | wildcard 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}); |
| 413 | wildcard 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}); |
| 414 | wildcard 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}); |
| 415 | wildcard 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}); |
| 416 | wildcard 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}); |
| 417 | wildcard 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}); |
| 418 | wildcard 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 |
| 421 | wildcard 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}); |
| 422 | wildcard 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}); |
| 423 | wildcard 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}); |
| 424 | wildcard 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}); |
| 425 | wildcard 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}); |
| 426 | wildcard 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}); |
| 427 | wildcard 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}); |
| 428 | wildcard 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}); |
| 429 | wildcard 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}); |
| 430 | wildcard 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}); |
| 431 | wildcard 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}); |
| 432 | wildcard 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}); |
| 433 | wildcard 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}); |
| 434 | wildcard 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}); |
| 435 | wildcard 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}); |
| 436 | wildcard 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}); |
| 437 | wildcard 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}); |
| 438 | wildcard 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 |
| 441 | wildcard 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}); |
| 442 | wildcard 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}); |
| 443 | wildcard 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}); |
| 444 | wildcard 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}); |
| 445 | wildcard 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}); |
| 446 | wildcard 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}); |
| 447 | wildcard 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}); |
| 448 | wildcard 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}); |
| 449 | wildcard 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}); |
| 450 | wildcard 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}); |
| 451 | wildcard 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}); |
| 452 | wildcard 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}); |
| 453 | wildcard 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}); |
| 454 | wildcard 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}); |
| 455 | wildcard 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}); |
| 456 | wildcard 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}); |
| 457 | wildcard 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}); |
| 458 | wildcard 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 |
| 461 | wildcard 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}); |
| 462 | wildcard 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}); |
| 463 | wildcard 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}); |
| 464 | wildcard 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}); |
| 465 | wildcard 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}); |
| 466 | wildcard 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}); |
| 467 | wildcard 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}); |
| 468 | wildcard 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}); |
| 469 | wildcard 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}); |
| 470 | wildcard 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}); |
| 471 | wildcard 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}); |
| 472 | wildcard 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}); |
| 473 | wildcard 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}); |
| 474 | wildcard 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}); |
| 475 | wildcard 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}); |
| 476 | wildcard 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}); |
| 477 | wildcard 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}); |
| 478 | wildcard 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 |
| 481 | wildcard 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}); |
| 482 | wildcard 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}); |
| 483 | wildcard 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}); |
| 484 | wildcard 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}); |
| 485 | wildcard 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}); |
| 486 | wildcard 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}); |
| 487 | wildcard 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}); |
| 488 | wildcard 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}); |
| 489 | wildcard 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}); |
| 490 | wildcard 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}); |
| 491 | wildcard 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}); |
| 492 | wildcard 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}); |
| 493 | wildcard 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}); |
| 494 | wildcard 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}); |
| 495 | wildcard 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}); |
| 496 | wildcard 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}); |
| 497 | wildcard 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}); |
| 498 | wildcard 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 |
| 501 | wildcard trans RDD_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx001, 1'b0, 1'b1, 9'bx}); |
| 502 | wildcard 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}); |
| 503 | wildcard 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}); |
| 504 | wildcard 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}); |
| 505 | wildcard 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}); |
| 506 | wildcard 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}); |
| 507 | wildcard 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}); |
| 508 | wildcard 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}); |
| 509 | wildcard 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}); |
| 510 | wildcard 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}); |
| 511 | wildcard 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}); |
| 512 | wildcard 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}); |
| 513 | wildcard 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}); |
| 514 | wildcard 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}); |
| 515 | wildcard 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}); |
| 516 | wildcard 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}); |
| 517 | wildcard 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}); |
| 518 | wildcard 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}); |
| 519 | wildcard 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}); |
| 520 | wildcard 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}); |
| 521 | wildcard 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}); |
| 522 | wildcard 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 |
| 525 | wildcard trans WR8_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx010, 1'b0, 1'b1, 9'bx}); |
| 526 | wildcard 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}); |
| 527 | wildcard 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}); |
| 528 | wildcard 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}); |
| 529 | wildcard 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}); |
| 530 | wildcard 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}); |
| 531 | wildcard 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}); |
| 532 | wildcard 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}); |
| 533 | wildcard 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}); |
| 534 | wildcard 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}); |
| 535 | wildcard 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}); |
| 536 | wildcard 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}); |
| 537 | wildcard 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}); |
| 538 | wildcard 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}); |
| 539 | wildcard 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}); |
| 540 | wildcard 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}); |
| 541 | wildcard 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}); |
| 542 | wildcard 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}); |
| 543 | wildcard 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}); |
| 544 | wildcard 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}); |
| 545 | wildcard 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}); |
| 546 | wildcard 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 |
| 549 | wildcard trans WRI_17({ 1'b1, 21'bx, 18'bx} -> {22'bx, 1'b1, 1'b0, 5'bxx100, 1'b0, 1'b1, 9'bx}); |
| 550 | wildcard 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}); |
| 551 | wildcard 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}); |
| 552 | wildcard 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}); |
| 553 | wildcard 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}); |
| 554 | wildcard 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}); |
| 555 | wildcard 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}); |
| 556 | wildcard 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}); |
| 557 | wildcard 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}); |
| 558 | wildcard 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}); |
| 559 | wildcard 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}); |
| 560 | wildcard 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}); |
| 561 | wildcard 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}); |
| 562 | wildcard 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}); |
| 563 | wildcard 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}); |
| 564 | wildcard 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}); |
| 565 | wildcard 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}); |
| 566 | wildcard 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}); |
| 567 | wildcard 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}); |
| 568 | wildcard 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}); |
| 569 | wildcard 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}); |
| 570 | wildcard 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 |
| 573 | wildcard 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}); |
| 574 | wildcard 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}); |
| 575 | wildcard 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}); |
| 576 | wildcard 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}); |
| 577 | wildcard 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}); |
| 578 | wildcard 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}); |
| 579 | wildcard 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}); |
| 580 | wildcard 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}); |
| 581 | wildcard 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}); |
| 582 | wildcard 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}); |
| 583 | wildcard 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}); |
| 584 | wildcard 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}); |
| 585 | wildcard 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}); |
| 586 | wildcard 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}); |
| 587 | wildcard 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}); |
| 588 | wildcard 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}); |
| 589 | wildcard 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}); |
| 590 | wildcard 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}); |
| 591 | wildcard 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}); |
| 592 | wildcard 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}); |
| 593 | wildcard 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}); |
| 594 | wildcard 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}); |