From 118355ca5b649888938bebbd37395d59d7c08c64 Mon Sep 17 00:00:00 2001 From: Luca Date: Sun, 29 Dec 2024 18:31:24 +0100 Subject: [PATCH] fix(pingxelflut): unreachable states --- pingxelflut.v | 36 ++++++++++++++++++------------------ 1 file changed, 18 insertions(+), 18 deletions(-) diff --git a/pingxelflut.v b/pingxelflut.v index be2fabd..a83bd9b 100644 --- a/pingxelflut.v +++ b/pingxelflut.v @@ -43,8 +43,6 @@ module pingxelflut #( localparam ETHER_TYPE_2 = 7'b0011011; localparam ETHER_TYPE_3 = 7'b0011100; - localparam IGNORE = 7'b0011111; - localparam TRAFFIC_CLASS_0 = 7'b0100000; localparam VERSION = 7'b0100001; localparam FLOW_LABEL_0 = 7'b0100010; @@ -63,22 +61,24 @@ module pingxelflut #( localparam HOP_LIMIT_1 = 7'b0101111; localparam SRC_ADDR_0 = 7'b0110000; localparam DEST_PREFIX_0 = 7'b1010000; - localparam X_0 = 7'b1110000; - localparam X_1 = 7'b1110001; - localparam X_2 = 7'b1110010; - localparam X_3 = 7'b1110011; - localparam Y_0 = 7'b1110100; - localparam Y_1 = 7'b1110101; - localparam Y_2 = 7'b1110110; - localparam Y_3 = 7'b1110111; - localparam RED_LOW = 7'b1111000; - localparam RED_HIGH = 7'b1111001; - localparam GREEN_LOW = 7'b1111010; - localparam GREEN_HIGH = 7'b1111011; - localparam BLUE_LOW = 7'b1111100; - localparam BLUE_HIGH = 7'b1111101; - localparam PADDING_LOW = 7'b1111110; - localparam PADDING_HIGH = 7'b1111111; + localparam X_0 = 7'b1100000; + localparam X_1 = 7'b1100001; + localparam X_2 = 7'b1100010; + localparam X_3 = 7'b1100011; + localparam Y_0 = 7'b1100100; + localparam Y_1 = 7'b1100101; + localparam Y_2 = 7'b1100110; + localparam Y_3 = 7'b1100111; + localparam RED_LOW = 7'b1101000; + localparam RED_HIGH = 7'b1101001; + localparam GREEN_LOW = 7'b1101010; + localparam GREEN_HIGH = 7'b1101011; + localparam BLUE_LOW = 7'b1101100; + localparam BLUE_HIGH = 7'b1101101; + localparam PADDING_LOW = 7'b1101110; + localparam PADDING_HIGH = 7'b1101111; + + localparam IGNORE = 7'b1111111; localparam ETHER_TYPE_IPV6 = 16'h86dd;