Vivado报distance未使用错误，Basys板卡移植后无法运行求助

针对你遇到的两个问题，我来逐一拆解分析：

一、为什么distance变量被判定为未使用并被移除？ #

Vivado在综合阶段会自动做冗余逻辑修剪——如果一个信号/变量没有被任何会影响输出的逻辑引用，就会被当作无用逻辑直接移除，这就是你看到“已移除未使用的时序逻辑单元”提示的核心原因。结合你给出的代码片段，大概率是以下两种情况之一：

• distance只做了声明，但在always块里没有被赋值（比如没有根据echo的高电平持续时间计算距离）；
• 就算给distance赋了值，但后续没有用它来控制isCrash或者其他输出信号——比如你没写类似if(distance < 20) isCrash <= 1'b1;的逻辑，Vivado就会认为这个变量对最终输出没有任何贡献，直接删掉。

快速排查步骤： #

1. 打开Vivado的Synthesis Report，找到“Unused Logic”章节，里面会明确标注被移除的逻辑路径，能直接看到distance是因为没有驱动任何负载被移除；
2. 检查你的代码：确认distance是否有完整的赋值逻辑，以及赋值后是否被用来影响isCrash或其他输出。

二、代码无语法错误但Basys板无法运行的可能原因 #

语法通过只代表代码符合Verilog语法规范，但不代表逻辑正确、硬件适配没问题。你怀疑和Vivado的报错有关，但也可能是其他硬件/逻辑问题，建议按以下顺序排查：

1. 先确认冗余逻辑是否影响核心功能 #

如果被移除的只有distance，而你的isCrash逻辑本来就不依赖它，那这个移除提示可能不是导致运行异常的原因。但如果isCrash本来应该由distance驱动，那distance被移除后，isCrash的逻辑就完全失效了——这时候必须先补全distance的使用逻辑，让它被综合工具保留。

2. 检查硬件约束是否正确 #

这是移植到开发板最容易踩的坑：

• 时钟约束：Basys开发板的默认时钟通常是100MHz（或50MHz），你有没有在XDC约束文件里正确指定clk的频率？如果时钟约束缺失或错误，时序分析不通过，硬件运行会出现逻辑混乱；
• IO引脚约束：你有没有给trigger、echo、isCrash分配正确的引脚？如果引脚配错了，硬件上根本没有正确连接传感器和IO口，自然无法正常工作。

3. 检查超声波传感器的逻辑是否符合时序要求 #

超声波传感器的触发和回波捕获有严格时序：

• trigger需要输出一个至少10us的高电平脉冲来触发传感器；
• 捕获echo的高电平持续时间，转换成距离（公式：distance = (echo_high_time * 340m/s) / 2）。
  如果你的trigger生成逻辑不对（比如脉冲宽度不够），或者echo的捕获逻辑有问题（比如没正确计数高电平时间），就算代码语法对，硬件也不会正常工作。

4. 复位与初始状态问题 #

你的代码里没有复位逻辑，上电后trigger、isCrash、distance的初始状态是不确定的，可能导致传感器一开始就无法正确触发。建议添加同步复位或异步复位逻辑，确保上电后所有寄存器进入已知的初始状态。

5. 用调试工具定位问题 #

如果以上都排查了还是有问题，用Vivado的**ILA（集成逻辑分析仪）**抓取硬件上的实际波形：

• 抓取clk、trigger、echo、isCrash的信号，看trigger是否正确生成，echo是否有回波信号，isCrash是否按预期触发；
• 如果distance被正确保留，也可以抓取它的数值，确认距离计算是否正确。

快速修复示例代码 #

先补全distance的赋值和使用逻辑，确保它被综合工具保留：

`timescale 1us/1us
module ProximitySensor(output reg trigger, input echo, input clk, output reg isCrash);
integer distance;
reg [31:0] echo_count; // 用来计数echo高电平的时钟周期

always @(posedge clk) begin
    // 生成trigger脉冲：每100ms发一个10us的高电平
    static reg [31:0] trigger_cnt = 0;
    if(trigger_cnt >= 100000) begin // 100ms @1us时钟
        trigger <= 1'b1;
        trigger_cnt <= 0;
    end else if(trigger_cnt < 10) begin // 10us高电平
        trigger <= 1'b1;
        trigger_cnt <= trigger_cnt + 1;
    end else begin
        trigger <= 1'b0;
        trigger_cnt <= trigger_cnt + 1;
    end

    // 捕获echo高电平时间，计算distance
    if(echo == 1'b1) begin
        echo_count <= echo_count + 1;
    end else begin
        // 计算距离：clk为1us时，echo_count单位是us，转换为mm
        distance <= (echo_count * 340) / 2000; 
        echo_count <= 0;
    end

    // 根据distance设置isCrash
    if(distance < 50) begin // 距离小于50mm时触发碰撞信号
        isCrash <= 1'b1;
    end else begin
        isCrash <= 1'b0;
    end
end
endmodule

同时记得添加对应的XDC约束文件，指定时钟频率和引脚位置。

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