#! /bin/csh
# verification script for the oct reader/writer
#
# set up some variables
echo "set OCT-CELL-VIEW physical" > /tmp/verify-script.$$
echo "set OCT-CELL-PATH ~octtools/lib/technology/scmos/msu/stdcell2_0" >> /tmp/verify-script.$$
echo "set OCT-TECHNOLOGY scmos" >> /tmp/verify-script.$$
echo "set OCT-EDITSTYLE SYMBOLIC" >> /tmp/verify-script.$$
echo "set OCT-VIEWTYPE SYMBOLIC" >> /tmp/verify-script.$$
echo "read_library stdcell2_0.genlib" >> /tmp/verify-script.$$

foreach i (~octtools/lib/misII/ex/$argv[1]/*.blif)
    set count = `wc -l $i`
    if ($count[1] < 200) then
	echo echo $i > /tmp/verify.$$
	echo source /tmp/verify-script.$$ >> /tmp/verify.$$
	echo rl $i >> /tmp/verify.$$
	# verify generic output
	echo wo tst:logic >> /tmp/verify.$$
	echo ro tst:logic >> /tmp/verify.$$
	echo verify $i >> /tmp/verify.$$
	# verify mapped output
	echo map >> /tmp/verify.$$
	echo phase -g >> /tmp/verify.$$
	echo wo tst:logic >> /tmp/verify.$$
	echo ro tst:logic >> /tmp/verify.$$
	echo verify $i >> /tmp/verify.$$
	# verify long expressions
	echo clp >> /tmp/verify.$$
	echo wo tst:logic >> /tmp/verify.$$
	echo ro tst:logic >> /tmp/verify.$$
	echo verify $i >> /tmp/verify.$$
	echo quit >> /tmp/verify.$$
	cat /tmp/verify.$$ | misII
	/bin/rm /tmp/verify.$$
    endif
end
/bin/rm /tmp/verify-script.$$