gitextract_nmd62lmp/

├── .gitattributes
├── .github/
│   ├── PULL_REQUEST_TEMPLATE.md
│   └── workflows/
│       ├── ci.yml
│       └── codeql.yml
├── .gitignore
├── .gittag
├── .readthedocs.yaml
├── COPYING
├── Makefile
├── README.md
├── docs/
│   ├── .gitignore
│   ├── Makefile
│   ├── examples/
│   │   ├── Makefile
│   │   ├── abstract/
│   │   │   ├── .gitignore
│   │   │   ├── Makefile
│   │   │   ├── README.md
│   │   │   ├── abstr.sby
│   │   │   ├── abstr.sv
│   │   │   ├── demo.v
│   │   │   ├── props.sby
│   │   │   └── props.sv
│   │   ├── autotune/
│   │   │   ├── README.md
│   │   │   ├── divider.sby
│   │   │   └── divider.sv
│   │   ├── demos/
│   │   │   ├── .gitignore
│   │   │   ├── Makefile
│   │   │   ├── axicheck.v
│   │   │   ├── fib.sby
│   │   │   ├── fib.sv
│   │   │   ├── memory.sby
│   │   │   ├── picorv32.v
│   │   │   ├── picorv32_axicheck.sby
│   │   │   └── up_down_counter.sby
│   │   ├── dft/
│   │   │   ├── data_diode.sby
│   │   │   └── data_diode.sv
│   │   ├── fifo/
│   │   │   ├── .gitignore
│   │   │   ├── Makefile
│   │   │   ├── fifo.sby
│   │   │   ├── fifo.sv
│   │   │   ├── fifo_extra_tests.sby
│   │   │   ├── golden/
│   │   │   │   ├── fifo.sby
│   │   │   │   └── fifo.sv
│   │   │   └── noskip.gtkw
│   │   ├── indinv/
│   │   │   ├── .gitignore
│   │   │   ├── Makefile
│   │   │   ├── README.md
│   │   │   ├── example.py
│   │   │   ├── example.sv
│   │   │   ├── prove_p0.sby
│   │   │   └── prove_p23.sby
│   │   ├── multiclk/
│   │   │   ├── .gitignore
│   │   │   ├── Makefile
│   │   │   ├── dpmem.sby
│   │   │   └── dpmem.sv
│   │   ├── puzzles/
│   │   │   ├── .gitignore
│   │   │   ├── Makefile
│   │   │   ├── djb2hash.sby
│   │   │   ├── djb2hash.sv
│   │   │   ├── pour_853_to_4.sby
│   │   │   ├── pour_853_to_4.sv
│   │   │   ├── primegen.sby
│   │   │   ├── primegen.sv
│   │   │   ├── wolf_goat_cabbage.sby
│   │   │   └── wolf_goat_cabbage.sv
│   │   ├── quickstart/
│   │   │   ├── .gitignore
│   │   │   ├── Makefile
│   │   │   ├── cover.sby
│   │   │   ├── cover.sv
│   │   │   ├── demo.sby
│   │   │   ├── demo.sv
│   │   │   ├── memory.sby
│   │   │   ├── memory.sv
│   │   │   ├── prove.sby
│   │   │   └── prove.sv
│   │   ├── tristate/
│   │   │   ├── Makefile
│   │   │   ├── README.md
│   │   │   ├── tristate.sby
│   │   │   └── tristates.v
│   │   └── vhd/
│   │       ├── .gitignore
│   │       ├── formal_bind.sby
│   │       ├── formal_bind.sv
│   │       └── updowncount.vhd
│   ├── source/
│   │   ├── autotune.rst
│   │   ├── conf.diff
│   │   ├── conf.py
│   │   ├── index.rst
│   │   ├── install.rst
│   │   ├── license.rst
│   │   ├── quickstart.rst
│   │   ├── reference.rst
│   │   ├── requirements.txt
│   │   ├── usage.rst
│   │   ├── verific.rst
│   │   └── verilog.rst
│   └── static/
│       └── custom.css
├── extern/
│   └── launcher.c
├── sbysrc/
│   ├── sby.py
│   ├── sby_autotune.py
│   ├── sby_cmdline.py
│   ├── sby_core.py
│   ├── sby_design.py
│   ├── sby_engine_abc.py
│   ├── sby_engine_aiger.py
│   ├── sby_engine_btor.py
│   ├── sby_engine_itp.py
│   ├── sby_engine_smtbmc.py
│   ├── sby_jobserver.py
│   ├── sby_mode_bmc.py
│   ├── sby_mode_cover.py
│   ├── sby_mode_live.py
│   ├── sby_mode_prove.py
│   ├── sby_sim.py
│   └── sby_status.py
├── tests/
│   ├── .gitignore
│   ├── Makefile
│   ├── autotune/
│   │   ├── Makefile
│   │   ├── autotune_div.sby
│   │   ├── autotune_div.sh
│   │   ├── autotune_options.sby
│   │   └── autotune_options.sh
│   ├── blackbox/
│   │   ├── Makefile
│   │   ├── blackbox.sby
│   │   ├── parameter.sby
│   │   ├── unknown_cells.sby
│   │   └── wider.sby
│   ├── intertask/
│   │   ├── Makefile
│   │   ├── cancelledby.sby
│   │   ├── cancelledby.sh
│   │   ├── longrunning.sby
│   │   └── longrunning.sh
│   ├── junit/
│   │   ├── JUnit.xsd
│   │   ├── Makefile
│   │   ├── junit_assert.sby
│   │   ├── junit_assert.sh
│   │   ├── junit_cover.sby
│   │   ├── junit_cover.sh
│   │   ├── junit_expect.sby
│   │   ├── junit_expect.sh
│   │   ├── junit_nocodeloc.sby
│   │   ├── junit_nocodeloc.sh
│   │   ├── junit_timeout_error.sby
│   │   ├── junit_timeout_error.sh
│   │   └── validate_junit.py
│   ├── keepgoing/
│   │   ├── Makefile
│   │   ├── check_output.py
│   │   ├── keepgoing_multi_step.py
│   │   ├── keepgoing_multi_step.sby
│   │   ├── keepgoing_multi_step.sh
│   │   ├── keepgoing_multi_step.sv
│   │   ├── keepgoing_same_step.py
│   │   ├── keepgoing_same_step.sby
│   │   ├── keepgoing_same_step.sh
│   │   ├── keepgoing_same_step.sv
│   │   ├── keepgoing_smtc.py
│   │   ├── keepgoing_smtc.sby
│   │   └── keepgoing_smtc.sh
│   ├── links/
│   │   ├── Makefile
│   │   ├── dir/
│   │   │   └── script.ys
│   │   ├── more_dirs.sby
│   │   ├── more_dirs.sh
│   │   ├── symlink.py
│   │   ├── symlink.sby
│   │   └── symlink.sh
│   ├── make/
│   │   ├── collect_tests.py
│   │   ├── help.txt
│   │   ├── required_tools.py
│   │   ├── run_sby.py
│   │   ├── subdir.mk
│   │   └── test_rules.py
│   ├── parser/
│   │   ├── .gitignore
│   │   └── Makefile
│   ├── regression/
│   │   ├── Makefile
│   │   ├── aim_vs_smt2_nonzero_start_offset.sby
│   │   ├── const_clocks.sby
│   │   ├── fake_loop.sby
│   │   ├── ff_xinit_opt.sby
│   │   ├── invalid_ff_dcinit_merge.sby
│   │   ├── option_skip.sby
│   │   ├── smt_dynamic_index_assign.sby
│   │   ├── unroll_noincr_traces.sby
│   │   ├── verilog_hier_path.sby
│   │   └── vhdl_hier_path.sby
│   ├── staged_sim_and_verif/
│   │   ├── README.md
│   │   ├── Req_Ack.sv
│   │   ├── skip_staged_flow.sby
│   │   ├── staged_sim_and_verif.sby
│   │   └── staged_sim_and_verif.sh
│   ├── statusdb/
│   │   ├── Makefile
│   │   ├── mixed.py
│   │   ├── mixed.sby
│   │   ├── mixed.sh
│   │   ├── mixed.v
│   │   ├── reset.sby
│   │   ├── reset.sh
│   │   ├── reset.sv
│   │   ├── timeout.sby
│   │   └── timeout.sh
│   └── unsorted/
│       ├── 2props1trace.sby
│       ├── Makefile
│       ├── allconst.sby
│       ├── bmc_len.sby
│       ├── both_ex.sby
│       ├── both_ex.v
│       ├── btor_meminit.sby
│       ├── cover.sby
│       ├── cover.sv
│       ├── cover_fail.sby
│       ├── cover_unreachable.sby
│       ├── demo.sby
│       ├── demo.sv
│       ├── floor_divmod.sby
│       ├── memory.sby
│       ├── memory.sv
│       ├── mixed.sby
│       ├── mixed.v
│       ├── multi_assert.sby
│       ├── no_props.sby
│       ├── no_vcd.sby
│       ├── preunsat.sby
│       ├── prv32fmcmp.sby
│       ├── prv32fmcmp.v
│       ├── redxor.sby
│       ├── redxor.v
│       ├── smtlib2_module.sby
│       ├── stopfirst.sby
│       └── submod_props.sby
└── tools/
    ├── README.md
    ├── aigcexmin/
    │   ├── .gitignore
    │   ├── Cargo.toml
    │   └── src/
    │       ├── aig_eval.rs
    │       ├── care_graph.rs
    │       ├── main.rs
    │       └── util.rs
    └── cexenum/
        ├── cexenum.py
        └── examples/
            ├── .gitignore
            └── factor.sby