mkBlueDMA.v 264 KB
Newer Older
Jaco Hofmann's avatar
Jaco Hofmann committed
6001
6002
6003
6004
6005
6006
6007
6008
6009
6010
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_3 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_4 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_4 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_5 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_5 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_6 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_6 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_7 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_7 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_8 ||
6011
6012
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_8))
	$display("Error: \"../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, RL_s_config_axiReadSpecial_4,\n  RL_s_config_axiReadSpecialIsHandled_4, RL_s_config_axiReadSpecial_5,\n  RL_s_config_axiReadSpecialIsHandled_5, RL_s_config_axiReadSpecial_6,\n  RL_s_config_axiReadSpecialIsHandled_6, RL_s_config_axiReadSpecial_7,\n  RL_s_config_axiReadSpecialIsHandled_7, RL_s_config_axiReadSpecial_8,\n  RL_s_config_axiReadSpecialIsHandled_8] ) fired in the same clock cycle.\n");
Jaco Hofmann's avatar
Jaco Hofmann committed
6013
6014
6015
6016
6017
6018
6019
6020
6021
6022
6023
6024
6025
6026
    if (RST_N != `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 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_4 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_4 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_5 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_5 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_6 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_6 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_7 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_7 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_8 ||
6027
6028
6029
6030
6031
6032
6033
6034
6035
6036
6037
6038
6039
6040
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_8))
	$display("Error: \"../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, RL_s_config_axiReadSpecial_4,\n  RL_s_config_axiReadSpecialIsHandled_4, RL_s_config_axiReadSpecial_5,\n  RL_s_config_axiReadSpecialIsHandled_5, RL_s_config_axiReadSpecial_6,\n  RL_s_config_axiReadSpecialIsHandled_6, RL_s_config_axiReadSpecial_7,\n  RL_s_config_axiReadSpecialIsHandled_7, RL_s_config_axiReadSpecial_8,\n  RL_s_config_axiReadSpecialIsHandled_8] ) fired in the same clock cycle.\n");
    if (RST_N != `BSV_RESET_VALUE)
      if ((WILL_FIRE_RL_s_config_axiReadSpecial_4 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_4) &&
	  (WILL_FIRE_RL_s_config_axiReadSpecial_5 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_5 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_6 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_6 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_7 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_7 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_8 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_8))
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 119, column 18: (R0001)\n  Mutually exclusive rules (from the ME sets [RL_s_config_axiReadSpecial_4,\n  RL_s_config_axiReadSpecialIsHandled_4] and [RL_s_config_axiReadSpecial_5,\n  RL_s_config_axiReadSpecialIsHandled_5, RL_s_config_axiReadSpecial_6,\n  RL_s_config_axiReadSpecialIsHandled_6, RL_s_config_axiReadSpecial_7,\n  RL_s_config_axiReadSpecialIsHandled_7, RL_s_config_axiReadSpecial_8,\n  RL_s_config_axiReadSpecialIsHandled_8] ) fired in the same clock cycle.\n");
Jaco Hofmann's avatar
Jaco Hofmann committed
6041
6042
6043
6044
6045
6046
6047
6048
6049
6050
6051
6052
    if (RST_N != `BSV_RESET_VALUE)
      if ((WILL_FIRE_RL_s_config_axiReadSpecial_3 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_3) &&
	  (WILL_FIRE_RL_s_config_axiReadSpecial_4 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_4 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_5 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_5 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_6 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_6 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_7 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_7 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_8 ||
6053
6054
6055
6056
6057
6058
6059
6060
6061
6062
6063
6064
6065
6066
6067
6068
6069
6070
6071
6072
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_8))
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 119, column 18: (R0001)\n  Mutually exclusive rules (from the ME sets [RL_s_config_axiReadSpecial_3,\n  RL_s_config_axiReadSpecialIsHandled_3] and [RL_s_config_axiReadSpecial_4,\n  RL_s_config_axiReadSpecialIsHandled_4, RL_s_config_axiReadSpecial_5,\n  RL_s_config_axiReadSpecialIsHandled_5, RL_s_config_axiReadSpecial_6,\n  RL_s_config_axiReadSpecialIsHandled_6, RL_s_config_axiReadSpecial_7,\n  RL_s_config_axiReadSpecialIsHandled_7, RL_s_config_axiReadSpecial_8,\n  RL_s_config_axiReadSpecialIsHandled_8] ) fired in the same clock cycle.\n");
    if (RST_N != `BSV_RESET_VALUE)
      if ((WILL_FIRE_RL_s_config_axiReadSpecial_5 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_5) &&
	  (WILL_FIRE_RL_s_config_axiReadSpecial_6 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_6 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_7 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_7 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_8 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_8))
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 119, column 18: (R0001)\n  Mutually exclusive rules (from the ME sets [RL_s_config_axiReadSpecial_5,\n  RL_s_config_axiReadSpecialIsHandled_5] and [RL_s_config_axiReadSpecial_6,\n  RL_s_config_axiReadSpecialIsHandled_6, RL_s_config_axiReadSpecial_7,\n  RL_s_config_axiReadSpecialIsHandled_7, RL_s_config_axiReadSpecial_8,\n  RL_s_config_axiReadSpecialIsHandled_8] ) fired in the same clock cycle.\n");
    if (RST_N != `BSV_RESET_VALUE)
      if ((WILL_FIRE_RL_s_config_axiReadSpecial_6 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_6) &&
	  (WILL_FIRE_RL_s_config_axiReadSpecial_7 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_7 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_8 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_8))
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 119, column 18: (R0001)\n  Mutually exclusive rules (from the ME sets [RL_s_config_axiReadSpecial_6,\n  RL_s_config_axiReadSpecialIsHandled_6] and [RL_s_config_axiReadSpecial_7,\n  RL_s_config_axiReadSpecialIsHandled_7, RL_s_config_axiReadSpecial_8,\n  RL_s_config_axiReadSpecialIsHandled_8] ) fired in the same clock cycle.\n");
Jaco Hofmann's avatar
Jaco Hofmann committed
6073
6074
6075
6076
6077
6078
6079
6080
6081
6082
6083
6084
6085
6086
6087
6088
6089
6090
    if (RST_N != `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 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_4 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_4 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_5 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_5 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_6 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_6 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_7 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_7 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_8 ||
6091
6092
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_8))
	$display("Error: \"../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, RL_s_config_axiReadSpecial_4,\n  RL_s_config_axiReadSpecialIsHandled_4, RL_s_config_axiReadSpecial_5,\n  RL_s_config_axiReadSpecialIsHandled_5, RL_s_config_axiReadSpecial_6,\n  RL_s_config_axiReadSpecialIsHandled_6, RL_s_config_axiReadSpecial_7,\n  RL_s_config_axiReadSpecialIsHandled_7, RL_s_config_axiReadSpecial_8,\n  RL_s_config_axiReadSpecialIsHandled_8] ) fired in the same clock cycle.\n");
Jaco Hofmann's avatar
Jaco Hofmann committed
6093
6094
6095
6096
6097
6098
6099
6100
6101
6102
6103
6104
6105
6106
6107
6108
6109
6110
    if (RST_N != `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 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_4 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_4 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_5 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_5 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_6 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_6 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_7 ||
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_7 ||
	   WILL_FIRE_RL_s_config_axiReadSpecial_8 ||
6111
	   WILL_FIRE_RL_s_config_axiReadSpecialIsHandled_8) &&
Jaco Hofmann's avatar
Jaco Hofmann committed
6112
	  WILL_FIRE_RL_s_config_axiReadFallback)
6113
	$display("Error: \"../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, 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, RL_s_config_axiReadSpecial_4,\n  RL_s_config_axiReadSpecialIsHandled_4, RL_s_config_axiReadSpecial_5,\n  RL_s_config_axiReadSpecialIsHandled_5, RL_s_config_axiReadSpecial_6,\n  RL_s_config_axiReadSpecialIsHandled_6, RL_s_config_axiReadSpecial_7,\n  RL_s_config_axiReadSpecialIsHandled_7, RL_s_config_axiReadSpecial_8,\n  RL_s_config_axiReadSpecialIsHandled_8] and [RL_s_config_axiReadFallback] )\n  fired in the same clock cycle.\n");
Jens Korinth's avatar
Jens Korinth committed
6114
    if (RST_N != `BSV_RESET_VALUE)
6115
6116
6117
6118
6119
6120
6121
6122
6123
6124
6125
6126
6127
6128
6129
6130
6131
6132
6133
6134
6135
6136
6137
6138
6139
6140
6141
6142
6143
6144
6145
6146
6147
6148
6149
6150
6151
      if (WILL_FIRE_RL_s_config_1_axiWriteSpecial_6 &&
	  WILL_FIRE_RL_s_config_1_axiWriteSpecial_5)
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 207, column 18: (R0002)\n  Conflict-free rules RL_s_config_1_axiWriteSpecial_6 and\n  RL_s_config_1_axiWriteSpecial_5 called conflicting methods first and deq of\n  module instance s_config_writeSlave_in.\n");
    if (RST_N != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_s_config_1_axiWriteSpecial_6 &&
	  WILL_FIRE_RL_s_config_1_axiWriteSpecial_5)
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 207, column 18: (R0002)\n  Conflict-free rules RL_s_config_1_axiWriteSpecial_6 and\n  RL_s_config_1_axiWriteSpecial_5 called conflicting methods deq and deq of\n  module instance s_config_writeSlave_in.\n");
    if (RST_N != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_s_config_1_axiWriteSpecial_6 &&
	  WILL_FIRE_RL_s_config_1_axiWriteSpecial_5)
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 207, column 18: (R0002)\n  Conflict-free rules RL_s_config_1_axiWriteSpecial_6 and\n  RL_s_config_1_axiWriteSpecial_5 called conflicting methods enq and enq of\n  module instance s_config_writeSlave_out.\n");
    if (RST_N != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_s_config_1_axiWriteSpecial_6 &&
	  WILL_FIRE_RL_s_config_1_axiWriteSpecial_4)
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 207, column 18: (R0002)\n  Conflict-free rules RL_s_config_1_axiWriteSpecial_6 and\n  RL_s_config_1_axiWriteSpecial_4 called conflicting methods first and deq of\n  module instance s_config_writeSlave_in.\n");
    if (RST_N != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_s_config_1_axiWriteSpecial_6 &&
	  WILL_FIRE_RL_s_config_1_axiWriteSpecial_4)
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 207, column 18: (R0002)\n  Conflict-free rules RL_s_config_1_axiWriteSpecial_6 and\n  RL_s_config_1_axiWriteSpecial_4 called conflicting methods deq and deq of\n  module instance s_config_writeSlave_in.\n");
    if (RST_N != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_s_config_1_axiWriteSpecial_6 &&
	  WILL_FIRE_RL_s_config_1_axiWriteSpecial_4)
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 207, column 18: (R0002)\n  Conflict-free rules RL_s_config_1_axiWriteSpecial_6 and\n  RL_s_config_1_axiWriteSpecial_4 called conflicting methods enq and enq of\n  module instance s_config_writeSlave_out.\n");
    if (RST_N != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_s_config_1_axiWriteSpecial_6 &&
	  WILL_FIRE_RL_s_config_1_axiWriteSpecial_3)
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 207, column 18: (R0002)\n  Conflict-free rules RL_s_config_1_axiWriteSpecial_6 and\n  RL_s_config_1_axiWriteSpecial_3 called conflicting methods first and deq of\n  module instance s_config_writeSlave_in.\n");
    if (RST_N != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_s_config_1_axiWriteSpecial_6 &&
	  WILL_FIRE_RL_s_config_1_axiWriteSpecial_3)
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 207, column 18: (R0002)\n  Conflict-free rules RL_s_config_1_axiWriteSpecial_6 and\n  RL_s_config_1_axiWriteSpecial_3 called conflicting methods deq and deq of\n  module instance s_config_writeSlave_in.\n");
    if (RST_N != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_s_config_1_axiWriteSpecial_6 &&
	  WILL_FIRE_RL_s_config_1_axiWriteSpecial_3)
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 207, column 18: (R0002)\n  Conflict-free rules RL_s_config_1_axiWriteSpecial_6 and\n  RL_s_config_1_axiWriteSpecial_3 called conflicting methods enq and enq of\n  module instance s_config_writeSlave_out.\n");
    if (RST_N != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_s_config_1_axiWriteSpecial_6 &&
Jaco Hofmann's avatar
Jaco Hofmann committed
6152
	  WILL_FIRE_RL_s_config_1_axiWriteSpecial_2)
6153
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 207, column 18: (R0002)\n  Conflict-free rules RL_s_config_1_axiWriteSpecial_6 and\n  RL_s_config_1_axiWriteSpecial_2 called conflicting methods first and deq of\n  module instance s_config_writeSlave_in.\n");
Jens Korinth's avatar
Jens Korinth committed
6154
    if (RST_N != `BSV_RESET_VALUE)
6155
      if (WILL_FIRE_RL_s_config_1_axiWriteSpecial_6 &&
Jaco Hofmann's avatar
Jaco Hofmann committed
6156
	  WILL_FIRE_RL_s_config_1_axiWriteSpecial_2)
6157
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 207, column 18: (R0002)\n  Conflict-free rules RL_s_config_1_axiWriteSpecial_6 and\n  RL_s_config_1_axiWriteSpecial_2 called conflicting methods deq and deq of\n  module instance s_config_writeSlave_in.\n");
Jens Korinth's avatar
Jens Korinth committed
6158
    if (RST_N != `BSV_RESET_VALUE)
6159
      if (WILL_FIRE_RL_s_config_1_axiWriteSpecial_6 &&
Jaco Hofmann's avatar
Jaco Hofmann committed
6160
	  WILL_FIRE_RL_s_config_1_axiWriteSpecial_2)
6161
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 207, column 18: (R0002)\n  Conflict-free rules RL_s_config_1_axiWriteSpecial_6 and\n  RL_s_config_1_axiWriteSpecial_2 called conflicting methods enq and enq of\n  module instance s_config_writeSlave_out.\n");
Jens Korinth's avatar
Jens Korinth committed
6162
    if (RST_N != `BSV_RESET_VALUE)
6163
      if (WILL_FIRE_RL_s_config_1_axiWriteSpecial_6 &&
Jaco Hofmann's avatar
Jaco Hofmann committed
6164
	  WILL_FIRE_RL_s_config_1_axiWriteSpecial_1)
6165
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 207, column 18: (R0002)\n  Conflict-free rules RL_s_config_1_axiWriteSpecial_6 and\n  RL_s_config_1_axiWriteSpecial_1 called conflicting methods first and deq of\n  module instance s_config_writeSlave_in.\n");
Jens Korinth's avatar
Jens Korinth committed
6166
    if (RST_N != `BSV_RESET_VALUE)
6167
      if (WILL_FIRE_RL_s_config_1_axiWriteSpecial_6 &&
Jaco Hofmann's avatar
Jaco Hofmann committed
6168
	  WILL_FIRE_RL_s_config_1_axiWriteSpecial_1)
6169
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 207, column 18: (R0002)\n  Conflict-free rules RL_s_config_1_axiWriteSpecial_6 and\n  RL_s_config_1_axiWriteSpecial_1 called conflicting methods deq and deq of\n  module instance s_config_writeSlave_in.\n");
Jens Korinth's avatar
Jens Korinth committed
6170
    if (RST_N != `BSV_RESET_VALUE)
6171
      if (WILL_FIRE_RL_s_config_1_axiWriteSpecial_6 &&
Jaco Hofmann's avatar
Jaco Hofmann committed
6172
	  WILL_FIRE_RL_s_config_1_axiWriteSpecial_1)
6173
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 207, column 18: (R0002)\n  Conflict-free rules RL_s_config_1_axiWriteSpecial_6 and\n  RL_s_config_1_axiWriteSpecial_1 called conflicting methods enq and enq of\n  module instance s_config_writeSlave_out.\n");
Jens Korinth's avatar
Jens Korinth committed
6174
    if (RST_N != `BSV_RESET_VALUE)
6175
      if (WILL_FIRE_RL_s_config_1_axiWriteSpecial_6 &&
Jaco Hofmann's avatar
Jaco Hofmann committed
6176
	  WILL_FIRE_RL_s_config_1_axiWriteSpecial)
6177
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 207, column 18: (R0002)\n  Conflict-free rules RL_s_config_1_axiWriteSpecial_6 and\n  RL_s_config_1_axiWriteSpecial called conflicting methods first and deq of\n  module instance s_config_writeSlave_in.\n");
Jens Korinth's avatar
Jens Korinth committed
6178
    if (RST_N != `BSV_RESET_VALUE)
6179
      if (WILL_FIRE_RL_s_config_1_axiWriteSpecial_6 &&
Jaco Hofmann's avatar
Jaco Hofmann committed
6180
	  WILL_FIRE_RL_s_config_1_axiWriteSpecial)
6181
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 207, column 18: (R0002)\n  Conflict-free rules RL_s_config_1_axiWriteSpecial_6 and\n  RL_s_config_1_axiWriteSpecial called conflicting methods deq and deq of\n  module instance s_config_writeSlave_in.\n");
Jens Korinth's avatar
Jens Korinth committed
6182
    if (RST_N != `BSV_RESET_VALUE)
6183
      if (WILL_FIRE_RL_s_config_1_axiWriteSpecial_6 &&
Jens Korinth's avatar
Jens Korinth committed
6184
	  WILL_FIRE_RL_s_config_1_axiWriteSpecial)
6185
	$display("Error: \"../BlueAXI/src/GenericAxi4LiteSlave.bsv\", line 207, column 18: (R0002)\n  Conflict-free rules RL_s_config_1_axiWriteSpecial_6 and\n  RL_s_config_1_axiWriteSpecial called conflicting methods enq and enq of\n  module instance s_config_writeSlave_out.\n");
Jaco Hofmann's avatar
Jaco Hofmann committed
6186
6187
6188
6189
6190
6191
6192
6193
6194
6195
6196
6197
6198
  end
  // synopsys translate_on

  // synopsys translate_off
  always@(negedge CLK_m32_axi_aclk)
  begin
    #0;
    if (RST_N_m32_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_fpga_wr_reqGen_finishRequest)
	$display("[WRITE] request:");
    if (RST_N_m32_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_fpga_wr_reqGen_finishRequest)
	$display("[WRITE] bytes_first: %d",
Jaco Hofmann's avatar
Jaco Hofmann committed
6199
		 m_fpga_wr_reqGen_intermediateBuffer2$D_OUT[201:196]);
Jaco Hofmann's avatar
Jaco Hofmann committed
6200
6201
6202
    if (RST_N_m32_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_fpga_wr_reqGen_finishRequest)
	$display("[WRITE] bytes_last: %d",
Jaco Hofmann's avatar
Jaco Hofmann committed
6203
		 m_fpga_wr_reqGen_intermediateBuffer2$D_OUT[195:190]);
Jaco Hofmann's avatar
Jaco Hofmann committed
6204
6205
6206
    if (RST_N_m32_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_fpga_wr_reqGen_finishRequest)
	$display("[WRITE] transfers_total: %d",
Jaco Hofmann's avatar
Jaco Hofmann committed
6207
		 m_fpga_wr_reqGen_intermediateBuffer2$D_OUT[189:132]);
Jaco Hofmann's avatar
Jaco Hofmann committed
6208
6209
6210
    if (RST_N_m32_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_fpga_wr_reqGen_finishRequest)
	$display("[WRITE] addr_offset: %d",
Jaco Hofmann's avatar
Jaco Hofmann committed
6211
		 m_fpga_wr_reqGen_intermediateBuffer2$D_OUT[73:68]);
Jaco Hofmann's avatar
Jaco Hofmann committed
6212
6213
6214
    if (RST_N_m32_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_fpga_wr_reqGen_finishRequest)
	$display("[WRITE] requests_last: %d",
Jaco Hofmann's avatar
Jaco Hofmann committed
6215
		 m_fpga_wr_reqGen_intermediateBuffer2$D_OUT[139:132]);
Jaco Hofmann's avatar
Jaco Hofmann committed
6216
6217
6218
    if (RST_N_m32_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_fpga_wr_reqGen_finishRequest)
	$display("[WRITE] requests_total: %d",
6219
		 request_data_requests_total__h40497);
Jaco Hofmann's avatar
Jaco Hofmann committed
6220
6221
    if (RST_N_m32_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_fpga_wr_reqGen_finishRequest)
6222
	$display("[WRITE] address: %x", request_data_address__h40498);
Jaco Hofmann's avatar
Jaco Hofmann committed
6223
6224
6225
6226
6227
6228
    if (RST_N_m32_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_fpga_rd_reqGen_finishRequest)
	$display("[READ] request:");
    if (RST_N_m32_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_fpga_rd_reqGen_finishRequest)
	$display("[READ] bytes_first: %d",
Jaco Hofmann's avatar
Jaco Hofmann committed
6229
		 m_fpga_rd_reqGen_intermediateBuffer2$D_OUT[201:196]);
Jaco Hofmann's avatar
Jaco Hofmann committed
6230
6231
6232
    if (RST_N_m32_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_fpga_rd_reqGen_finishRequest)
	$display("[READ] bytes_last: %d",
Jaco Hofmann's avatar
Jaco Hofmann committed
6233
		 m_fpga_rd_reqGen_intermediateBuffer2$D_OUT[195:190]);
Jaco Hofmann's avatar
Jaco Hofmann committed
6234
6235
6236
    if (RST_N_m32_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_fpga_rd_reqGen_finishRequest)
	$display("[READ] transfers_total: %d",
Jaco Hofmann's avatar
Jaco Hofmann committed
6237
		 m_fpga_rd_reqGen_intermediateBuffer2$D_OUT[189:132]);
Jaco Hofmann's avatar
Jaco Hofmann committed
6238
6239
6240
    if (RST_N_m32_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_fpga_rd_reqGen_finishRequest)
	$display("[READ] addr_offset: %d",
Jaco Hofmann's avatar
Jaco Hofmann committed
6241
		 m_fpga_rd_reqGen_intermediateBuffer2$D_OUT[73:68]);
Jaco Hofmann's avatar
Jaco Hofmann committed
6242
6243
6244
    if (RST_N_m32_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_fpga_rd_reqGen_finishRequest)
	$display("[READ] requests_last: %d",
Jaco Hofmann's avatar
Jaco Hofmann committed
6245
		 m_fpga_rd_reqGen_intermediateBuffer2$D_OUT[139:132]);
Jaco Hofmann's avatar
Jaco Hofmann committed
6246
6247
6248
    if (RST_N_m32_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_fpga_rd_reqGen_finishRequest)
	$display("[READ] requests_total: %d",
6249
		 request_data_requests_total__h55844);
Jaco Hofmann's avatar
Jaco Hofmann committed
6250
6251
    if (RST_N_m32_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_fpga_rd_reqGen_finishRequest)
6252
	$display("[READ] address: %x", request_data_address__h55845);
Jaco Hofmann's avatar
Jaco Hofmann committed
6253
6254
6255
6256
6257
6258
6259
6260
6261
6262
6263
6264
6265
  end
  // synopsys translate_on

  // synopsys translate_off
  always@(negedge CLK_m64_axi_aclk)
  begin
    #0;
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_pcie_wr_reqGen_finishRequest)
	$display("[WRITE] request:");
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_pcie_wr_reqGen_finishRequest)
	$display("[WRITE] bytes_first: %d",
Jaco Hofmann's avatar
Jaco Hofmann committed
6266
		 m_pcie_wr_reqGen_intermediateBuffer2$D_OUT[200:196]);
Jaco Hofmann's avatar
Jaco Hofmann committed
6267
6268
6269
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_pcie_wr_reqGen_finishRequest)
	$display("[WRITE] bytes_last: %d",
Jaco Hofmann's avatar
Jaco Hofmann committed
6270
		 m_pcie_wr_reqGen_intermediateBuffer2$D_OUT[195:191]);
Jaco Hofmann's avatar
Jaco Hofmann committed
6271
6272
6273
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_pcie_wr_reqGen_finishRequest)
	$display("[WRITE] transfers_total: %d",
Jaco Hofmann's avatar
Jaco Hofmann committed
6274
		 m_pcie_wr_reqGen_intermediateBuffer2$D_OUT[190:132]);
Jaco Hofmann's avatar
Jaco Hofmann committed
6275
6276
6277
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_pcie_wr_reqGen_finishRequest)
	$display("[WRITE] addr_offset: %d",
Jaco Hofmann's avatar
Jaco Hofmann committed
6278
		 m_pcie_wr_reqGen_intermediateBuffer2$D_OUT[72:68]);
Jaco Hofmann's avatar
Jaco Hofmann committed
6279
6280
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_pcie_wr_reqGen_finishRequest)
6281
	$display("[WRITE] requests_last: %d", requests_last__h26617);
Jaco Hofmann's avatar
Jaco Hofmann committed
6282
6283
6284
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_pcie_wr_reqGen_finishRequest)
	$display("[WRITE] requests_total: %d",
6285
		 request_data_requests_total__h26654);
Jaco Hofmann's avatar
Jaco Hofmann committed
6286
6287
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_pcie_wr_reqGen_finishRequest)
6288
	$display("[WRITE] address: %x", request_data_address__h26655);
Jaco Hofmann's avatar
Jaco Hofmann committed
6289
6290
6291
6292
6293
6294
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_pcie_rd_reqGen_finishRequest)
	$display("[READ] request:");
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_pcie_rd_reqGen_finishRequest)
	$display("[READ] bytes_first: %d",
Jaco Hofmann's avatar
Jaco Hofmann committed
6295
		 m_pcie_rd_reqGen_intermediateBuffer2$D_OUT[200:196]);
Jaco Hofmann's avatar
Jaco Hofmann committed
6296
6297
6298
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_pcie_rd_reqGen_finishRequest)
	$display("[READ] bytes_last: %d",
Jaco Hofmann's avatar
Jaco Hofmann committed
6299
		 m_pcie_rd_reqGen_intermediateBuffer2$D_OUT[195:191]);
Jaco Hofmann's avatar
Jaco Hofmann committed
6300
6301
6302
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_pcie_rd_reqGen_finishRequest)
	$display("[READ] transfers_total: %d",
Jaco Hofmann's avatar
Jaco Hofmann committed
6303
		 m_pcie_rd_reqGen_intermediateBuffer2$D_OUT[190:132]);
Jaco Hofmann's avatar
Jaco Hofmann committed
6304
6305
6306
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_pcie_rd_reqGen_finishRequest)
	$display("[READ] addr_offset: %d",
Jaco Hofmann's avatar
Jaco Hofmann committed
6307
		 m_pcie_rd_reqGen_intermediateBuffer2$D_OUT[72:68]);
Jaco Hofmann's avatar
Jaco Hofmann committed
6308
6309
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_pcie_rd_reqGen_finishRequest)
6310
	$display("[READ] requests_last: %d", requests_last__h36571);
Jaco Hofmann's avatar
Jaco Hofmann committed
6311
6312
6313
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_pcie_rd_reqGen_finishRequest)
	$display("[READ] requests_total: %d",
6314
		 request_data_requests_total__h36608);
Jaco Hofmann's avatar
Jaco Hofmann committed
6315
6316
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_m_pcie_rd_reqGen_finishRequest)
6317
	$display("[READ] address: %x", request_data_address__h36609);
Jaco Hofmann's avatar
Jaco Hofmann committed
6318
6319
6320
6321
6322
6323
6324
6325
6326
6327
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (byteAlignerReader_addr_ff$dEMPTY_N) $display("Init data:");
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (byteAlignerReader_addr_ff$dEMPTY_N)
	$display("Alignment_initial %d",
		 $unsigned(byteAlignerReader_addr_ff$dD_OUT[68:64]));
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (byteAlignerReader_addr_ff$dEMPTY_N)
	$display("addr_1_alignment %d",
		 $unsigned(byteAlignerReader_addr_ff$dD_OUT[132:128]));
Jaco Hofmann's avatar
Jaco Hofmann committed
6328
6329
6330
6331
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_byteAlignerReader_forwardOutput &&
	  WILL_FIRE_RL_byteAlignerReader_forwardOutputLast)
	$display("Error: \"/home/wimi/jah/projects/Bluespec/done/BlueDMA/src/ByteAligner.bsv\", line 119, column 32: (R0001)\n  Mutually exclusive rules (from the ME sets\n  [RL_byteAlignerReader_forwardOutput] and\n  [RL_byteAlignerReader_forwardOutputLast] ) fired in the same clock cycle.\n");
Jaco Hofmann's avatar
Jaco Hofmann committed
6332
6333
6334
6335
6336
6337
6338
6339
6340
6341
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (byteAlignerWriter_addr_ff$dEMPTY_N) $display("Init data:");
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (byteAlignerWriter_addr_ff$dEMPTY_N)
	$display("Alignment_initial %d",
		 $unsigned(byteAlignerWriter_addr_ff$dD_OUT[68:64]));
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (byteAlignerWriter_addr_ff$dEMPTY_N)
	$display("addr_1_alignment %d",
		 $unsigned(byteAlignerWriter_addr_ff$dD_OUT[132:128]));
Jaco Hofmann's avatar
Jaco Hofmann committed
6342
6343
6344
6345
    if (RST_N_m64_axi_arestn != `BSV_RESET_VALUE)
      if (WILL_FIRE_RL_byteAlignerWriter_forwardOutput &&
	  WILL_FIRE_RL_byteAlignerWriter_forwardOutputLast)
	$display("Error: \"/home/wimi/jah/projects/Bluespec/done/BlueDMA/src/ByteAligner.bsv\", line 119, column 32: (R0001)\n  Mutually exclusive rules (from the ME sets\n  [RL_byteAlignerWriter_forwardOutput] and\n  [RL_byteAlignerWriter_forwardOutputLast] ) fired in the same clock cycle.\n");
Jens Korinth's avatar
Jens Korinth committed
6346
6347
6348
6349
  end
  // synopsys translate_on
endmodule  // mkBlueDMA
For faster browsing, not all history is shown. View entire blame