Remove z from default states for FSM inference

alexforencich · Mar 9, 2015 · 51b5335 · 51b5335
1 parent d73b296
commit 51b5335
Show file tree

Hide file tree

Showing 18 changed files with 18 additions and 18 deletions.
diff --git a/rtl/arp_eth_rx.v b/rtl/arp_eth_rx.v
@@ -181,7 +181,7 @@ assign error_header_early_termination = error_header_early_termination_reg;
 assign error_invalid_header = error_invalid_header_reg;
 
 always @* begin
-    state_next = 2'bz;
+    state_next = STATE_IDLE;
 
     input_eth_hdr_ready_next = 0;
     input_eth_payload_tready_next = 0;

diff --git a/rtl/arp_eth_rx_64.v b/rtl/arp_eth_rx_64.v
@@ -158,7 +158,7 @@ assign error_header_early_termination = error_header_early_termination_reg;
 assign error_invalid_header = error_invalid_header_reg;
 
 always @* begin
-    state_next = 2'bz;
+    state_next = STATE_IDLE;
 
     input_eth_hdr_ready_next = 0;
     input_eth_payload_tready_next = 0;

diff --git a/rtl/arp_eth_tx.v b/rtl/arp_eth_tx.v
@@ -139,7 +139,7 @@ assign output_eth_type = output_eth_type_reg;
 assign busy = busy_reg;
 
 always @* begin
-    state_next = 2'bz;
+    state_next = STATE_IDLE;
 
     input_frame_ready_next = 0;
 

diff --git a/rtl/arp_eth_tx_64.v b/rtl/arp_eth_tx_64.v
@@ -141,7 +141,7 @@ assign output_eth_type = output_eth_type_reg;
 assign busy = busy_reg;
 
 always @* begin
-    state_next = 2'bz;
+    state_next = STATE_IDLE;
 
     input_frame_ready_next = 0;
 

diff --git a/rtl/eth_axis_rx.v b/rtl/eth_axis_rx.v
@@ -133,7 +133,7 @@ assign busy = busy_reg;
 assign error_header_early_termination = error_header_early_termination_reg;
 
 always @* begin
-    state_next = 2'bz;
+    state_next = STATE_IDLE;
 
     input_axis_tready_next = 0;
 

diff --git a/rtl/eth_axis_rx_64.v b/rtl/eth_axis_rx_64.v
@@ -162,7 +162,7 @@ always @* begin
 end
 
 always @* begin
-    state_next = 2'bz;
+    state_next = STATE_IDLE;
 
     input_axis_tready_next = 0;
 

diff --git a/rtl/eth_axis_tx.v b/rtl/eth_axis_tx.v
@@ -113,7 +113,7 @@ assign input_eth_payload_tready = input_eth_payload_tready_reg;
 assign busy = busy_reg;
 
 always @* begin
-    state_next = 2'bz;
+    state_next = STATE_IDLE;
 
     input_eth_hdr_ready_next = 0;
     input_eth_payload_tready_next = 0;

diff --git a/rtl/eth_axis_tx_64.v b/rtl/eth_axis_tx_64.v
@@ -155,7 +155,7 @@ always @* begin
 end
 
 always @* begin
-    state_next = 2'bz;
+    state_next = STATE_IDLE;
 
     input_eth_hdr_ready_next = 0;
     input_eth_payload_tready_next = 0;

diff --git a/rtl/ip.v b/rtl/ip.v
@@ -253,7 +253,7 @@ assign arp_request_ip = input_ip_dest_ip;
 assign tx_error_arp_failed = arp_response_error;
 
 always @* begin
-    state_next = 8'bz;
+    state_next = STATE_IDLE;
 
     arp_request_valid_next = 0;
     drop_packet_next = 0;

diff --git a/rtl/ip_64.v b/rtl/ip_64.v
@@ -262,7 +262,7 @@ assign arp_request_ip = input_ip_dest_ip;
 assign tx_error_arp_failed = arp_response_error;
 
 always @* begin
-    state_next = 8'bz;
+    state_next = STATE_IDLE;
 
     arp_request_valid_next = 0;
     drop_packet_next = 0;

diff --git a/rtl/ip_eth_rx.v b/rtl/ip_eth_rx.v
@@ -227,7 +227,7 @@ function [15:0] add1c16b;
 endfunction
 
 always @* begin
-    state_next = 2'bz;
+    state_next = STATE_IDLE;
 
     input_eth_hdr_ready_next = 0;
     input_eth_payload_tready_next = 0;

diff --git a/rtl/ip_eth_rx_64.v b/rtl/ip_eth_rx_64.v
@@ -276,7 +276,7 @@ always @* begin
 end
 
 always @* begin
-    state_next = 2'bz;
+    state_next = STATE_IDLE;
 
     flush_save = 0;
     transfer_in_save = 0;

diff --git a/rtl/ip_eth_tx.v b/rtl/ip_eth_tx.v
@@ -180,7 +180,7 @@ function [15:0] add1c16b;
 endfunction
 
 always @* begin
-    state_next = 2'bz;
+    state_next = STATE_IDLE;
 
     input_ip_hdr_ready_next = 0;
     input_ip_payload_tready_next = 0;

diff --git a/rtl/ip_eth_tx_64.v b/rtl/ip_eth_tx_64.v
@@ -245,7 +245,7 @@ always @* begin
 end
 
 always @* begin
-    state_next = 2'bz;
+    state_next = STATE_IDLE;
 
     input_ip_hdr_ready_next = 0;
     input_ip_payload_tready_next = 0;

diff --git a/rtl/udp_ip_rx.v b/rtl/udp_ip_rx.v
@@ -229,7 +229,7 @@ assign error_header_early_termination = error_header_early_termination_reg;
 assign error_payload_early_termination = error_payload_early_termination_reg;
 
 always @* begin
-    state_next = 2'bz;
+    state_next = STATE_IDLE;
 
     input_ip_hdr_ready_next = 0;
     input_ip_payload_tready_next = 0;

diff --git a/rtl/udp_ip_rx_64.v b/rtl/udp_ip_rx_64.v
@@ -256,7 +256,7 @@ function [7:0] count2keep;
 endfunction
 
 always @* begin
-    state_next = 2'bz;
+    state_next = STATE_IDLE;
 
     input_ip_hdr_ready_next = 0;
     input_ip_payload_tready_next = 0;

diff --git a/rtl/udp_ip_tx.v b/rtl/udp_ip_tx.v
@@ -213,7 +213,7 @@ assign busy = busy_reg;
 assign error_payload_early_termination = error_payload_early_termination_reg;
 
 always @* begin
-    state_next = 2'bz;
+    state_next = STATE_IDLE;
 
     input_udp_hdr_ready_next = 0;
     input_udp_payload_tready_next = 0;

diff --git a/rtl/udp_ip_tx_64.v b/rtl/udp_ip_tx_64.v
@@ -247,7 +247,7 @@ function [7:0] count2keep;
 endfunction
 
 always @* begin
-    state_next = 2'bz;
+    state_next = STATE_IDLE;
 
     input_udp_hdr_ready_next = 0;
     input_udp_payload_tready_next = 0;