2

我在合成使用函数 IS_X() 的实体时遇到了一些问题。特别是，消息

[错误] 名称 IS_X 未知

显示。
可以合成吗？

library IEEE;
use IEEE.std_logic_1164.all;

entity FF2 is
    generic(XOUT, XNOUT: std_logic);
    port(   INPUT, CLK: in std_logic;
            OUTPUT, NOUTPUT: out std_logic
    );
end entity FF2;

architecture behavioral of FF2 is

    signal temp : std_logic := '0';
    begin
        FUNC:process(CLK)
        begin
            if(CLK'event and rising_edge(CLK)) then
                temp <= INPUT;
            end if;
        end process FUNC;

        OUTPUT <= XOUT when is_x(temp) else temp;
        NOUTPUT <= XNOUT when is_x(temp) else (not temp);

end architecture behavioral;
4

1 回答 1

2

你说的可合成是什么意思？综合工具不应该支持使用 is_x 创建硬件，因为在硬件中只有 0 和 1，并且在综合之后没有可以为您的代码创建的任何内容：

OUTPUT <= XOUT when is_x(temp) else temp;
NOUTPUT <= XNOUT when is_x(temp) else (not temp);

OTOH，在报告语句中使用 is_x 应该被您的综合工具忽略（意味着支持使用 is_x 来报告模拟问题），因为它不会创建任何硬件： 

assert not(is_x(temp)) report "captured X on input" severity error;

这对调试很有帮助，尤其是在有很多 X 掩码的状态机中。如果您的综合工具不接受这一点，请务必将其作为错误提交给供应商 - 并在此处报告。

于 2018-10-22T15:02:18.923 回答