The 4 Queens Problem consists in placing four queens on a 4 x 4 chessboard so that no two queens attack each other. That is, no two queens are allowed to be placed on the same row , the same column or the same diagonal . constraint c2{ box.sum() == 4; foreach (box[i,j]) { box[i…

Thanks Dave! I missed the last statement. Thanks for your response! Got error for “box.sum(R) with (R.sum(C) with (int’(C))) == 4;” Replace the same with “box.sum() with (int’(item))== 4;”. It worked and got desired array! module top; class A; rand bit box[4][4]; constraint c2{ …

Verification Academy

Constraint for 4 Queens Problem

SystemVerilog

dave_59 April 12, 2024, 3:28pm 4

2D array constraint randomization SystemVerilog

In reply to prasadaddagarla: The LRM only defines the behavior of all array manipulation for a single dimension. It even has this example logic [7:0] m [2][2] = '{ '{5, 10}, '{15, 20} }; int y; y = m.sum with (item.sum with (item)); // y becomes 50 => 5+10+15+20 Your tool seems to treat the array reduction methods differently inside a constraint versus outside a constraint. Try this code class A; rand bit [4:0] a [3][3]; constraint c1 { a.sum() == 15; // illegal a.sum() with (ite…

show post in topic

Home
Categories
Guidelines
Terms of Service
Privacy Policy

Powered by Discourse, best viewed with JavaScript enabled