db_open foo db_output -r foo.alf.rep -alf foo.alf -p typical db_verilog -r foo.v db_close exit