VHDL编写BCD Timer遇'unexpected with'错误，求Spartan3适配修改方案

刚接触VHDL就动手做BCD计时器，这种实践精神很棒！咱们先把你遇到的unexpected with错误根源找出来，再一步步修正逻辑，实现你想要的四位数码管BCD计时功能（从00:00到59:59）。

一、unexpected with错误的原因 #

VHDL里的with-select是并行语句，只能放在进程外部使用；而你把它写在了进程内部（顺序执行的代码块），这就违反了语法规则，所以编译器报错。解决方法很简单：进程内部用case语句替代with-select，或者把with-select移到进程外作为并行逻辑。

二、代码里的其他逻辑问题 #

除了语法错误，你的代码还有几个关键逻辑问题需要修正：

• 计数逻辑混乱：用单个index变量想实现四位BCD计数，嵌套的if逻辑完全不符合00:00到59:59的计时规则，而且index的范围设为0-9也不足以覆盖四位BCD的数值。
• 数码管扫描逻辑缺失：scan信号没有赋值，an的赋值逻辑完全错误，无法实现四位数码管的动态扫描。
• 暂停逻辑无效：当前的暂停逻辑会被后面的计数条件覆盖，无法真正暂停计时。

三、修正后的完整代码 #

下面是修正后的代码，关键部分加了注释说明：

library IEEE;
use IEEE.STD_LOGIC_1164.ALL;
use IEEE.NUMERIC_STD.ALL;

entity bcd_timer is
Port (
    clk : in STD_LOGIC;          -- 假设是50MHz时钟
    rst : in STD_LOGIC;          -- 复位（高电平有效）
    stp : in STD_LOGIC;          -- 暂停（高电平暂停，低电平运行）
    an : out STD_LOGIC_VECTOR (3 downto 0); -- 数码管选通（低电平有效）
    c : out STD_LOGIC_VECTOR (6 downto 0)  -- 七段数码管输出（共阳极，低电平亮）
);
end bcd_timer;

architecture Behavioral of bcd_timer is
    -- 分频信号：产生1Hz计时时钟和1kHz数码管扫描时钟
    signal div_cnt : integer range 0 to 49999999 := 0;
    signal clk_1hz : std_logic := '0';
    signal scan_cnt : integer range 0 to 49999 := 0;
    signal clk_1khz : std_logic := '0';
    
    -- BCD计数器：秒个位、秒十位、分个位、分十位
    signal sec_u : unsigned(3 downto 0) := (others => '0');
    signal sec_t : unsigned(3 downto 0) := (others => '0');
    signal min_u : unsigned(3 downto 0) := (others => '0');
    signal min_t : unsigned(3 downto 0) := (others => '0');
    
    -- 数码管扫描索引：0-3对应四个数码管
    signal scan_idx : integer range 0 to 3 := 0;
    -- 当前要显示的BCD值
    signal disp_bcd : unsigned(3 downto 0) := (others => '0');
begin

-- 分频进程：产生1Hz（计时）和1kHz（扫描）时钟
clk_div_proc: process(clk)
begin
    if rising_edge(clk) then
        -- 50MHz -> 1Hz：计数到49999999翻转
        if div_cnt < 49999999 then
            div_cnt <= div_cnt + 1;
        else
            div_cnt <= 0;
            clk_1hz <= not clk_1hz;
        end if;
        
        -- 50MHz -> 1kHz：计数到49999翻转
        if scan_cnt < 49999 then
            scan_cnt <= scan_cnt + 1;
        else
            scan_cnt <= 0;
            clk_1khz <= not clk_1khz;
        end if;
    end if;
end process;

-- BCD计时进程：实现00:00到59:59的计数，支持复位和暂停
timer_proc: process(clk, rst)
begin
    if rst = '1' then
        -- 复位：所有计数器清零
        sec_u <= (others => '0');
        sec_t <= (others => '0');
        min_u <= (others => '0');
        min_t <= (others => '0');
    elsif rising_edge(clk) then
        -- 只有当暂停信号为低，且1Hz时钟上升沿时才计数
        if stp = '0' and clk_1hz = '1' then
            -- 秒个位计数：0-9，满10清零，秒十位加1
            if sec_u < 9 then
                sec_u <= sec_u + 1;
            else
                sec_u <= (others => '0');
                -- 秒十位计数：0-5，满6清零，分个位加1
                if sec_t < 5 then
                    sec_t <= sec_t + 1;
                else
                    sec_t <= (others => '0');
                    -- 分个位计数：0-9，满10清零，分十位加1
                    if min_u < 9 then
                        min_u <= min_u + 1;
                    else
                        min_u <= (others => '0');
                        -- 分十位计数：0-5，满6清零（回到00:00）
                        if min_t < 5 then
                            min_t <= min_t + 1;
                        else
                            min_t <= (others => '0');
                        end if;
                    end if;
                end if;
            end if;
        end if;
    end if;
end process;

-- 数码管扫描进程：1kHz时钟切换选通的数码管，选择对应的BCD值
scan_proc: process(clk)
begin
    if rising_edge(clk) then
        if clk_1khz = '1' then
            -- 扫描索引循环：0->1->2->3->0
            if scan_idx < 3 then
                scan_idx <= scan_idx + 1;
            else
                scan_idx <= 0;
            end if;
            
            -- 根据扫描索引选通数码管，并选择要显示的BCD值
            case scan_idx is
                when 0 =>
                    an <= "1110";  -- 选通第一个数码管（秒个位）
                    disp_bcd <= sec_u;
                when 1 =>
                    an <= "1101";  -- 选通第二个数码管（秒十位）
                    disp_bcd <= sec_t;
                when 2 =>
                    an <= "1011";  -- 选通第三个数码管（分个位）
                    disp_bcd <= min_u;
                when 3 =>
                    an <= "0111";  -- 选通第四个数码管（分十位）
                    disp_bcd <= min_t;
                when others =>
                    an <= "1111";
                    disp_bcd <= (others => '0');
            end case;
        end if;
    end if;
end process;

-- 七段译码器（并行with-select语句，放在进程外）
with disp_bcd select
    c <= "1000000" when x"0",  -- 0
         "1111001" when x"1",  -- 1
         "0100100" when x"2",  -- 2
         "0110000" when x"3",  -- 3
         "0011001" when x"4",  -- 4
         "0010010" when x"5",  -- 5
         "0000010" when x"6",  -- 6
         "1111000" when x"7",  -- 7
         "0000000" when x"8",  -- 8
         "0011000" when x"9",  -- 9
         "1111111" when others; -- 默认灭灯

end Behavioral;

四、关键修正点说明 #

1. 语法错误修复：把进程内的with-select换成了case语句，符合进程内顺序执行的语法规则；七段译码保留了并行的with-select，放在进程外是合法的。
2. 计数逻辑重构：用四个独立的BCD变量分别存储秒个位、秒十位、分个位、分十位，严格遵循00:00到59:59的计时规则，复位和暂停逻辑正常工作。
3. 数码管扫描优化：用1kHz时钟实现动态扫描，人眼完全看不到闪烁，扫描逻辑清晰，每个数码管对应一个BCD值。
4. 分频逻辑整合：把多个分频逻辑整合到一个进程里，代码更简洁易读。

你可以把这段代码下载到Spartan 3开发板上测试，如果和你预期的功能有细微差异（比如数码管选通顺序），可以调整scan_proc里的an赋值和disp_bcd的对应关系。

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