Vivado提示表达式元素数不匹配（16≠17）及地址赋值问题求助

Vivado持续在address <= address & std_logic_vector(to_unsigned(1, 1))行提示两个值的元素数量不匹配：表达式有16个元素，期望17个。自查认为不存在off-by-one错误，且代码其他行未访问address信号，相关代码如下：

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

...

architecture behavioral of p1 is

    ...

    signal heading_bit                  :   std_logic_vector(1 downto 0);
    signal heading_counter              :   integer range 0 to 2 := 0;
    signal address                      :   std_logic_vector(15 downto 0);
    signal address_counter              :   integer range 0 to 16 := 0;

begin process(i_clk, i_rst)

       ...
                
                    if(i_start = '1' and heading_counter < 2) then
                    
                        if(i_w = '1') then
                            heading_bit <= heading_bit(heading_counter) & std_logic_vector(to_unsigned(1, 1));
                        else
                            heading_bit <= heading_bit(heading_counter) & std_logic_vector(to_unsigned(0, 1));
                        end if;

                        heading_counter <= heading_counter + 1;
                        
                    elsif(i_start = '1' and heading_counter >= 2) then
                    
                        if(i_w = '1' and address_counter < 16) then
                            address <= address & std_logic_vector(to_unsigned(1, 1));
                        elsif(i_w = '0' and address_counter < 16) then
                            address <= address & std_logic_vector(to_unsigned(0, 1));
                        end if;
                        
                        ...
            
    end process; 

问题根源与解决方法 #

• 位宽不匹配是直接原因：address被定义为16位的std_logic_vector(15 downto 0)，但address & std_logic_vector(to_unsigned(1, 1))是将16位的address和1位的信号拼接，结果是17位，赋值给16位的address必然出现位宽不匹配错误。
• 修正赋值逻辑：如果你的需求是将新的1位数据追加到address中，同时丢弃最高位（实现移位存储），应该修改赋值语句为：

  address <= address(14 downto 0) & std_logic_vector(to_unsigned(1, 1));
  

  这样拼接后的结果是16位，和address的位宽完全匹配。
• 顺带修正heading_bit的潜在越界问题：heading_counter的范围是0到2，但heading_bit只有2位（索引0和1），当heading_counter=2时，heading_bit(heading_counter)会触发索引越界，建议把heading_counter的范围调整为0到1，或者修改索引逻辑避免越界。

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