mkMSIXIntrCtrl.v 517 KB
Newer Older
14001
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14002
      if (WILL_FIRE_RL_catchInterrupt_96)
14003
14004
	$display("New interrupt %d", $signed(32'd96));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14005
      if (WILL_FIRE_RL_catchInterrupt_97)
14006
14007
	$display("New interrupt %d", $signed(32'd97));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14008
      if (WILL_FIRE_RL_catchInterrupt_98)
14009
14010
	$display("New interrupt %d", $signed(32'd98));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14011
      if (WILL_FIRE_RL_catchInterrupt_99)
14012
14013
	$display("New interrupt %d", $signed(32'd99));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14014
      if (WILL_FIRE_RL_catchInterrupt_100)
14015
14016
	$display("New interrupt %d", $signed(32'd100));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14017
      if (WILL_FIRE_RL_catchInterrupt_101)
14018
14019
	$display("New interrupt %d", $signed(32'd101));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14020
      if (WILL_FIRE_RL_catchInterrupt_102)
14021
14022
	$display("New interrupt %d", $signed(32'd102));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14023
      if (WILL_FIRE_RL_catchInterrupt_103)
14024
14025
	$display("New interrupt %d", $signed(32'd103));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14026
      if (WILL_FIRE_RL_catchInterrupt_105)
14027
14028
	$display("New interrupt %d", $signed(32'd105));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14029
      if (WILL_FIRE_RL_catchInterrupt_106)
14030
14031
	$display("New interrupt %d", $signed(32'd106));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14032
      if (WILL_FIRE_RL_catchInterrupt_107)
14033
14034
	$display("New interrupt %d", $signed(32'd107));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14035
14036
      if (WILL_FIRE_RL_catchInterrupt_108)
	$display("New interrupt %d", $signed(32'd108));
14037
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14038
14039
      if (WILL_FIRE_RL_catchInterrupt_109)
	$display("New interrupt %d", $signed(32'd109));
14040
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14041
      if (WILL_FIRE_RL_catchInterrupt_110)
14042
	$display("New interrupt %d", $signed(32'd110));
14043
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14044
14045
14046
14047
      if (WILL_FIRE_RL_catchInterrupt_111)
	$display("New interrupt %d", $signed(32'd111));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_catchInterrupt_112)
14048
14049
	$display("New interrupt %d", $signed(32'd112));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14050
      if (WILL_FIRE_RL_catchInterrupt_113)
14051
14052
	$display("New interrupt %d", $signed(32'd113));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14053
      if (WILL_FIRE_RL_catchInterrupt_114)
14054
14055
	$display("New interrupt %d", $signed(32'd114));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14056
      if (WILL_FIRE_RL_catchInterrupt_115)
14057
14058
	$display("New interrupt %d", $signed(32'd115));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14059
      if (WILL_FIRE_RL_catchInterrupt_116)
14060
14061
	$display("New interrupt %d", $signed(32'd116));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14062
      if (WILL_FIRE_RL_catchInterrupt_117)
14063
	$display("New interrupt %d", $signed(32'd117));
14064
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14065
14066
14067
14068
      if (WILL_FIRE_RL_catchInterrupt_118)
	$display("New interrupt %d", $signed(32'd118));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_catchInterrupt_119)
14069
14070
	$display("New interrupt %d", $signed(32'd119));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14071
      if (WILL_FIRE_RL_catchInterrupt_120)
14072
14073
	$display("New interrupt %d", $signed(32'd120));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14074
      if (WILL_FIRE_RL_catchInterrupt_121)
14075
14076
	$display("New interrupt %d", $signed(32'd121));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14077
      if (WILL_FIRE_RL_catchInterrupt_122)
14078
14079
	$display("New interrupt %d", $signed(32'd122));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14080
      if (WILL_FIRE_RL_catchInterrupt_123)
14081
14082
	$display("New interrupt %d", $signed(32'd123));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14083
      if (WILL_FIRE_RL_catchInterrupt_124)
14084
14085
	$display("New interrupt %d", $signed(32'd124));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14086
      if (WILL_FIRE_RL_catchInterrupt_125)
14087
14088
	$display("New interrupt %d", $signed(32'd125));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14089
      if (WILL_FIRE_RL_catchInterrupt_126)
14090
14091
	$display("New interrupt %d", $signed(32'd126));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14092
      if (WILL_FIRE_RL_catchInterrupt_127)
14093
14094
	$display("New interrupt %d", $signed(32'd127));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14095
      if (WILL_FIRE_RL_catchInterrupt_128)
14096
14097
	$display("New interrupt %d", $signed(32'd128));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14098
      if (WILL_FIRE_RL_catchInterrupt_129)
14099
14100
	$display("New interrupt %d", $signed(32'd129));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14101
      if (WILL_FIRE_RL_catchInterrupt_130)
14102
14103
	$display("New interrupt %d", $signed(32'd130));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14104
      if (WILL_FIRE_RL_catchInterrupt_131)
14105
	$display("New interrupt %d", $signed(32'd131));
14106
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14107
14108
14109
14110
14111
14112
14113
14114
14115
14116
14117
14118
14119
14120
14121
14122
14123
14124
14125
14126
14127
14128
14129
14130
14131
14132
14133
14134
14135
14136
14137
14138
14139
14140
14141
14142
14143
14144
14145
14146
14147
14148
14149
14150
14151
14152
14153
14154
14155
14156
14157
14158
14159
14160
14161
14162
14163
14164
14165
14166
14167
14168
14169
14170
14171
14172
14173
14174
14175
      if ((WILL_FIRE_RL_s_config_axiReadSpecialRangeDelayed_1 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialRangeDelayedReturn_1 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialRangeDelayedIsHandled_1) &&
	  (WILL_FIRE_RL_s_config_axiReadSpecial ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_1 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_1 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_2 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_2 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_3 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_3))
	$display("Error: \"/home/wimi/jah/projects/tpcsplit/done/BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 161, column 18: (R0001)\n  Mutually exclusive rules (from the ME sets\n  [RL_s_config_axiReadSpecialRangeDelayed_1,\n  RL_s_config_axiReadSpecialRangeDelayedReturn_1,\n  RL_s_config_axiReadSpecialRangeDelayedIsHandled_1] and\n  [RL_s_config_axiReadSpecial, RL_s_config_axiReadSpecialIsHandled,\n  RL_s_config_axiReadSpecial_1, RL_s_config_axiReadSpecialIsHandled_1,\n  RL_s_config_axiReadSpecial_2, RL_s_config_axiReadSpecialIsHandled_2,\n  RL_s_config_axiReadSpecial_3, RL_s_config_axiReadSpecialIsHandled_3] ) fired\n  in the same clock cycle.\n");
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
      if ((WILL_FIRE_RL_s_config_axiReadSpecial ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled) &&
	  (WILL_FIRE_RL_s_config_axiReadSpecial_1 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_1 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_2 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_2 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_3 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_3))
	$display("Error: \"/home/wimi/jah/projects/tpcsplit/done/BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 119, column 18: (R0001)\n  Mutually exclusive rules (from the ME sets [RL_s_config_axiReadSpecial,\n  RL_s_config_axiReadSpecialIsHandled] and [RL_s_config_axiReadSpecial_1,\n  RL_s_config_axiReadSpecialIsHandled_1, RL_s_config_axiReadSpecial_2,\n  RL_s_config_axiReadSpecialIsHandled_2, RL_s_config_axiReadSpecial_3,\n  RL_s_config_axiReadSpecialIsHandled_3] ) fired in the same clock cycle.\n");
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
      if ((WILL_FIRE_RL_s_config_axiReadSpecial_1 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_1) &&
	  (WILL_FIRE_RL_s_config_axiReadSpecial_2 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_2 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_3 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_3))
	$display("Error: \"/home/wimi/jah/projects/tpcsplit/done/BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 119, column 18: (R0001)\n  Mutually exclusive rules (from the ME sets [RL_s_config_axiReadSpecial_1,\n  RL_s_config_axiReadSpecialIsHandled_1] and [RL_s_config_axiReadSpecial_2,\n  RL_s_config_axiReadSpecialIsHandled_2, RL_s_config_axiReadSpecial_3,\n  RL_s_config_axiReadSpecialIsHandled_3] ) fired in the same clock cycle.\n");
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
      if ((WILL_FIRE_RL_s_config_axiReadSpecial_2 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_2) &&
	  (WILL_FIRE_RL_s_config_axiReadSpecial_3 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_3))
	$display("Error: \"/home/wimi/jah/projects/tpcsplit/done/BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 119, column 18: (R0001)\n  Mutually exclusive rules (from the ME sets [RL_s_config_axiReadSpecial_2,\n  RL_s_config_axiReadSpecialIsHandled_2] and [RL_s_config_axiReadSpecial_3,\n  RL_s_config_axiReadSpecialIsHandled_3] ) fired in the same clock cycle.\n");
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
      if ((WILL_FIRE_RL_s_config_axiReadSpecialRangeDelayed ||
	   WILL_FIRE_RL_s_config_axiReadSpecialRangeDelayedReturn ||
	   WILL_FIRE_RL_s_config_axiReadSpecialRangeDelayedIsHandled) &&
	  (WILL_FIRE_RL_s_config_axiReadSpecialRangeDelayed_1 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialRangeDelayedReturn_1 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialRangeDelayedIsHandled_1 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_1 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_1 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_2 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_2 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_3 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_3))
	$display("Error: \"/home/wimi/jah/projects/tpcsplit/done/BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 161, column 18: (R0001)\n  Mutually exclusive rules (from the ME sets\n  [RL_s_config_axiReadSpecialRangeDelayed,\n  RL_s_config_axiReadSpecialRangeDelayedReturn,\n  RL_s_config_axiReadSpecialRangeDelayedIsHandled] and\n  [RL_s_config_axiReadSpecialRangeDelayed_1,\n  RL_s_config_axiReadSpecialRangeDelayedReturn_1,\n  RL_s_config_axiReadSpecialRangeDelayedIsHandled_1,\n  RL_s_config_axiReadSpecial, RL_s_config_axiReadSpecialIsHandled,\n  RL_s_config_axiReadSpecial_1, RL_s_config_axiReadSpecialIsHandled_1,\n  RL_s_config_axiReadSpecial_2, RL_s_config_axiReadSpecialIsHandled_2,\n  RL_s_config_axiReadSpecial_3, RL_s_config_axiReadSpecialIsHandled_3] ) fired\n  in the same clock cycle.\n");
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
      if ((WILL_FIRE_RL_s_config_axiReadSpecialRangeDelayed ||
	   WILL_FIRE_RL_s_config_axiReadSpecialRangeDelayedReturn ||
	   WILL_FIRE_RL_s_config_axiReadSpecialRangeDelayedIsHandled ||
	   WILL_FIRE_RL_s_config_axiReadSpecialRangeDelayed_1 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialRangeDelayedReturn_1 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialRangeDelayedIsHandled_1 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_1 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_1 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_2 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_2 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_3 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_3) &&
	  WILL_FIRE_RL_s_config_axiReadFallback)
	$display("Error: \"/home/wimi/jah/projects/tpcsplit/done/BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 161, column 18: (R0001)\n  Mutually exclusive rules (from the ME sets\n  [RL_s_config_axiReadSpecialRangeDelayed,\n  RL_s_config_axiReadSpecialRangeDelayedReturn,\n  RL_s_config_axiReadSpecialRangeDelayedIsHandled,\n  RL_s_config_axiReadSpecialRangeDelayed_1,\n  RL_s_config_axiReadSpecialRangeDelayedReturn_1,\n  RL_s_config_axiReadSpecialRangeDelayedIsHandled_1,\n  RL_s_config_axiReadSpecial, RL_s_config_axiReadSpecialIsHandled,\n  RL_s_config_axiReadSpecial_1, RL_s_config_axiReadSpecialIsHandled_1,\n  RL_s_config_axiReadSpecial_2, RL_s_config_axiReadSpecialIsHandled_2,\n  RL_s_config_axiReadSpecial_3, RL_s_config_axiReadSpecialIsHandled_3] and\n  [RL_s_config_axiReadFallback] ) fired in the same clock cycle.\n");
14176
14177
14178
14179
  end
  // synopsys translate_on
endmodule  // mkMSIXIntrCtrl
For faster browsing, not all history is shown. View entire blame