From 841dd13681d80b8769d4430b3d64ba5a6421ac98 Mon Sep 17 00:00:00 2001
From: Varun Koyyalagunta <vkoyyalagunta@tenstorrent.com>
Date: Wed, 1 May 2024 23:39:59 -0500
Subject: [PATCH] Add failing test

---
 ...concat_index_ternary_subtract_underflow.pl |  23 ++++
 ..._concat_index_ternary_subtract_underflow.v | 114 ++++++++++++++++++
 2 files changed, 137 insertions(+)
 create mode 100755 test_regress/t/t_concat_index_ternary_subtract_underflow.pl
 create mode 100644 test_regress/t/t_concat_index_ternary_subtract_underflow.v

diff --git a/test_regress/t/t_concat_index_ternary_subtract_underflow.pl b/test_regress/t/t_concat_index_ternary_subtract_underflow.pl
new file mode 100755
index 0000000000..7175179609
--- /dev/null
+++ b/test_regress/t/t_concat_index_ternary_subtract_underflow.pl
@@ -0,0 +1,23 @@
+#!/usr/bin/env perl
+if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); die; }
+# DESCRIPTION: Verilator: Verilog Test driver/expect definition
+#
+# Copyright 2024 by Varun Koyyalagunta. This program is free software; you
+# can redistribute it and/or modify it under the terms of either the GNU
+# Lesser General Public License Version 3 or the Perl Artistic License
+# Version 2.0.
+# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
+
+scenarios(simulator => 1);
+
+compile(
+    timing_loop => 1,
+    verilator_flags2 => ['--binary --timing -Wno-ZERODLY'],
+    );
+
+execute(
+    check_finished => 1,
+    );
+
+ok(1);
+1;
diff --git a/test_regress/t/t_concat_index_ternary_subtract_underflow.v b/test_regress/t/t_concat_index_ternary_subtract_underflow.v
new file mode 100644
index 0000000000..08c4ee250e
--- /dev/null
+++ b/test_regress/t/t_concat_index_ternary_subtract_underflow.v
@@ -0,0 +1,114 @@
+// DESCRIPTION: Verilator: Verilog Test module
+//
+// Use this file as a template for submitting bugs, etc.
+// This module takes a single clock input, and should either
+//      $write("*-* All Finished *-*\n");
+//      $finish;
+// on success, or $stop.
+//
+// The code as shown applies a random vector to the Test
+// module, then calculates a CRC on the Test module's outputs.
+//
+// **If you do not wish for your code to be released to the public
+// please note it here, otherwise:**
+//
+// This file ONLY is placed under the Creative Commons Public Domain, for
+// any use, without warranty, 2024 by Varun Koyyalagunta.
+// SPDX-License-Identifier: CC0-1.0
+
+module t();
+
+   logic clk = '0;
+   always #5 clk = ~clk;
+
+   integer cyc = 0;
+   reg [63:0] crc;
+   reg [63:0] sum;
+
+   // Take CRC data and apply to testblock inputs
+   wire [31:0] in = crc[31:0];
+
+   /*AUTOWIRE*/
+   // Beginning of automatic wires (for undeclared instantiated-module outputs)
+   wire [31:0]          out;                    // From test of Test.v
+   // End of automatics
+
+   Test test(/*AUTOINST*/
+             // Outputs
+             .out                       (out[31:0]),
+             // Inputs
+             .clk                       (clk),
+             .in                        (in[31:0]));
+
+   // Aggregate outputs into a single result vector
+   wire [63:0] result = {32'h0, out};
+
+   // Test loop
+   always @ (posedge clk) begin
+`ifdef TEST_VERBOSE
+      $write("[%0t] cyc==%0d crc=%x result=%x\n", $time, cyc, crc, result);
+`endif
+      cyc <= cyc + 1;
+      crc <= {crc[62:0], crc[63] ^ crc[2] ^ crc[0]};
+      sum <= result ^ {sum[62:0], sum[63] ^ sum[2] ^ sum[0]};
+      if (cyc == 0) begin
+         // Setup
+         crc <= 64'h5aef0c8d_d70a4497;
+         sum <= '0;
+      end
+      else if (cyc < 10) begin
+         sum <= '0;
+      end
+      else if (cyc < 90) begin
+      end
+      else if (cyc == 99) begin
+         $write("[%0t] cyc==%0d crc=%x sum=%x\n", $time, cyc, crc, sum);
+         if (crc !== 64'hc77bb9b3784ea091) $stop;
+         // What checksum will we end up with (above print should match)
+`define EXPECTED_SUM 64'h4afe43fb79d7b71e
+         if (sum !== `EXPECTED_SUM) $stop;
+         $write("*-* All Finished *-*\n");
+         $finish;
+      end
+   end
+
+endmodule
+
+module Test(/*AUTOARG*/
+   // Outputs
+   out,
+   // Inputs
+   clk, in
+   );
+
+   // Replace this module with the device under test.
+   //
+   // Change the code in the t module to apply values to the inputs and
+   // merge the output values into the result vector.
+
+   input clk;
+   input [31:0] in;
+   output reg [31:0] out;
+
+   logic[31:0] cnt = 0;
+   logic [7:0][30:0] q;
+   logic cond = 0;
+
+   always_comb begin
+       for (int i = 0; i < 8; i++) begin
+           if (i == (cond ? (2-cnt)%8 : 0)) begin
+               q[i] = 31'(in);
+           end else begin
+               q[i] = '0;
+           end
+       end
+   end
+
+   always @(posedge clk) begin
+      cnt <= cnt + 1;
+      cond <= ~cond;
+      /* verilator lint_off WIDTHEXPAND */
+      out <= {in[31], q[cond ? 3'd2 - cnt[2:0] : 3'd0]};
+      /* verilator lint_on WIDTHEXPAND */
+   end
+endmodule