mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-24 13:18:56 +00:00
Code Activity

Added "eval" pass

Browse source
This commit is contained in:
Clifford Wolf 2013-06-19 09:30:37 +02:00
parent a046a302f0
commit 21e38bed98
6 changed files with 316 additions and 189 deletions
Download patch file Download diff file Expand all files Collapse all files

4
tests/xsthammer/run-check.sh
View file

@ -54,8 +54,8 @@ done
echo "sat -verify -show a,b,y_rtl,y_xst -prove y_rtl y_xst ${job}_top_nomap"
echo "sat -verify -show a,b,y_rtl,y_xst -prove y_rtl y_xst ${job}_top_techmap"
if [[ $job != expression_* ]]; then
echo "sat -brute_force_equiv_checker ${job}_rtl_nomap ${job}_xst_nomap"
echo "sat -brute_force_equiv_checker ${job}_rtl_techmap ${job}_xst_techmap"
echo "eval -brute_force_equiv_checker ${job}_rtl_nomap ${job}_xst_nomap"
echo "eval -brute_force_equiv_checker ${job}_rtl_techmap ${job}_xst_techmap"
fi
} > ${job}_cmp.ys