通用加法器“推理架构”：模拟错误答案

【问题标题】：generic adder "inference architecture": simulation error通用加法器“推理架构”：模拟错误
【发布时间】：2015-05-03 23:08:15
【问题描述】：

所以，我必须创建一个带有进位和进位的通用 N 位加法器。到目前为止，我已经制作了两种完全可用的架构，一种使用 generate 函数，一种使用 rtl 描述，如下所示：

实体：

library ieee;
use ieee.std_logic_1164.all;
use ieee.numeric_std.all;

entity adder_n is
generic (N: integer:=8);
port (
    a,b: in std_logic_vector(0 to N-1);
    cin: in std_logic;
    s: out std_logic_vector(0 to N-1);
    cout: out std_logic);
end adder_n;

架构 1 和 2：

    --STRUCT
architecture struct of adder_n is
    component f_adder
        port (
            a,b,cin: in std_logic;
            s,cout: out std_logic);
    end component;
signal c: std_logic_vector(0 to N);
begin
    c(0)<=cin;
    cout<=c(N);
    adders: for k in 0 to N-1 generate
        A1: f_adder port map(a(k),b(k),c(k),s(k),c(k+1));
    end generate adders;
end struct;
--END STRUCT

architecture rtl of adder_n is
    signal c: std_logic_vector(1 to N);
begin
    s<=(a xor b) xor (cin&c(1 to N-1));
    c<=((a or b) and (cin&c(1 to N-1))) or (a and b);
    cout<=c(N);
end rtl;

现在，我的问题在于我试图推断加法器的第三个架构。尽管我创建的以下架构编译得很好，但当我尝试对其进行仿真时，我收到了一个仿真错误（在 Modelsim 上），我已在本文末尾附上了该错误。我猜 numeric_std 定义有问题。我试图避免使用 arith 库，但我仍在努力适应 IEEE 标准。欢迎任何想法！谢谢！

推理拱门：

--INFERENCE

architecture inference of adder_n is
    signal tmp: std_logic_vector(0 to N);
    signal atmp, btmp, ctmp, add_all : integer :=0;
    signal cin_usgn: std_logic_vector(0 downto 0);
    signal U: unsigned(0 to N);
begin

    atmp <= to_integer(unsigned(a));
    btmp <= to_integer(unsigned(b));
    cin_usgn(0) <= cin;
    ctmp <= to_integer(unsigned(cin_usgn));


    add_all <= (atmp + btmp + ctmp);
    U <= to_unsigned(add_all,N);

    tmp <= std_logic_vector(U);
    s <= tmp(0 to N-1);
    cout <= tmp(N); 
end inference;

-- END

模拟错误：

# 由于致命错误，无法继续。
# HDL 调用序列：
# 停在 C:/altera/14.1/modelsim_ase/test1_simon/adder_inference.vhd 58 架构推断

【问题讨论】：

如果读取可以识别adder_n(inference) 中的第 58 行会有所帮助。
For ` U U 的长度是 N+1 而表达式 to_unsigned(add_all,N) 的长度是 N。
这确实是长度问题，但是在更改了 U 信号的长度后，我仍然得到同样的错误。顺便说一句，第 58 行是您提到的行。完整的错误报告如下： > # ** Fatal: (vsim-3420) 数组长度不匹配。左边是 9（0 到 8）。右边是 8（从 7 到 0）。
然而当我改变它时，我可以模拟你的设计（这将保证边界（长度）匹配）。您确定您确实分析并阐述了正确的架构吗？您不会更改 U 的长度，而是通过将长度传递给 to_unsigned 来更改右手表达式的长度。查看答案。
是的，我确实在另一台机器上模拟了它，它也对我有用。感谢您的宝贵时间！

标签： vhdl xilinx modelsim inference

【解决方案1】：

U的长度是N+1（0到N）

变化

    U <= to_unsigned(add_all,N);

到

    U <= to_unsigned(add_all,N+1);

将防止架构inference 的adder_n 中信号分配的左侧和右侧之间的长度不匹配。

传递给to_unsigned的参数指定长度。

【讨论】：