- /README.md
- /netlist/Netlist.vhd
- /netlist/ALU_Netlist.vhd
- /src/atpg.cpp
- /src/cnf_base.cpp
- /src/cnf_base.hpp
- /src/parser.cpp
- /src/static_model.hpp
- /src/add_sub_gnd_vcc.cpp
- /src/get_wires.cpp
- /src/main.cpp
- /src/remove_dangling.cpp
- /src/split_wires.cpp
- /src/transform_seq_to_comb.cpp
- /tests/microseconds.txt
- /tests/outputs.s
- /tests/testprogram.s
- /tests/wirefile.txt
- /readme.txt