Fix div_mod test

This commit is contained in:
Sergey 2019-09-11 20:34:22 +03:00 committed by Miodrag Milanovic
parent 7bc8f0c2e2
commit df7fe40529
1 changed files with 1 additions and 1 deletions

View File

@ -6,7 +6,7 @@ design -load postopt # load the post-opt design (otherwise equiv_opt loads the p
cd top # Constrain all select calls below inside the top module
select -assert-count 12 t:LUT1
select -assert-count 21 t:LUT2
select -assert-count 23 t:LUT2
select -assert-count 13 t:LUT4
select -assert-count 6 t:LUT5
select -assert-count 80 t:LUT6