mkMSIXIntrCtrl.v 516 KB
Newer Older
14001
14002
	$display("New interrupt %d", $signed(32'd98));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14003
      if (WILL_FIRE_RL_catchInterrupt_99)
14004
14005
	$display("New interrupt %d", $signed(32'd99));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14006
      if (WILL_FIRE_RL_catchInterrupt_100)
14007
14008
	$display("New interrupt %d", $signed(32'd100));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14009
      if (WILL_FIRE_RL_catchInterrupt_101)
14010
14011
	$display("New interrupt %d", $signed(32'd101));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14012
      if (WILL_FIRE_RL_catchInterrupt_102)
14013
14014
	$display("New interrupt %d", $signed(32'd102));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14015
      if (WILL_FIRE_RL_catchInterrupt_103)
14016
14017
	$display("New interrupt %d", $signed(32'd103));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14018
      if (WILL_FIRE_RL_catchInterrupt_105)
14019
14020
	$display("New interrupt %d", $signed(32'd105));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14021
      if (WILL_FIRE_RL_catchInterrupt_106)
14022
14023
	$display("New interrupt %d", $signed(32'd106));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14024
      if (WILL_FIRE_RL_catchInterrupt_107)
14025
14026
	$display("New interrupt %d", $signed(32'd107));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14027
14028
      if (WILL_FIRE_RL_catchInterrupt_108)
	$display("New interrupt %d", $signed(32'd108));
14029
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14030
14031
      if (WILL_FIRE_RL_catchInterrupt_109)
	$display("New interrupt %d", $signed(32'd109));
14032
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14033
      if (WILL_FIRE_RL_catchInterrupt_110)
14034
	$display("New interrupt %d", $signed(32'd110));
14035
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14036
14037
14038
14039
      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)
14040
14041
	$display("New interrupt %d", $signed(32'd112));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14042
      if (WILL_FIRE_RL_catchInterrupt_113)
14043
14044
	$display("New interrupt %d", $signed(32'd113));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14045
      if (WILL_FIRE_RL_catchInterrupt_114)
14046
14047
	$display("New interrupt %d", $signed(32'd114));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14048
      if (WILL_FIRE_RL_catchInterrupt_115)
14049
14050
	$display("New interrupt %d", $signed(32'd115));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14051
      if (WILL_FIRE_RL_catchInterrupt_116)
14052
14053
	$display("New interrupt %d", $signed(32'd116));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14054
      if (WILL_FIRE_RL_catchInterrupt_117)
14055
	$display("New interrupt %d", $signed(32'd117));
14056
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14057
14058
14059
14060
      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)
14061
14062
	$display("New interrupt %d", $signed(32'd119));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14063
      if (WILL_FIRE_RL_catchInterrupt_120)
14064
14065
	$display("New interrupt %d", $signed(32'd120));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14066
      if (WILL_FIRE_RL_catchInterrupt_121)
14067
14068
	$display("New interrupt %d", $signed(32'd121));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14069
      if (WILL_FIRE_RL_catchInterrupt_122)
14070
14071
	$display("New interrupt %d", $signed(32'd122));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14072
      if (WILL_FIRE_RL_catchInterrupt_123)
14073
14074
	$display("New interrupt %d", $signed(32'd123));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14075
      if (WILL_FIRE_RL_catchInterrupt_124)
14076
14077
	$display("New interrupt %d", $signed(32'd124));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14078
      if (WILL_FIRE_RL_catchInterrupt_125)
14079
14080
	$display("New interrupt %d", $signed(32'd125));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14081
      if (WILL_FIRE_RL_catchInterrupt_126)
14082
14083
	$display("New interrupt %d", $signed(32'd126));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14084
      if (WILL_FIRE_RL_catchInterrupt_127)
14085
14086
	$display("New interrupt %d", $signed(32'd127));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14087
      if (WILL_FIRE_RL_catchInterrupt_128)
14088
14089
	$display("New interrupt %d", $signed(32'd128));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14090
      if (WILL_FIRE_RL_catchInterrupt_129)
14091
14092
	$display("New interrupt %d", $signed(32'd129));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14093
      if (WILL_FIRE_RL_catchInterrupt_130)
14094
14095
	$display("New interrupt %d", $signed(32'd130));
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14096
      if (WILL_FIRE_RL_catchInterrupt_131)
14097
	$display("New interrupt %d", $signed(32'd131));
14098
    if (S_AXI_ARESETN != `BSV_RESET_VALUE)
Jaco Hofmann's avatar
Jaco Hofmann committed
14099
14100
14101
14102
14103
14104
14105
14106
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
      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");
14168
14169
14170
14171
  end
  // synopsys translate_on
endmodule  // mkMSIXIntrCtrl
For faster browsing, not all history is shown. View entire blame