1 2 3 4 5 6 7 8 9 10
#!/bin/sh topdir=../.. . $topdir/testenv.sh #formal axis_squarer run_symbiyosys axis_squarer.sby cover clean echo OK