formal01.fit.rpt
formal01.fit.smsg
formal01.fit.summary
formal01.flow.rpt
formal01.map.rpt
formal01.map.summary
formal01.pin
formal01.pof
formal01.qpf
formal01.qsf
formal01.qws
formal01.sof
formal01.tan.rpt
formal01.tan.summary
output_test.bsf
output_test.inc
system_ctrl.bsf
uart_receiver.bsf
uart_test.bsf
uart_transfer.bsf
db/formal01.(0).cnf.cdb
db/formal01.(0).cnf.hdb
db/formal01.(1).cnf.cdb
db/formal01.(1).cnf.hdb
db/formal01.(2).cnf.cdb
db/formal01.(2).cnf.hdb
db/formal01.(3).cnf.cdb
db/formal01.(3).cnf.hdb
db/formal01.(4).cnf.cdb
db/formal01.(4).cnf.hdb
db/formal01.(5).cnf.cdb
db/formal01.(5).cnf.hdb
db/formal01.asm.qmsg
db/formal01.asm.rdb
db/formal01.asm_labs.ddb
db/formal01.cbx.xml
db/formal01.cmp.bpm
db/formal01.cmp.cdb
db/formal01.cmp.ecobp
db/formal01.cmp.hdb
db/formal01.cmp.kpt
db/formal01.cmp.logdb
db/formal01.cmp.rdb
db/formal01.cmp.tdb
db/formal01.cmp0.ddb
db/formal01.cmp2.ddb
db/formal01.cmp_merge.kpt
db/formal01.db_info
db/formal01.eco.cdb
db/formal01.fit.qmsg
db/formal01.hier_info
db/formal01.hif
db/formal01.lpc.html
db/formal01.lpc.rdb
db/formal01.lpc.txt
db/formal01.map.bpm
db/formal01.map.cdb
db/formal01.map.ecobp
db/formal01.map.hdb
db/formal01.map.kpt
db/formal01.map.logdb
db/formal01.map.qmsg
db/formal01.map_bb.cdb
db/formal01.map_bb.hdb
db/formal01.map_bb.logdb
db/formal01.pre_map.cdb
db/formal01.pre_map.hdb
db/formal01.rtlv.hdb
db/formal01.rtlv_sg.cdb
db/formal01.rtlv_sg_swap.cdb
db/formal01.sgdiff.cdb
db/formal01.sgdiff.hdb
db/formal01.sld_design_entry.sci
db/formal01.sld_design_entry_dsc.sci
db/formal01.smart_action.txt
db/formal01.syn_hier_info
db/formal01.tan.qmsg
db/formal01.tis_db_list.ddb
db/logic_util_heursitic.dat
db/prev_cmp_formal01.asm.qmsg
db/prev_cmp_formal01.fit.qmsg
db/prev_cmp_formal01.map.qmsg
db/prev_cmp_formal01.qmsg
db/prev_cmp_formal01.tan.qmsg
incremental_db/compiled_partitions/formal01.root_partition.cmp.cdb
incremental_db/compiled_partitions/formal01.root_partition.cmp.dfp
incremental_db/compiled_partitions/formal01.root_partition.cmp.hdb
incremental_db/compiled_partitions/formal01.root_partition.cmp.kpt
incremental_db/compiled_partitions/formal01.root_partition.cmp.logdb
incremental_db/compiled_partitions/formal01.root_partition.cmp.rcfdb
incremental_db/compiled_partitions/formal01.root_partition.cmp.re.rcfdb
incremental_db/compiled_partitions/formal01.root_partition.map.cdb
incremental_db/compiled_partitions/formal01.root_partition.map.dpi
incremental_db/compiled_partitions/formal01.root_partition.map.hdb
incremental_db/compiled_partitions/formal01.root_partition.map.kpt
incremental_db/README
src/clk_generator.v
src/output_test.v
src/system_ctrl.v
src/uart_receiver.v
src/uart_test.v
src/uart_transfer.v
clk_generator.bsf
formal01.asm.rpt
formal01.bdf
formal01.cdf
formal01.done
formal01.dpf
incremental_db/compiled_partitions
db
incremental_db
src