1 2 3 4 5 6 7 8 9 10 11
#!/bin/bash set -e source common.sh f=$1 n=$(basename ${f%.v}) test_equiv mapopt "opt -fine; techmap; opt" "-set-def-inputs" $n $f exit 0