systemverilog如何解决不能使用变量索引来进行位选择的范围指定

1 问题

在 SystemVerilog 中,直接使用变量作为位选择的范围边界 (如 int [31:0] data; int h, l; data[h:l])是不允许的,因为位选择的范围必须是编译时常量

若要实现 "动态位选择"(用变量指定范围),通过 "右移 + 按位与掩码",提取目标位段

2 步骤:

  1. 将数据右移 l 位,使目标位段的最低位对齐到第 0 位;

  2. 生成一个 "仅目标位段为 1" 的掩码;

  3. 数据右移后与掩码按位与,得到目标位段。

    reg [31:0] data = 32'h12345678; // 假设原始数据
    int h = 11, l = 8; // 变量指定位范围 [11:8]
    reg [3:0] result; // 目标位段(宽度 = h-l+1 = 4)

    always_comb begin
    int width = h - l + 1; // 计算目标位宽
    result = (data >> l) & ((1 << width) - 1); // 右移 + 掩码提取
    end

3 原理

  • data >> l:将 data 右移 l 位,使 data[l] 移到第 0 位,data[h] 移到第 h-l 位;
  • (1 << width) - 1:生成一个 "低 width 位全为 1" 的掩码(如 width=4 时,掩码为 4'b1111);
  • 按位与后,仅保留右移后低 width 位的有效数据。

4 逐一分析:

4.1 计算目标位宽width:

复制代码
int width = h - l + 1;  // 位段宽度 = 高位索引 - 低位索引 + 1

确定需要提取的位段有多少位(如 h=11, l=8 时,width=11-8+1=4,即提取 4 位)。

4.2 右移对齐:data>>l

复制代码
data >> l  // 将数据右移 l 位,使目标位段的最低位(l 位)对齐到第 0 位

把需要提取的位段 "挪" 到数据的最低位(从 0 位开始),方便后续提取。

4.3 生成掩码

复制代码
(1 << width) - 1  // 生成一个"低 width 位全为 1,其余位为 0"的掩码

创建一个 "过滤器",只保留右移后数据的低 width 位(即目标位段),屏蔽其他高位。

width=4 时:

  • 1 << 4 表示将 1 左移 4 位,结果为 16(二进制 10000);

    • 减 1 后得到 15(二进制 01111),即 "低 4 位全为 1" 的掩码。

4.4 按位与:提取目标位段(与 1 运算结果不变,与 0 运算结果为 0)

复制代码
result = (data >> l) & ((1 << width) - 1);  // 保留目标位段,屏蔽其他位
  • 右移后的数据:0000_0000_0000_0000_0000_0001_0110_11(低 4 位 1011);

  • 掩码: 0000_0000_0000_0000_0000_0000_0000_1111

  • 按位与结果:1011(二进制),即 data[11:8] 的值(十进制 11)。

相关推荐
淡海水5 小时前
07-04-并发-ConcurrentBag-T-工作窃取WorkStealing算法
开发语言·算法·c#·bag·concurrent·workstealing
leobertlan5 小时前
好玩系列:训练一个神经网络模型指导小孩玩游戏2-大局观教练
算法
Tisfy6 小时前
LeetCode 3876.构造奇偶一致的数组 II:三种情况分类讨论(其实还是脑筋急转弯)
算法·leetcode·题解·脑筋急转弯
乐迪信息6 小时前
智慧港口船舶AI算法实现在线状态监测
大数据·人工智能·深度学习·算法·计算机视觉
木井巳8 小时前
【BFS/DFS 解决 FloodFill 算法】太平洋大西洋水流问题
java·算法·leetcode·深度优先·广度优先·宽度优先·推荐算法
心抵鹊8 小时前
归并排序之翻转对(hard)
数据结构·算法
白山编程大哥8 小时前
Java 集合算法:从排序、查找到底层原理的实战指南
java·python·算法
shehuiyuelaiyuehao9 小时前
算法34,位运算符操作,总结
算法
Navigator_Z9 小时前
LeetCode //C - 1224. Maximum Equal Frequency
c语言·算法·leetcode
Navigator_Z10 小时前
LeetCode //C++ - 1226. The Dining Philosophers
c语言·算法·leetcode