mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-05 17:14:08 +00:00
edd8ff2c07
The $div and $mod cells use truncating division semantics (rounding towards 0), as defined by e.g. Verilog. Another rounding mode, flooring (rounding towards negative infinity), can be used in e.g. VHDL. The new $divfloor cell provides this flooring division. This commit also fixes the handling of $div in opt_expr, which was previously optimized as if it was $divfloor.
34 lines
735 B
Bash
34 lines
735 B
Bash
#!/bin/bash
|
|
|
|
set -ex
|
|
|
|
rm -rf test_cells.tmp
|
|
mkdir -p test_cells.tmp
|
|
cd test_cells.tmp
|
|
|
|
# don't test $mul to reduce runtime
|
|
# don't test $div/$mod/$divfloor/$modfloor to reduce runtime and avoid "div by zero" message
|
|
../../../yosys -p 'test_cell -n 5 -w test all /$alu /$fa /$lcu /$lut /$macc /$mul /$div /$mod /$divfloor /$modfloor'
|
|
|
|
cat > template.txt << "EOT"
|
|
%module main
|
|
INVARSPEC ! bool(_trigger);
|
|
EOT
|
|
|
|
for fn in test_*.il; do
|
|
../../../yosys -p "
|
|
read_ilang $fn
|
|
rename gold gate
|
|
synth
|
|
|
|
read_ilang $fn
|
|
miter -equiv -flatten gold gate main
|
|
hierarchy -top main
|
|
write_smv -tpl template.txt ${fn#.il}.smv
|
|
"
|
|
nuXmv -dynamic ${fn#.il}.smv > ${fn#.il}.out
|
|
done
|
|
|
|
grep '^-- invariant .* is false' *.out || echo 'All OK.'
|
|
|