VHDL编译时如何基于整数比较生成bit类型常量？

在编写带泛型的计数器时，若要在编译时通过比较整数泛型a和b的值生成bit类型常量标记计数是否需要翻转，直接使用constant t : bit := 3 < 7;会触发报错：

no function declarations for operator "<"

原因是VHDL中整数比较运算符默认返回boolean类型，编译器既没有内置boolean到bit的自动转换规则，也没有返回bit类型的比较运算符重载版本。

以下是两种可行的解决方案：

方案1：使用条件表达式直接转换 #

最简洁的方式是通过when-else条件表达式，将整数比较得到的boolean结果显式转换为bit类型，编译时即可完成常量计算：

library IEEE;
use IEEE.std_logic_1164.all;

entity test is
end entity test;

architecture b_test of test is
begin
    process
        -- 编译时计算3<7的结果，转为bit类型
        constant t : bit := '1' when 3 < 7 else '0';
        -- 变量声明同理
        variable v : bit := '1' when 1 < 3 else '0';
    begin
        wait;
    end process;
end architecture b_test;

方案2：自定义布尔转bit的函数 #

如果需要频繁进行这类转换，可以自定义一个转换函数，复用性更强：

library IEEE;
use IEEE.std_logic_1164.all;

entity test is
end entity test;

architecture b_test of test is
    -- 自定义布尔转bit的函数
    function bool_to_bit(b : boolean) return bit is
    begin
        return '1' when b else '0';
    end function;
begin
    process
        constant t : bit := bool_to_bit(3 < 7);
        variable v : bit := bool_to_bit(1 < 3);
    begin
        wait;
    end process;
end architecture b_test;

泛型计数器的实际应用示例 #

结合你的需求，完整的带泛型翻转功能的计数器代码如下：

library IEEE;
use IEEE.std_logic_1164.all;

entity counter is
    generic (
        a : integer := 0;    -- 计数起始值
        b : integer := 10    -- 计数结束值
    );
    port (
        clk   : in  std_logic;
        rst   : in  std_logic;
        count : out integer
    );
end entity counter;

architecture rtl of counter is
    -- 编译时预计算翻转标志：a>b时为'1'，否则为'0'
    constant flip_flag : bit := '1' when a > b else '0';
    signal current_count : integer;
begin
    count_proc : process(clk, rst)
    begin
        if rst = '1' then
            -- 根据翻转标志初始化计数器
            current_count <= a when flip_flag = '0' else b;
        elsif rising_edge(clk) then
            if flip_flag = '0' then
                -- 正向计数：从a递增到b后循环
                current_count <= current_count + 1 when current_count /= b else a;
            else
                -- 反向计数：从b递减到a后循环
                current_count <= current_count - 1 when current_count /= a else b;
            end if;
        end if;
    end process count_proc;

    count <= current_count;
end architecture rtl;

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