mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-09-03 00:28:08 +00:00
Code Activity

Merge pull request #1153 from YosysHQ/dave/fix_multi_mux

Browse source 
memory_dff: Fix checking of feedback mux input when more than one mux
This commit is contained in:
David Shah 2019-07-02 16:47:54 +01:00
parent 7b298479d4
commit 4b49c0201e
3 changed files with 25 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
tests/memories/run-test.sh
View file

@ -31,6 +31,10 @@ for f in `egrep -l 'expect-(wr-ports|rd-ports|rd-clk)' *.v`; do
grep -q "connect \\\\RD_CLK \\$(gawk '/expect-rd-clk/ { print $3; }' $f)\$" ${f%.v}.dmp ||
{ echo " ERROR: Unexpected read clock."; false; }
fi
if grep -q expect-no-rd-clk $f; then
grep -q "connect \\\\RD_CLK 1'x\$" ${f%.v}.dmp ||
{ echo " ERROR: Expected no read clock."; false; }
fi
echo " ok."
done