使用SystemVerilog解决数组问题

数独是一种非常流行的游戏，数独本质上也是一个约束问题，所以我们可以让SystemVerilog的约束求解器来帮助我们解决。 约束求解器的精妙之处就是，我们只描述约束限制，繁重的数值生成工作由工具来帮我们完成。 你只需“既要...又要...”，其他的让下人干吧～

class sudoku_solver_base;          
  rand int grid[9][9];          
            
  // ...          
endclass

constraint all_elements_1_to_9_c {          
  foreach (grid[i, j])          
    grid[i][j] inside { [1:9] };          
}

constraint unique_on_row_c {          
  foreach (grid[i])          
    unique { grid[i] };          
}

local rand int grid_transposed[9][9];                  
constraint create_transposed_c {          
  foreach (grid[i, j])          
    grid_transposed[i][j] == grid[j][i];          
}

constraint unique_on_column_c {          
  foreach (grid_transposed[i])          
    unique { grid_transposed[i] };          
}

local  rand  int  sub_grids [ 3 ][ 3 ][ 3 ][ 3 ];
constraint  create_sub_grids_c  {           
  foreach  ( sub_grids [ i ,  j ,  k ,  l ])           
    sub_grids [ i ][ j ][ k ][ l ]  ==  grid [ i * 3  +  k ][ j * 3  +  l ];           
}

local  rand  int  sub_grids_lin [ 3 ][ 3 ][ 9 ];                    
constraint  create_sub_grids_lin_c  {           
  foreach  ( sub_grids_lin [ i ,  j ,  k ])           
    sub_grids_lin [ i ][ j ][ k ]  ==  sub_grids [ i ][ j ][ k / 3 ][ k % 3 ];           
}

审核编辑：汤梓红