向量索引、位顺序与符号

索引是名称，声明方向决定其含义

在 logic [7:0] a; 中，a[7] 是最左位；若声明为 logic [0:7] b;，则 b[0] 是最左位。给两个向量都赋 8'h96，从左到右的位串都是 10010110，但每一位的索引不同。只有确认声明方向后，才能使用“bit 0 一定是 LSB^{iLSB 权重最低的比特。应同时检查表示方向与索引规则。}”的假设。

实际工作中，整个接口采用一致方向更便于审查。还应明确波形工具的显示顺序，以及文件中比特数组的顺序。本课程输入 JSON 数组从 LSB 开始记录，而 RTL 向量通常从 MSB^{iMSB 权重最高的比特。其索引取决于向量声明方向，不能总认为它是编号最大的位。} 开始阅读。

用实际连接确认移动方向

在 q <= {q[1:0], din}; 中，q[2] 的下一值是旧 q[1]，q[1] 的下一值是旧 q[0]，q[0] 的下一值是 din。

相比图画向左还是向右，哪个索引接收哪个信号才是精确规格。

箭头表示一个比特依次经过的存储位置。所有寄存器^{i寄存器 存储多位状态的电路。本课程中的同步寄存器在时钟边沿存储指定输入。了解更多}都在同一边沿读取旧值，并不意味着 din 能在一个边沿内穿到 q2。

算术移位与逻辑移位

>> 是逻辑右移，左侧空出的位补 0。左操作数为 signed 时，>>> 可用作扩展符号的算术右移。即使位串相同，操作数的 signed 声明不同，也可能使结果不同。

logic signed [7:0] x;
logic [7:0] logical_right, arithmetic_right;
assign logical_right = x >> 1;
assign arithmetic_right = x >>> 1;

若 x=8'b11111000（-8），两种结果分别为 01111100 与 11111100。负数的算术右移不一定与整数除法对负数的舍入规则相同，因此数值算法中需要单独确认。