递归自我实例化组件[VHDL]

时间:2016-07-25 12:16:53

标签: recursion configuration architecture entity vhdl

我正在用VHDL开始一个大项目,我希望将每个基本组件(加法器,多路复用器,寄存器......)编写成尽可能多的顺序。

我正在考虑为每个实体使用不同的体系结构(通过不同的抽象层或不同类型的实现),然后使用配置选择一个。

我的问题是:是否可以递归地自我实例化一个组件但具有不同的配置?

例如,让我们采用加法器:

entity ADDER is 
  generic( ... );
  port( ... );
end entity ADDER;

然后我希望有不同类型的架构,例如:

-- Behavioral Add
architecture BHV of ADDER is
  out <= A + B;
end architecture BHV;


-- Ripple Carry Adder
architecture RCA of ADDER is 
  ...
end architecture RCA;


-- Carry Select Adder
architecture CSA of ADDER is
  component ADDER --   <== this should be configured as RCA
  ...
end architecture CSA;

是否可以使用Ripple Carry配置Carry Select内部使用的加法器,而无需在无限实例化循环中结束?

1 个答案:

答案 0 :(得分:2)

是的,可以使用Ripple Carry配置Carry Select内部使用的加法器,而无需在无限实例化循环中结束。通过递归实例化,需要终止条件 - 终止递归的东西。配置正在执行该角色。

library IEEE;
use IEEE.std_logic_1164.all;
use IEEE.numeric_std.all;

entity ADDER is 
  generic( WIDTH : positive := 8 );
  port( CIN  : in  std_logic;
        A    : in  std_logic_vector(WIDTH-1 downto 0);
        B    : in  std_logic_vector(WIDTH-1 downto 0);
        F    : out std_logic_vector(WIDTH-1 downto 0);
        COUT : out std_logic);
end entity ADDER;

-- Ripple Carry Adder
architecture RCA of ADDER is 
  signal CIN0 : unsigned(0 downto 0);
  signal FIN  : unsigned(WIDTH downto 0);
begin
  CIN0(0) <= CIN;
  FIN <= resize(unsigned(A), WIDTH+1) + resize(unsigned(B), WIDTH+1) + CIN0; -- yes, I know it's not a ripple carry adder
  F    <= std_logic_vector(FIN(WIDTH-1 downto 0));
  COUT <= FIN(WIDTH);
end architecture RCA;

-- Carry Select Adder
architecture CSA of ADDER is
  component ADDER is 
    generic( WIDTH : positive );
    port( CIN  : in  std_logic;
          A    : in  std_logic_vector(WIDTH-1 downto 0);
          B    : in  std_logic_vector(WIDTH-1 downto 0);
          F    : out std_logic_vector(WIDTH-1 downto 0);
          COUT : out std_logic);
  end component ADDER;
  signal F0, F1       : std_logic_vector(WIDTH-1 downto 0);
  signal COUT0, COUT1 : std_logic;
begin
  ADD0: ADDER generic map( WIDTH => WIDTH)
    port map ( 
          CIN  => '0'  ,
          A    => A    ,
          B    => B    ,
          F    => F0    ,
          COUT => COUT0 );
  ADD1: ADDER generic map( WIDTH => WIDTH)
    port map ( 
          CIN  => '1'  ,
          A    => A    ,
          B    => B    ,
          F    => F1    ,
          COUT => COUT1 );
  COUT <= COUT1 when CIN = '1' else COUT0;
  F    <= F1    when CIN = '1' else F0;
end architecture CSA;

-- here's the configuration
configuration CSAC of ADDER is
  for CSA
    for all: ADDER
      use entity work.ADDER(RCA);
    end for;
  end for;
end configuration CSAC;

http://www.edaplayground.com/x/2Yu3