# Script to .tcf file for 32-bit updown counter	
# Author: Hetaswi Vankani (hetaswi@vt.edu)  
# Last Modified : September 30, 2013

dumptcf -scope M1 -output dut.tcf -overwrite -flatformat -dumpwireasnet
run 3000 ns
dumptcf -end
run