restart_all.do

vlog tinyalu.sv;
vlog bfm.sv;
vlog transaction.sv;
vlog imports.sv;
vlog driver.sv;
vlog coverage.sv;
vlog top.sv;
vlog tester.sv;
restart -f;
run 5 us;