verilator/test_regress/t/t_with.v

// DESCRIPTION: Verilator: Verilog Test module for SystemVerilog 'alias'
//
// Simple bi-directional alias test.
//
// This file ONLY is placed under the Creative Commons Public Domain, for
// any use, without warranty, 2020 by Wilson Snyder.
// SPDX-License-Identifier: CC0-1.0

module t (/*AUTOARG*/);

   initial begin
      int tofind;
      int aliases[$];
      int found[$];
      int id;
      int i;

      aliases = '{ 1, 4, 6, 8};
      tofind = 6;
      found = aliases.find with (item == 1);
      found = aliases.find(j) with (j == tofind);
      // And as function
      aliases.find(i) with (i == tofind);

      // No parenthesis
      found = aliases.find with (item == i);
      aliases.find with (item == i);

`ifdef VERILATOR
      // No expression (e.g. x.randomize() with {})
      // Hack until randomize() supported
      found = aliases.sort() with {};
`endif

      // Unique (array method)
      id = 4;
      found = aliases.find with (id);
      found = aliases.find() with (item == id);
      found = aliases.find(i) with (i == id);
      i = aliases.or(v) with (v);
      i = aliases.and(v) with (v);
      i = aliases.xor(v) with (v);

      $write("*-* All Finished *-*\n");
      $finish;
   end

endmodule