projects
/
yosys.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
6331fa5
)
Fix latches.ys test
author
SergeyDegtyar
<sndegtyar@gmail.com>
Tue, 10 Sep 2019 05:36:59 +0000
(08:36 +0300)
committer
Miodrag Milanovic
<mmicko@gmail.com>
Thu, 17 Oct 2019 15:10:02 +0000
(17:10 +0200)
tests/xilinx/latches.ys
patch
|
blob
|
history
diff --git
a/tests/xilinx/latches.ys
b/tests/xilinx/latches.ys
index 9ab562bcfea4415b93614bdfa07eb5f3fd78a958..042ee2d4f7f0aceb848dedca26e26455c2d5ca43 100644
(file)
--- a/
tests/xilinx/latches.ys
+++ b/
tests/xilinx/latches.ys
@@
-11,10
+11,9
@@
design -load postopt # load the post-opt design (otherwise equiv_opt loads the p
design -load read
synth_xilinx
-#cd top
-
+flatten
+cd top
select -assert-count 1 t:LUT1
select -assert-count 2 t:LUT3
select -assert-count 3 t:$_DLATCH_P_
-#ERROR: Assertion failed: selection is not empty: t:LUT1 t:LUT3 t:$_DLATCH_P_ %% t:* %D
-#select -assert-none t:LUT1 t:LUT3 t:$_DLATCH_P_ %% t:* %D
+select -assert-none t:LUT1 t:LUT3 t:$_DLATCH_P_ %% t:* %D