4 bash ..
/tools
/autotest.sh
-G *.v
6 for f
in `egrep -l 'expect-(wr|rd)-ports' *.v`; do
7 echo -n "Testing expectations for $f .."
8 ..
/..
/yosys
-qp "proc; opt; memory -nomap;; dump -outfile ${f%.v}.dmp t:\$mem" $f
9 if grep -q expect-wr-ports
$f; then
10 grep -q "parameter \\\\WR_PORTS $(gawk '/expect-wr-ports/ { print $3; }' amber23_sram_byte_en.v)\$" amber23_sram_byte_en.dmp ||
11 { echo " ERROR: Unexpected number of write ports."; false
; }
13 if grep -q expect-rd-ports
$f; then
14 grep -q "parameter \\\\RD_PORTS $(gawk '/expect-rd-ports/ { print $3; }' amber23_sram_byte_en.v)\$" amber23_sram_byte_en.dmp ||
15 { echo " ERROR: Unexpected number of read ports."; false
; }