在 systemverilog 中使用“with”运算符是唯一的

Question

我是一个新的 SystemVerilog 用户，我遇到了一个奇怪的（从我的角度来看）将调用固定数组的唯一方法与 with 运算符相结合的行为。

module test();
  int arr[12] = '{1,2,1,2,3,4,5,8,9,10,10,8};
  int q[$]
  initial begin
    q = arr.unique() with (item > 5 ? item : 0);
    $display("the result is %p",q);
  end

我预计会获得队列 {8,9,10}，但我却获得了 {1,8,9,10}。

为什么在索引 0 处有一个？

Answer 1

您正在尝试将find 方法的操作与unique 结合起来。不幸的是，它不能按您期望的方式工作。 unique 返回元素，而不是 with 子句中的表达式，元素 1、2、3、4 和 5 为 0。模拟器可以选择这些元素中的任何一个来表示 0 的唯一值（和不同的模拟器会选择不同的值）

需要单独写：

module test();
  int arr[$] = '{1,2,1,2,3,4,5,8,9,10,10,8};
  int q[$]
  initial begin
    arr = arr.find() with (item > 5);
    q = arr.unique();
    $display("the result is %p",q);
  end

更新解释原始结果

with 子句生成一个值列表以检查唯一性

'{0,0,0,0,0,0,0,8,9,10,10,8};
  ^.            ^ ^ ^

假设模拟器选择第一次出现的复制值保留，那么它从原始数组返回{arr[0], arr[7], arr[8], arr[9]}，即{1,8,9,10}