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