9x9矩阵中3x3子方阵的唯一性最大值约束编写求助

现有一个9x9矩阵M[9][9]，由A、B、C、D、E、F、G、H、I共9个3x3子方阵组成，需要编写约束满足两个核心条件：

1. 每个3x3子方阵存在唯一最大值；
2. 任意两个子方阵的最大值互不相等（例如Amax≠Bmax、Amax≠Dmax等）。

目前已实现单个子方阵的最大值约束代码，但不知道如何扩展至所有子方阵，以下是具体技术方案：

现有单个子方阵约束代码 #

class max;  
bit[4:0] sub_mat[3][3];
rand bit[4:0] max;

constraint c3 {
    sub_mat.sum(item1) with (item1.sum(item2) with (int'(item2==max))) ==1;
    
         foreach (mat[i,j]){
            sub_mat[i][j] <= max;
               }
           }    
endclass

扩展实现方案 #

1. 优化子方阵类 #

先对单个子方阵类进行封装，让它能独立维护自身数据和约束，同时暴露最大值供全局约束使用：

class SubMatrix;  
    rand bit[4:0] data[3][3];  // 子方阵的3x3数据
    rand bit[4:0] max_val;     // 子方阵的唯一最大值

    constraint c_sub_unique_max {
        // 确保最大值在子方阵中仅出现一次
        data.sum(row) with (row.sum(col) with (int'(col == max_val))) == 1;
        // 子方阵所有元素都不超过最大值
        foreach (data[i,j]) {
            data[i][j] <= max_val;
        }
    }    
endclass

2. 构建全局9x9矩阵类 #

创建顶层类管理9个子方阵，同时添加全局约束保证所有子方阵的最大值互不重复：

class Matrix9x9;
    rand SubMatrix sub_mats[9];  // 对应A到I的9个子方阵

    // 初始化所有子方阵实例
    function new();
        foreach (sub_mats[i]) begin
            sub_mats[i] = new();
        end
    endfunction

    // 全局约束：强制所有子方阵的最大值互不相同
    constraint c_all_max_unique {
        // 利用SystemVerilog的unique约束直接实现最大值数组无重复
        unique { sub_mats.max_val };
    }

    // 可选函数：将9个子方阵拼接成完整的9x9矩阵
    function bit[4:0] get_full_matrix[9][9];
        foreach (sub_mats[idx]) begin
            // 计算当前子方阵在全局矩阵中的起始行列
            int start_row = (idx / 3) * 3;
            int start_col = (idx % 3) * 3;
            // 填充全局矩阵对应位置
            foreach (sub_mats[idx].data[i,j]) begin
                get_full_matrix[start_row + i][start_col + j] = sub_mats[idx].data[i][j];
            end
        end
    endfunction
endclass

3. 验证使用示例 #

module test_matrix;
    Matrix9x9 full_mat;

    initial begin
        full_mat = new();
        if (full_mat.randomize()) begin
            $display("生成的完整9x9矩阵：");
            bit[4:0] mat_data[9][9] = full_mat.get_full_matrix();
            foreach (mat_data[i,j]) begin
                $write("%02d ", mat_data[i][j]);
                if (j == 8) $display();
                // 每3行打印分隔线，区分子方阵
                if (i % 3 == 2 && j == 8) $display("---------------------------");
            end
            $display("\n各子方阵最大值：");
            foreach (full_mat.sub_mats[i]) begin
                $write("子方阵%c：%02d ", "A" + i, full_mat.sub_mats[i].max_val);
                if (i % 3 == 2) $display();
            end
        end else begin
            $error("矩阵随机化失败");
        end
        $finish;
    end
endmodule

关键说明 #

• 使用unique { sub_mats.max_val }是实现全局最大值唯一性最简洁高效的方式，SystemVerilog会自动处理所有元素的互斥约束；
• 子方阵类的约束确保了每个子方阵内部最大值唯一，且所有元素不超过该最大值；
• get_full_matrix函数可以将分散的子方阵数据拼接成完整9x9矩阵，方便后续验证或业务逻辑使用。

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