如何判断std_logic_vector中的1是否连续？

有几种更高效简洁的逻辑实现方式，比统计零数的方法更优：

方法一：利用"孤立1块标记" #

核心思路：如果向量中所有1是连续的，那么每个连续1块的最低位标记（即v AND (NOT (v srl 1))）只会有1个'1'（或全0，对应向量全0的情况）。

具体逻辑：

• 计算 mark = v AND (NOT (v srl 1))：这个操作会把每个连续1序列的最右侧那个1保留下来，其他位清零。比如1011的mark是1010（两个1，说明有两个不连续的1块），0110的mark是0100（一个1，说明只有一个连续1块）。
• 判断mark中1的个数是否≤1：如果是，说明所有1连续（或全0），返回true；否则返回false。

用VHDL示例代码表示：

function is_consecutive_ones(v : std_logic_vector) return boolean is
    variable mark : std_logic_vector(v'range);
begin
    mark := v AND (NOT (v srl 1));
    return count_ones(mark) <= 1;
end function;

方法二：递推式逻辑（适合硬件并行实现） #

从左到右（或右到左）遍历向量，记录两个状态：

• 是否已经出现过'0'
• 是否已经出现过'1'

只要出现"先0后1"的情况，就判定为不连续。这种方式可以用组合逻辑并行实现，不需要循环，硬件效率很高。

VHDL示例代码（以从左到右遍历为例）：

function is_consecutive_ones(v : std_logic_vector) return boolean is
    variable seen_zero : boolean := false;
    variable seen_one : boolean := false;
begin
    for i in v'left downto v'right loop
        if v(i) = '1' then
            seen_one := true;
            if seen_zero then
                return false;
            end if;
        else
            if seen_one then
                seen_zero := true;
            end if;
        end if;
    end loop;
    return true;
end function;

这两种方法都比统计前导零、尾随零的方式更高效，尤其是方法一，只需要几次位运算和一次计数（或判断是否为2的幂），硬件实现的延迟和资源占用都更低。

内容的提问来源于stack exchange，提问作者Cheiron