├── .gitattributes ├── .github ├── PULL_REQUEST_TEMPLATE.md └── workflows │ ├── ci.yml │ ├── codeql.yml │ └── get_markdown.py ├── .gitignore ├── .gittag ├── .readthedocs.yaml ├── COPYING ├── Makefile ├── README.md ├── docs ├── .gitignore ├── Makefile ├── examples │ └── quickstart │ │ └── README.md ├── source │ ├── conf.diff │ ├── conf.py │ ├── config.rst │ ├── index.rst │ ├── install.rst │ ├── license.rst │ ├── outdir.rst │ ├── quickstart.rst │ ├── requirements.txt │ ├── strategies.rst │ └── xprop.rst └── static │ ├── custom.css │ ├── favico.png │ ├── logo.png │ └── yosyshq.css ├── examples ├── nerv │ ├── .gitignore │ ├── Makefile │ ├── README.md │ ├── nerv.sv │ ├── nerv_change.sv │ ├── nerv_change_fail.eqy │ ├── nerv_change_pass.eqy │ ├── nerv_synth.eqy │ ├── nerv_synth.v │ └── nerv_synth.ys ├── picorv32 │ ├── .gitignore │ ├── Makefile │ ├── README.md │ ├── firmware.hex │ ├── firmware.patch │ ├── init.v │ ├── picorv32.v │ ├── picorv32_modified.eqy │ ├── picorv32_modified.v │ ├── picorv32_vivado.eqy │ ├── picorv32_vivado.log │ ├── picorv32_vivado.tcl │ ├── picorv32_vivado.v │ ├── testbench.v │ ├── tryamend.sh │ └── vcdmatch.py ├── risc16f84 │ ├── .gitignore │ ├── Makefile │ ├── PIC16F84-T300.pdf │ ├── README.md │ ├── risc16f84-free.v │ ├── risc16f84-in.v │ ├── risc16f84-th-free.v │ ├── risc16f84-th-in.v │ └── risc16f84.eqy ├── simple │ ├── .gitignore │ ├── Makefile │ ├── aliases.eqy │ ├── aliases.sv │ ├── combine.eqy │ ├── combine.sv │ ├── counter.eqy │ ├── counter.sv │ ├── ex_amend.eqy │ ├── ex_amend.sv │ ├── ex_bind.eqy │ ├── ex_bind.sv │ ├── ex_group.eqy │ ├── ex_group.sv │ ├── ex_join.eqy │ ├── ex_join.sv │ ├── fsm.eqy │ ├── fsm.sv │ ├── hierarchy.eqy │ ├── hierarchy.sv │ ├── submodules.eqy │ └── submodules.sv └── spm │ ├── .gitignore │ ├── Makefile │ ├── README.md │ ├── formal_pdk_proc.py │ ├── primitives.v │ ├── sky130_fd_sc_hd.v │ ├── spm.eqy │ ├── spm.nl.v │ └── spm.v ├── extern └── launcher.c ├── llvm-gcov.sh ├── requirements.txt ├── src ├── .gitignore ├── eqy.py ├── eqy_combine.cc ├── eqy_job.py ├── eqy_partition.cc └── eqy_recode.cc └── tests ├── plugin ├── .gitignore ├── combine_extra_argument.ys ├── combine_gate_create_error.ys ├── combine_gate_missing.ys ├── combine_gold_create_error.ys ├── combine_gold_missing.ys ├── combine_top_gate_missing.ys ├── combine_top_gold_missing.ys ├── combine_top_not_match.ys ├── data │ ├── counter_combined.il │ ├── counter_matched.ids │ ├── counter_partition.ids │ ├── empty.ids │ ├── gate_module_error.ids │ ├── gate_value_width_error.ids │ ├── gate_wire_missing.ids │ ├── gold_module_error.ids │ ├── gold_value_width_error.ids │ ├── gold_wire_missing.ids │ ├── malformed.ids │ ├── matched_empty.ids │ ├── matched_malformed.ids │ ├── matched_ok.ids │ └── partition_malformed.ids ├── help.ys ├── partition_additional_module.ys ├── partition_extra_argument.ys ├── partition_matched_malformed.ys ├── partition_matched_not_found.ys ├── partition_matching_gate_not_found.ys ├── partition_mismatched.ys ├── partition_no_matched.ys ├── partition_partition_malformed.ys ├── partition_partition_not_found.ys ├── partition_required_params.ys ├── partition_write_fragments.ys ├── recode_empty_list.ys ├── recode_extra_argument.ys ├── recode_filename_bad.ys ├── recode_filename_malformed.ys ├── recode_filename_missing.ys ├── recode_gate_module_error.ys ├── recode_gate_value_width_error.ys ├── recode_gate_wire_missing.ys ├── recode_gold_missing.ys ├── recode_gold_module_error.ys ├── recode_gold_value_width_error.ys ├── recode_gold_wire_missing.ys ├── recode_top_gate_missing.ys ├── recode_top_gold_missing.ys ├── recode_top_not_match.ys └── run-test.sh └── python ├── .gitignore ├── Makefile ├── counter.eqy ├── counter.sv ├── counter_cells.eqy ├── dupl_section.eqy ├── equivalence_problem.eqy ├── error_verilog.eqy ├── error_verilog.sv ├── expected_opt_bool_on_off.eqy ├── expected_opt_bool_val.eqy ├── expected_opt_int_integer.eqy ├── expected_opt_int_val.eqy ├── expected_opt_str_val.eqy ├── failed_partition.eqy ├── missing_gate_section.eqy ├── missing_gold_section.eqy ├── no_use_line.eqy ├── picorv32_vivado.eqy ├── problem_occured.eqy ├── read_source_fail.eqy ├── repeated_option_bool.eqy ├── repeated_option_int.eqy ├── repeated_option_str.eqy ├── repeated_option_use.eqy ├── splitnets.eqy ├── syntax_error.eqy ├── syntax_error_collect.eqy ├── syntax_error_options.eqy ├── syntax_error_partition.eqy ├── timeout.eqy ├── unknown_opt_other.eqy ├── unknown_option.eqy └── unknown_strategy.eqy /.gitattributes: -------------------------------------------------------------------------------- 1 | /.gittag export-subst 2 | -------------------------------------------------------------------------------- /.github/PULL_REQUEST_TEMPLATE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/.github/PULL_REQUEST_TEMPLATE.md -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/codeql.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/.github/workflows/codeql.yml -------------------------------------------------------------------------------- /.github/workflows/get_markdown.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/.github/workflows/get_markdown.py -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/.gitignore -------------------------------------------------------------------------------- /.gittag: -------------------------------------------------------------------------------- 1 | v0.60 2 | -------------------------------------------------------------------------------- /.readthedocs.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/.readthedocs.yaml -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/COPYING -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/README.md -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- 1 | /build/ 2 | -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/examples/quickstart/README.md: -------------------------------------------------------------------------------- 1 | TBD 2 | -------------------------------------------------------------------------------- /docs/source/conf.diff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/docs/source/conf.diff -------------------------------------------------------------------------------- /docs/source/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/docs/source/conf.py -------------------------------------------------------------------------------- /docs/source/config.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/docs/source/config.rst -------------------------------------------------------------------------------- /docs/source/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/docs/source/index.rst -------------------------------------------------------------------------------- /docs/source/install.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/docs/source/install.rst -------------------------------------------------------------------------------- /docs/source/license.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/docs/source/license.rst -------------------------------------------------------------------------------- /docs/source/outdir.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/docs/source/outdir.rst -------------------------------------------------------------------------------- /docs/source/quickstart.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/docs/source/quickstart.rst -------------------------------------------------------------------------------- /docs/source/requirements.txt: -------------------------------------------------------------------------------- 1 | sphinx-press-theme 2 | -------------------------------------------------------------------------------- /docs/source/strategies.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/docs/source/strategies.rst -------------------------------------------------------------------------------- /docs/source/xprop.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/docs/source/xprop.rst -------------------------------------------------------------------------------- /docs/static/custom.css: -------------------------------------------------------------------------------- 1 | /* empty */ 2 | -------------------------------------------------------------------------------- /docs/static/favico.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/docs/static/favico.png -------------------------------------------------------------------------------- /docs/static/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/docs/static/logo.png -------------------------------------------------------------------------------- /docs/static/yosyshq.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/docs/static/yosyshq.css -------------------------------------------------------------------------------- /examples/nerv/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/nerv/.gitignore -------------------------------------------------------------------------------- /examples/nerv/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/nerv/Makefile -------------------------------------------------------------------------------- /examples/nerv/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/nerv/README.md -------------------------------------------------------------------------------- /examples/nerv/nerv.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/nerv/nerv.sv -------------------------------------------------------------------------------- /examples/nerv/nerv_change.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/nerv/nerv_change.sv -------------------------------------------------------------------------------- /examples/nerv/nerv_change_fail.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/nerv/nerv_change_fail.eqy -------------------------------------------------------------------------------- /examples/nerv/nerv_change_pass.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/nerv/nerv_change_pass.eqy -------------------------------------------------------------------------------- /examples/nerv/nerv_synth.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/nerv/nerv_synth.eqy -------------------------------------------------------------------------------- /examples/nerv/nerv_synth.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/nerv/nerv_synth.v -------------------------------------------------------------------------------- /examples/nerv/nerv_synth.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/nerv/nerv_synth.ys -------------------------------------------------------------------------------- /examples/picorv32/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/picorv32/.gitignore -------------------------------------------------------------------------------- /examples/picorv32/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/picorv32/Makefile -------------------------------------------------------------------------------- /examples/picorv32/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/picorv32/README.md -------------------------------------------------------------------------------- /examples/picorv32/firmware.hex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/picorv32/firmware.hex -------------------------------------------------------------------------------- /examples/picorv32/firmware.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/picorv32/firmware.patch -------------------------------------------------------------------------------- /examples/picorv32/init.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/picorv32/init.v -------------------------------------------------------------------------------- /examples/picorv32/picorv32.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/picorv32/picorv32.v -------------------------------------------------------------------------------- /examples/picorv32/picorv32_modified.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/picorv32/picorv32_modified.eqy -------------------------------------------------------------------------------- /examples/picorv32/picorv32_modified.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/picorv32/picorv32_modified.v -------------------------------------------------------------------------------- /examples/picorv32/picorv32_vivado.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/picorv32/picorv32_vivado.eqy -------------------------------------------------------------------------------- /examples/picorv32/picorv32_vivado.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/picorv32/picorv32_vivado.log -------------------------------------------------------------------------------- /examples/picorv32/picorv32_vivado.tcl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/picorv32/picorv32_vivado.tcl -------------------------------------------------------------------------------- /examples/picorv32/picorv32_vivado.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/picorv32/picorv32_vivado.v -------------------------------------------------------------------------------- /examples/picorv32/testbench.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/picorv32/testbench.v -------------------------------------------------------------------------------- /examples/picorv32/tryamend.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/picorv32/tryamend.sh -------------------------------------------------------------------------------- /examples/picorv32/vcdmatch.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/picorv32/vcdmatch.py -------------------------------------------------------------------------------- /examples/risc16f84/.gitignore: -------------------------------------------------------------------------------- 1 | /risc16f84 2 | -------------------------------------------------------------------------------- /examples/risc16f84/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/risc16f84/Makefile -------------------------------------------------------------------------------- /examples/risc16f84/PIC16F84-T300.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/risc16f84/PIC16F84-T300.pdf -------------------------------------------------------------------------------- /examples/risc16f84/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/risc16f84/README.md -------------------------------------------------------------------------------- /examples/risc16f84/risc16f84-free.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/risc16f84/risc16f84-free.v -------------------------------------------------------------------------------- /examples/risc16f84/risc16f84-in.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/risc16f84/risc16f84-in.v -------------------------------------------------------------------------------- /examples/risc16f84/risc16f84-th-free.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/risc16f84/risc16f84-th-free.v -------------------------------------------------------------------------------- /examples/risc16f84/risc16f84-th-in.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/risc16f84/risc16f84-th-in.v -------------------------------------------------------------------------------- /examples/risc16f84/risc16f84.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/risc16f84/risc16f84.eqy -------------------------------------------------------------------------------- /examples/simple/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/.gitignore -------------------------------------------------------------------------------- /examples/simple/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/Makefile -------------------------------------------------------------------------------- /examples/simple/aliases.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/aliases.eqy -------------------------------------------------------------------------------- /examples/simple/aliases.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/aliases.sv -------------------------------------------------------------------------------- /examples/simple/combine.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/combine.eqy -------------------------------------------------------------------------------- /examples/simple/combine.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/combine.sv -------------------------------------------------------------------------------- /examples/simple/counter.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/counter.eqy -------------------------------------------------------------------------------- /examples/simple/counter.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/counter.sv -------------------------------------------------------------------------------- /examples/simple/ex_amend.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/ex_amend.eqy -------------------------------------------------------------------------------- /examples/simple/ex_amend.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/ex_amend.sv -------------------------------------------------------------------------------- /examples/simple/ex_bind.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/ex_bind.eqy -------------------------------------------------------------------------------- /examples/simple/ex_bind.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/ex_bind.sv -------------------------------------------------------------------------------- /examples/simple/ex_group.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/ex_group.eqy -------------------------------------------------------------------------------- /examples/simple/ex_group.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/ex_group.sv -------------------------------------------------------------------------------- /examples/simple/ex_join.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/ex_join.eqy -------------------------------------------------------------------------------- /examples/simple/ex_join.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/ex_join.sv -------------------------------------------------------------------------------- /examples/simple/fsm.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/fsm.eqy -------------------------------------------------------------------------------- /examples/simple/fsm.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/fsm.sv -------------------------------------------------------------------------------- /examples/simple/hierarchy.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/hierarchy.eqy -------------------------------------------------------------------------------- /examples/simple/hierarchy.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/hierarchy.sv -------------------------------------------------------------------------------- /examples/simple/submodules.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/submodules.eqy -------------------------------------------------------------------------------- /examples/simple/submodules.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/simple/submodules.sv -------------------------------------------------------------------------------- /examples/spm/.gitignore: -------------------------------------------------------------------------------- 1 | spm/ 2 | -------------------------------------------------------------------------------- /examples/spm/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/spm/Makefile -------------------------------------------------------------------------------- /examples/spm/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/spm/README.md -------------------------------------------------------------------------------- /examples/spm/formal_pdk_proc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/spm/formal_pdk_proc.py -------------------------------------------------------------------------------- /examples/spm/primitives.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/spm/primitives.v -------------------------------------------------------------------------------- /examples/spm/sky130_fd_sc_hd.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/spm/sky130_fd_sc_hd.v -------------------------------------------------------------------------------- /examples/spm/spm.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/spm/spm.eqy -------------------------------------------------------------------------------- /examples/spm/spm.nl.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/spm/spm.nl.v -------------------------------------------------------------------------------- /examples/spm/spm.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/examples/spm/spm.v -------------------------------------------------------------------------------- /extern/launcher.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/extern/launcher.c -------------------------------------------------------------------------------- /llvm-gcov.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/llvm-gcov.sh -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/requirements.txt -------------------------------------------------------------------------------- /src/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/src/.gitignore -------------------------------------------------------------------------------- /src/eqy.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/src/eqy.py -------------------------------------------------------------------------------- /src/eqy_combine.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/src/eqy_combine.cc -------------------------------------------------------------------------------- /src/eqy_job.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/src/eqy_job.py -------------------------------------------------------------------------------- /src/eqy_partition.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/src/eqy_partition.cc -------------------------------------------------------------------------------- /src/eqy_recode.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/src/eqy_recode.cc -------------------------------------------------------------------------------- /tests/plugin/.gitignore: -------------------------------------------------------------------------------- 1 | /*.log 2 | /*.out 3 | /run-test.mk 4 | -------------------------------------------------------------------------------- /tests/plugin/combine_extra_argument.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/combine_extra_argument.ys -------------------------------------------------------------------------------- /tests/plugin/combine_gate_create_error.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/combine_gate_create_error.ys -------------------------------------------------------------------------------- /tests/plugin/combine_gate_missing.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/combine_gate_missing.ys -------------------------------------------------------------------------------- /tests/plugin/combine_gold_create_error.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/combine_gold_create_error.ys -------------------------------------------------------------------------------- /tests/plugin/combine_gold_missing.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/combine_gold_missing.ys -------------------------------------------------------------------------------- /tests/plugin/combine_top_gate_missing.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/combine_top_gate_missing.ys -------------------------------------------------------------------------------- /tests/plugin/combine_top_gold_missing.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/combine_top_gold_missing.ys -------------------------------------------------------------------------------- /tests/plugin/combine_top_not_match.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/combine_top_not_match.ys -------------------------------------------------------------------------------- /tests/plugin/data/counter_combined.il: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/data/counter_combined.il -------------------------------------------------------------------------------- /tests/plugin/data/counter_matched.ids: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/data/counter_matched.ids -------------------------------------------------------------------------------- /tests/plugin/data/counter_partition.ids: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/plugin/data/empty.ids: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/plugin/data/gate_module_error.ids: -------------------------------------------------------------------------------- 1 | top2 currentstate 0001 00 2 | -------------------------------------------------------------------------------- /tests/plugin/data/gate_value_width_error.ids: -------------------------------------------------------------------------------- 1 | top i 0001 00 2 | -------------------------------------------------------------------------------- /tests/plugin/data/gate_wire_missing.ids: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/data/gate_wire_missing.ids -------------------------------------------------------------------------------- /tests/plugin/data/gold_module_error.ids: -------------------------------------------------------------------------------- 1 | a currentstate 0001 00 2 | -------------------------------------------------------------------------------- /tests/plugin/data/gold_value_width_error.ids: -------------------------------------------------------------------------------- 1 | top i 0001 00 2 | -------------------------------------------------------------------------------- /tests/plugin/data/gold_wire_missing.ids: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/data/gold_wire_missing.ids -------------------------------------------------------------------------------- /tests/plugin/data/malformed.ids: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/data/malformed.ids -------------------------------------------------------------------------------- /tests/plugin/data/matched_empty.ids: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/plugin/data/matched_malformed.ids: -------------------------------------------------------------------------------- 1 | # [*] gold-match * 2 | aliases A A extra 3 | -------------------------------------------------------------------------------- /tests/plugin/data/matched_ok.ids: -------------------------------------------------------------------------------- 1 | # [*] gold-match * 2 | aliases A A 3 | -------------------------------------------------------------------------------- /tests/plugin/data/partition_malformed.ids: -------------------------------------------------------------------------------- 1 | amend top X 1 extra 2 | -------------------------------------------------------------------------------- /tests/plugin/help.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/help.ys -------------------------------------------------------------------------------- /tests/plugin/partition_additional_module.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/partition_additional_module.ys -------------------------------------------------------------------------------- /tests/plugin/partition_extra_argument.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/partition_extra_argument.ys -------------------------------------------------------------------------------- /tests/plugin/partition_matched_malformed.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/partition_matched_malformed.ys -------------------------------------------------------------------------------- /tests/plugin/partition_matched_not_found.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/partition_matched_not_found.ys -------------------------------------------------------------------------------- /tests/plugin/partition_matching_gate_not_found.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/partition_matching_gate_not_found.ys -------------------------------------------------------------------------------- /tests/plugin/partition_mismatched.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/partition_mismatched.ys -------------------------------------------------------------------------------- /tests/plugin/partition_no_matched.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/partition_no_matched.ys -------------------------------------------------------------------------------- /tests/plugin/partition_partition_malformed.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/partition_partition_malformed.ys -------------------------------------------------------------------------------- /tests/plugin/partition_partition_not_found.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/partition_partition_not_found.ys -------------------------------------------------------------------------------- /tests/plugin/partition_required_params.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/partition_required_params.ys -------------------------------------------------------------------------------- /tests/plugin/partition_write_fragments.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/partition_write_fragments.ys -------------------------------------------------------------------------------- /tests/plugin/recode_empty_list.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/recode_empty_list.ys -------------------------------------------------------------------------------- /tests/plugin/recode_extra_argument.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/recode_extra_argument.ys -------------------------------------------------------------------------------- /tests/plugin/recode_filename_bad.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/recode_filename_bad.ys -------------------------------------------------------------------------------- /tests/plugin/recode_filename_malformed.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/recode_filename_malformed.ys -------------------------------------------------------------------------------- /tests/plugin/recode_filename_missing.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/recode_filename_missing.ys -------------------------------------------------------------------------------- /tests/plugin/recode_gate_module_error.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/recode_gate_module_error.ys -------------------------------------------------------------------------------- /tests/plugin/recode_gate_value_width_error.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/recode_gate_value_width_error.ys -------------------------------------------------------------------------------- /tests/plugin/recode_gate_wire_missing.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/recode_gate_wire_missing.ys -------------------------------------------------------------------------------- /tests/plugin/recode_gold_missing.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/recode_gold_missing.ys -------------------------------------------------------------------------------- /tests/plugin/recode_gold_module_error.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/recode_gold_module_error.ys -------------------------------------------------------------------------------- /tests/plugin/recode_gold_value_width_error.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/recode_gold_value_width_error.ys -------------------------------------------------------------------------------- /tests/plugin/recode_gold_wire_missing.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/recode_gold_wire_missing.ys -------------------------------------------------------------------------------- /tests/plugin/recode_top_gate_missing.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/recode_top_gate_missing.ys -------------------------------------------------------------------------------- /tests/plugin/recode_top_gold_missing.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/recode_top_gold_missing.ys -------------------------------------------------------------------------------- /tests/plugin/recode_top_not_match.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/recode_top_not_match.ys -------------------------------------------------------------------------------- /tests/plugin/run-test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/plugin/run-test.sh -------------------------------------------------------------------------------- /tests/python/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/.gitignore -------------------------------------------------------------------------------- /tests/python/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/Makefile -------------------------------------------------------------------------------- /tests/python/counter.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/counter.eqy -------------------------------------------------------------------------------- /tests/python/counter.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/counter.sv -------------------------------------------------------------------------------- /tests/python/counter_cells.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/counter_cells.eqy -------------------------------------------------------------------------------- /tests/python/dupl_section.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/dupl_section.eqy -------------------------------------------------------------------------------- /tests/python/equivalence_problem.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/equivalence_problem.eqy -------------------------------------------------------------------------------- /tests/python/error_verilog.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/error_verilog.eqy -------------------------------------------------------------------------------- /tests/python/error_verilog.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/error_verilog.sv -------------------------------------------------------------------------------- /tests/python/expected_opt_bool_on_off.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/expected_opt_bool_on_off.eqy -------------------------------------------------------------------------------- /tests/python/expected_opt_bool_val.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/expected_opt_bool_val.eqy -------------------------------------------------------------------------------- /tests/python/expected_opt_int_integer.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/expected_opt_int_integer.eqy -------------------------------------------------------------------------------- /tests/python/expected_opt_int_val.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/expected_opt_int_val.eqy -------------------------------------------------------------------------------- /tests/python/expected_opt_str_val.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/expected_opt_str_val.eqy -------------------------------------------------------------------------------- /tests/python/failed_partition.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/failed_partition.eqy -------------------------------------------------------------------------------- /tests/python/missing_gate_section.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/missing_gate_section.eqy -------------------------------------------------------------------------------- /tests/python/missing_gold_section.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/missing_gold_section.eqy -------------------------------------------------------------------------------- /tests/python/no_use_line.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/no_use_line.eqy -------------------------------------------------------------------------------- /tests/python/picorv32_vivado.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/picorv32_vivado.eqy -------------------------------------------------------------------------------- /tests/python/problem_occured.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/problem_occured.eqy -------------------------------------------------------------------------------- /tests/python/read_source_fail.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/read_source_fail.eqy -------------------------------------------------------------------------------- /tests/python/repeated_option_bool.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/repeated_option_bool.eqy -------------------------------------------------------------------------------- /tests/python/repeated_option_int.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/repeated_option_int.eqy -------------------------------------------------------------------------------- /tests/python/repeated_option_str.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/repeated_option_str.eqy -------------------------------------------------------------------------------- /tests/python/repeated_option_use.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/repeated_option_use.eqy -------------------------------------------------------------------------------- /tests/python/splitnets.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/splitnets.eqy -------------------------------------------------------------------------------- /tests/python/syntax_error.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/syntax_error.eqy -------------------------------------------------------------------------------- /tests/python/syntax_error_collect.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/syntax_error_collect.eqy -------------------------------------------------------------------------------- /tests/python/syntax_error_options.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/syntax_error_options.eqy -------------------------------------------------------------------------------- /tests/python/syntax_error_partition.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/syntax_error_partition.eqy -------------------------------------------------------------------------------- /tests/python/timeout.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/timeout.eqy -------------------------------------------------------------------------------- /tests/python/unknown_opt_other.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/unknown_opt_other.eqy -------------------------------------------------------------------------------- /tests/python/unknown_option.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/unknown_option.eqy -------------------------------------------------------------------------------- /tests/python/unknown_strategy.eqy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/YosysHQ/eqy/HEAD/tests/python/unknown_strategy.eqy --------------------------------------------------------------------------------