projects
/
yosys.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
7bc8f0c
)
Fix div_mod test
author
Sergey
<37293587+SergeyDegtyar@users.noreply.github.com>
Wed, 11 Sep 2019 17:34:22 +0000
(20:34 +0300)
committer
Miodrag Milanovic
<mmicko@gmail.com>
Thu, 17 Oct 2019 15:10:02 +0000
(17:10 +0200)
tests/xilinx/div_mod.ys
patch
|
blob
|
history
diff --git
a/tests/xilinx/div_mod.ys
b/tests/xilinx/div_mod.ys
index cc00b1a2790a78aa1b3409d848d4d2b11749c702..52e536a7f8a7caccbb4b4935b6d5f5b20c057f77 100644
(file)
--- a/
tests/xilinx/div_mod.ys
+++ b/
tests/xilinx/div_mod.ys
@@
-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 2
1
t:LUT2
+select -assert-count 2
3
t:LUT2
select -assert-count 13 t:LUT4
select -assert-count 6 t:LUT5
select -assert-count 80 t:LUT6