SystemC模拟双开关三LED系统遇E109端口未绑定错误求助

一、端口绑定错误解决 #

报错提示的port_4是模块未绑定的sc_out端口，核心原因是模块的所有输入输出端口必须绑定到sc_signal实例才能完成仿真绑定。SystemC不允许端口悬空，必须关联信号载体。

在sc_main函数中补充信号声明与端口绑定：

// 创建信号实例
sc_signal<bool> s1, s2;
sc_signal<bool> l1, l2, l3;

// 绑定模块端口与信号
lights.switch_1(s1);
lights.switch_2(s2);
lights.light_l1(l1);
lights.light_l2(l2);
lights.light_l3(l3);

二、逻辑错误修正 #

原代码逻辑完全不符合需求，主要问题包括：

• SC_METHOD中使用while(true)死循环：SC_METHOD是事件触发的单次执行函数，无限循环会阻塞仿真
• 无状态跟踪：无法实现分步状态转换（初始→L1亮→L2/L3亮→初始）
• 初始状态错误：LED被初始化为点亮，不符合需求的初始全灭

修正思路 #

采用状态机跟踪系统状态，定义4种状态：

• STATE_INIT：初始状态，所有LED熄灭，等待任意开关按下进入STATE_L1_ON
• STATE_L1_ON：L1点亮，按s1切换到STATE_L2_ON，按s2切换到STATE_L3_ON
• STATE_L2_ON：L2点亮，按任意开关回到STATE_INIT
• STATE_L3_ON：L3点亮，按任意开关回到STATE_INIT

同时添加边沿检测：记录上一次开关状态，只响应从松开到按下的上升沿，避免持续按下的重复触发。

三、完整修正代码 #

#include <systemc>
using namespace sc_core;

// 定义系统状态枚举
enum LightState {
    STATE_INIT,
    STATE_L1_ON,
    STATE_L2_ON,
    STATE_L3_ON
};

SC_MODULE(lights_controller)
{
    sc_in<bool> switch_1, switch_2;
    sc_out<bool> light_l1, light_l2, light_l3;

    LightState current_state;
    bool prev_s1, prev_s2; // 存储上一次开关状态，用于检测按键边沿

    void update_lights() {
        // 检测开关按下事件（上升沿：从false到true）
        bool s1_pressed = switch_1.read() && !prev_s1;
        bool s2_pressed = switch_2.read() && !prev_s2;

        // 更新上一次开关状态
        prev_s1 = switch_1.read();
        prev_s2 = switch_2.read();

        // 状态机逻辑处理
        switch(current_state) {
            case STATE_INIT:
                light_l1.write(false);
                light_l2.write(false);
                light_l3.write(false);
                if(s1_pressed || s2_pressed) {
                    current_state = STATE_L1_ON;
                }
                break;
            case STATE_L1_ON:
                light_l1.write(true);
                light_l2.write(false);
                light_l3.write(false);
                if(s1_pressed) {
                    current_state = STATE_L2_ON;
                } else if(s2_pressed) {
                    current_state = STATE_L3_ON;
                }
                break;
            case STATE_L2_ON:
                light_l1.write(false);
                light_l2.write(true);
                light_l3.write(false);
                if(s1_pressed || s2_pressed) {
                    current_state = STATE_INIT;
                }
                break;
            case STATE_L3_ON:
                light_l1.write(false);
                light_l2.write(false);
                light_l3.write(true);
                if(s1_pressed || s2_pressed) {
                    current_state = STATE_INIT;
                }
                break;
        }
    }

    SC_CTOR(lights_controller) : current_state(STATE_INIT), prev_s1(false), prev_s2(false) {
        SC_METHOD(update_lights);
        sensitive << switch_1 << switch_2;
        dont_initialize(); // 避免仿真启动时自动执行一次
    }
};

int sc_main(int argc, char **argv)
{
    // 创建信号
    sc_signal<bool> s1, s2;
    sc_signal<bool> l1, l2, l3;

    lights_controller lights("lights_controller");
    // 绑定端口与信号
    lights.switch_1(s1);
    lights.switch_2(s2);
    lights.light_l1(l1);
    lights.light_l2(l2);
    lights.light_l3(l3);

    // 模拟开关操作示例（可按需修改）
    s1.write(false);
    s2.write(false);
    sc_start(10, SC_NS);

    // 按s1，点亮l1
    s1.write(true);
    sc_start(10, SC_NS);
    s1.write(false);
    sc_start(10, SC_NS);

    // 再按s1，l1灭、l2亮
    s1.write(true);
    sc_start(10, SC_NS);
    s1.write(false);
    sc_start(10, SC_NS);

    // 按任意开关，回到初始状态
    s2.write(true);
    sc_start(10, SC_NS);
    s2.write(false);
    sc_start(10, SC_NS);

    return 0; 
}

代码说明 #

1. 端口绑定：通过sc_signal完成所有端口的绑定，解决了未绑定错误
2. 状态机逻辑：严格按照需求实现分步状态转换，每个状态明确对应LED状态与触发条件
3. 边沿检测：避免持续按下开关导致的重复状态转换
4. SC_METHOD规范使用：移除死循环，仅在开关状态变化时执行状态更新

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