我正在研究什么样的代码在不同的合成器上产生/不产生锁存器。 下面的代码从4位输入驱动7段显示。 我希望它不会生成锁存器，因为所有可能的情况都包含在条件信号分配中。
library ieee;
use ieee.std_logic_1164.all;
use ieee.numeric_std.all;
entity seven_seg_conditional is
port (
value: in std_logic_vector(3 downto 0);
digit: out std_logic_vector(6 downto 0)
);
end;
architecture behavior of seven_seg_conditional is
signal value_int: integer range 0 to 15;
begin
value_int <= to_integer(unsigned(value));
digit <=
"0111111" when value_int = 0 else
"0000110" when value_int = 1 else
"1011011" when value_int = 2 else
"1001111" when value_int = 3 else
"1100110" when value_int = 4 else
"1101101" when value_int = 5 else
"1111101" when value_int = 6 else
"0000111" when value_int = 7 else
"1111111" when value_int = 8 else
"1101111" when value_int = 9 else
"1110111" when value_int = 10 else
"1111100" when value_int = 11 else
"0111001" when value_int = 12 else
"1011110" when value_int = 13 else
"1111001" when value_int = 14 else
"1110001" when value_int = 15;
end;
如果我通过Quartus 13.0运行它，则会在每个输出上生成一个锁存器。 根据正在进行的标准，合成器的这种正确行为是什么？
注意：如果我使用case语句重写代码，那么就没有锁存器，即使我从未添加过when others子句。 如果我在末尾添加一个无条件的else子句，那么也没有锁存器。