#!/bin/sh

if [ "$2" = "" ]; then 
	output=/dev/stdout
else
	output=$2 
fi

echo "		dump = 1;" > $output
echo "" >> $output
grep add $1 | sed s/"^.*vsim"/vsim/ | sed s/\".*/@@BBBBBB/ | sed s/"^v"/'		\$dumpvars(1, v'/  | sed s/@@BBBBBB/');'/ >> $output