如何以可扩展方式创建指定概率分布的1位信号约束？

核心思路是基于权重映射表的区间匹配法，把每个状态对应的概率权重和信号值绑定成统一配置项，通过随机数匹配区间输出对应状态。这种方式不用堆砌if/else，新增状态仅需在配置表中添加条目，扩展性极强。

具体步骤 #

1. 定义状态配置表：将每个目标状态（A/B/C的取值组合）和对应的概率权重（用百分比数值替代浮点数，避免精度问题）一一对应；
2. 计算总权重（本例总权重为100，直接对应百分比）；
3. 生成范围在0~总权重-1的随机数；
4. 遍历配置表累加权重，找到随机数所在区间，输出对应状态的A/B/C值。

代码示例（以SystemVerilog为例） #

module signal_prob_gen(
    output logic A, B, C,
    input logic clk, rst_n
);
    // 定义状态配置结构体：包含权重和对应的A/B/C取值
    typedef struct {
        int weight;
        logic a_val;
        logic b_val;
        logic c_val;
    } state_cfg_t;

    // 初始化配置表：直接对应需求中的概率分布
    state_cfg_t state_table[] = '{
        {50, 1'b0, 1'b0, 1'b0},  // 50%: 全禁用
        {10, 1'b1, 1'b0, 1'b0},  // 10%: 仅A启用
        {10, 1'b0, 1'b1, 1'b1},  // 10%: B和C同时启用
        {30, 1'b1, 1'b1, 1'b1}   // 30%: 三者同时启用
    };

    int total_weight;
    int rand_num;
    int current_sum;

    // 计算总权重（初始化时执行）
    initial begin
        total_weight = 0;
        foreach(state_table[i]) begin
            total_weight += state_table[i].weight;
        end
    end

    always_ff @(posedge clk or negedge rst_n) begin
        if(!rst_n) begin
            A <= 1'b0;
            B <= 1'b0;
            C <= 1'b0;
        end else begin
            // 生成0到total_weight-1的随机数
            void'(std::randomize(rand_num) with {rand_num >= 0; rand_num < total_weight;});
            
            current_sum = 0;
            foreach(state_table[i]) begin
                current_sum += state_table[i].weight;
                if(rand_num < current_sum) begin
                    A <= state_table[i].a_val;
                    B <= state_table[i].b_val;
                    C <= state_table[i].c_val;
                    break;
                end
            end
        end
    end
endmodule

扩展性说明 #

如果后续需要新增状态（比如新增“仅B启用，概率5%”），只需在state_table中添加一行：

{5, 1'b0, 1'b1, 1'b0},  // 新增5%: 仅B启用

无需修改后续的随机数匹配逻辑，直接完成扩展，维护成本极低。

优势对比 #

• 避免大量if/else嵌套，代码结构清晰；
• 权重和状态值集中管理，修改概率或状态时只需调整配置表；
• 支持任意数量的状态扩展，适配复杂概率分布需求。

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