├── .gitignore ├── 4way ├── README.md ├── __pycache__ │ ├── config.cpython-38.pyc │ ├── counterexample_checking.cpython-38.pyc │ ├── invariant.cpython-38.pyc │ ├── preprocessing.cpython-38.pyc │ ├── util.cpython-38.pyc │ └── verification.cpython-38.pyc ├── benchmarks │ └── Sodor-2-4way │ │ ├── AsyncScratchPadMemory_1stage.v │ │ ├── AsyncScratchPadMemory_2stage.v │ │ ├── CSRFile_1stage.v │ │ ├── CSRFile_2stage.v │ │ ├── Core_1stage.v │ │ ├── Core_2stage.v │ │ ├── CtlPath_1stage.v │ │ ├── CtlPath_2stage.v │ │ ├── DatPath_1stage.v │ │ ├── DatPath_2stage.v │ │ ├── MemReader_1stage.v │ │ ├── MemReader_2stage.v │ │ ├── MemWriter_1stage.v │ │ ├── MemWriter_2stage.v │ │ ├── SodorInternalTile_1stage.v │ │ ├── SodorInternalTile_2stage.v │ │ ├── SodorRequestRouter_1stage.v │ │ ├── SodorRequestRouter_2stage.v │ │ └── prod.v ├── cli.py ├── config.py ├── config │ └── Sodor-2-4way.yaml ├── counterexample_checking.py ├── invariant.py ├── preprocessing.py ├── util.py └── verification.py ├── README.md ├── benchmarks ├── DarkRISCV-2 │ ├── config_2stages.vh │ ├── darkriscv_2stages.v │ ├── darksocv_2stages.v │ ├── darkuart_2stages.v │ └── prod.v ├── DarkRISCV-3 │ ├── config_3stages.vh │ ├── darkriscv_3stages.v │ ├── darksocv_3stages.v │ ├── darkuart_3stages.v │ └── prod.v ├── Ibex-cache │ ├── ibex_alu.v │ ├── ibex_branch_predict.v │ ├── ibex_compressed_decoder.v │ ├── ibex_controller.v │ ├── ibex_core.v │ ├── ibex_counter.v │ ├── ibex_cs_registers.v │ ├── ibex_csr.v │ ├── ibex_decoder.v │ ├── ibex_dmem.v │ ├── ibex_dummy_instr.v │ ├── ibex_ex_block.v │ ├── ibex_fetch_fifo.v │ ├── ibex_icache.v │ ├── ibex_id_stage.v │ ├── ibex_if_stage.v │ ├── ibex_imem.v │ ├── ibex_load_store_unit.v │ ├── ibex_lockstep.v │ ├── ibex_multdiv_fast.v │ ├── ibex_multdiv_slow.v │ ├── ibex_pmp.v │ ├── ibex_prefetch_buffer.v │ ├── ibex_register_file_ff.v │ ├── ibex_register_file_fpga.v │ ├── ibex_register_file_latch.v │ ├── ibex_top.v │ ├── ibex_wb_stage.v │ ├── prim_clock_gating.v │ ├── prim_generic_buf.v │ ├── prim_generic_flop.v │ └── prod.v ├── Ibex-mult-div │ ├── ibex_alu.v │ ├── ibex_branch_predict.v │ ├── ibex_compressed_decoder.v │ ├── ibex_controller.v │ ├── ibex_core.v │ ├── ibex_counter.v │ ├── ibex_cs_registers.v │ ├── ibex_csr.v │ ├── ibex_decoder.v │ ├── ibex_dmem.v │ ├── ibex_dummy_instr.v │ ├── ibex_ex_block.v │ ├── ibex_fetch_fifo.v │ ├── ibex_icache.v │ ├── ibex_id_stage.v │ ├── ibex_if_stage.v │ ├── ibex_imem.v │ ├── ibex_load_store_unit.v │ ├── ibex_lockstep.v │ ├── ibex_multdiv_fast.v │ ├── ibex_multdiv_slow.v │ ├── ibex_pmp.v │ ├── ibex_prefetch_buffer.v │ ├── ibex_register_file_ff.v │ ├── ibex_register_file_fpga.v │ ├── ibex_register_file_latch.v │ ├── ibex_top.v │ ├── ibex_wb_stage.v │ ├── prim_clock_gating.v │ ├── prim_generic_buf.v │ ├── prim_generic_flop.v │ └── prod.v ├── Ibex-small │ ├── ibex_alu.v │ ├── ibex_branch_predict.v │ ├── ibex_compressed_decoder.v │ ├── ibex_controller.v │ ├── ibex_core.v │ ├── ibex_counter.v │ ├── ibex_cs_registers.v │ ├── ibex_csr.v │ ├── ibex_decoder.v │ ├── ibex_dmem.v │ ├── ibex_dummy_instr.v │ ├── ibex_ex_block.v │ ├── ibex_fetch_fifo.v │ ├── ibex_icache.v │ ├── ibex_id_stage.v │ ├── ibex_if_stage.v │ ├── ibex_imem.v │ ├── ibex_load_store_unit.v │ ├── ibex_lockstep.v │ ├── ibex_multdiv_fast.v │ ├── ibex_multdiv_slow.v │ ├── ibex_pmp.v │ ├── ibex_prefetch_buffer.v │ ├── ibex_register_file_ff.v │ ├── ibex_register_file_fpga.v │ ├── ibex_register_file_latch.v │ ├── ibex_top.v │ ├── ibex_wb_stage.v │ ├── prim_clock_gating.v │ ├── prim_generic_buf.v │ ├── prim_generic_flop.v │ └── prod.v ├── RE │ ├── pipeline_mul_fast.v │ └── prod.v ├── RE2 │ ├── pipeline_mul.v │ └── prod.v ├── Sodor-2 │ ├── AsyncScratchPadMemory_2stage.v │ ├── CSRFile_2stage.v │ ├── Core_2stage.v │ ├── CtlPath_2stage.v │ ├── DatPath_2stage.v │ ├── MemReader_2stage.v │ ├── MemWriter_2stage.v │ ├── SodorInternalTile_2stage.v │ ├── SodorRequestRouter_2stage.v │ └── prod.v └── prod_example.v ├── config ├── DarkRISCV-2.yaml ├── DarkRISCV-3.yaml ├── Ibex-cache.yaml ├── Ibex-mult-div.yaml ├── Ibex-small.yaml ├── RE.yaml ├── RE2.yaml ├── Sodor-2.yaml └── config_example.yaml ├── requirements.txt ├── source ├── __pycache__ │ ├── config.cpython-310.pyc │ ├── config.cpython-311.pyc │ ├── config.cpython-38.pyc │ ├── config.cpython-39.pyc │ ├── counterexample_checking.cpython-310.pyc │ ├── counterexample_checking.cpython-311.pyc │ ├── counterexample_checking.cpython-38.pyc │ ├── counterexample_checking.cpython-39.pyc │ ├── invariant.cpython-310.pyc │ ├── invariant.cpython-311.pyc │ ├── invariant.cpython-38.pyc │ ├── invariant.cpython-39.pyc │ ├── preprocessing.cpython-310.pyc │ ├── preprocessing.cpython-311.pyc │ ├── preprocessing.cpython-38.pyc │ ├── preprocessing.cpython-39.pyc │ ├── util.cpython-310.pyc │ ├── util.cpython-311.pyc │ ├── util.cpython-38.pyc │ ├── util.cpython-39.pyc │ ├── verification.cpython-310.pyc │ ├── verification.cpython-311.pyc │ ├── verification.cpython-38.pyc │ └── verification.cpython-39.pyc ├── cli.py ├── config.py ├── counterexample_checking.py ├── invariant.py ├── preprocessing.py ├── split.py ├── util.py └── verification.py └── yosys-passes ├── Makefile ├── README.md ├── addmodule.cc ├── show_regs_mems.cc └── stuttering.cc /.gitignore: -------------------------------------------------------------------------------- 1 | *.so 2 | testOut/ 3 | -------------------------------------------------------------------------------- /4way/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/README.md -------------------------------------------------------------------------------- /4way/__pycache__/config.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/__pycache__/config.cpython-38.pyc -------------------------------------------------------------------------------- /4way/__pycache__/counterexample_checking.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/__pycache__/counterexample_checking.cpython-38.pyc -------------------------------------------------------------------------------- /4way/__pycache__/invariant.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/__pycache__/invariant.cpython-38.pyc -------------------------------------------------------------------------------- /4way/__pycache__/preprocessing.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/__pycache__/preprocessing.cpython-38.pyc -------------------------------------------------------------------------------- /4way/__pycache__/util.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/__pycache__/util.cpython-38.pyc -------------------------------------------------------------------------------- /4way/__pycache__/verification.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/__pycache__/verification.cpython-38.pyc -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/AsyncScratchPadMemory_1stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/AsyncScratchPadMemory_1stage.v -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/AsyncScratchPadMemory_2stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/AsyncScratchPadMemory_2stage.v -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/CSRFile_1stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/CSRFile_1stage.v -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/CSRFile_2stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/CSRFile_2stage.v -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/Core_1stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/Core_1stage.v -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/Core_2stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/Core_2stage.v -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/CtlPath_1stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/CtlPath_1stage.v -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/CtlPath_2stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/CtlPath_2stage.v -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/DatPath_1stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/DatPath_1stage.v -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/DatPath_2stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/DatPath_2stage.v -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/MemReader_1stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/MemReader_1stage.v -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/MemReader_2stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/MemReader_2stage.v -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/MemWriter_1stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/MemWriter_1stage.v -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/MemWriter_2stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/MemWriter_2stage.v -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/SodorInternalTile_1stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/SodorInternalTile_1stage.v -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/SodorInternalTile_2stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/SodorInternalTile_2stage.v -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/SodorRequestRouter_1stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/SodorRequestRouter_1stage.v -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/SodorRequestRouter_2stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/SodorRequestRouter_2stage.v -------------------------------------------------------------------------------- /4way/benchmarks/Sodor-2-4way/prod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/benchmarks/Sodor-2-4way/prod.v -------------------------------------------------------------------------------- /4way/cli.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/cli.py -------------------------------------------------------------------------------- /4way/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/config.py -------------------------------------------------------------------------------- /4way/config/Sodor-2-4way.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/config/Sodor-2-4way.yaml -------------------------------------------------------------------------------- /4way/counterexample_checking.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/counterexample_checking.py -------------------------------------------------------------------------------- /4way/invariant.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/invariant.py -------------------------------------------------------------------------------- /4way/preprocessing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/preprocessing.py -------------------------------------------------------------------------------- /4way/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/util.py -------------------------------------------------------------------------------- /4way/verification.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/4way/verification.py -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/README.md -------------------------------------------------------------------------------- /benchmarks/DarkRISCV-2/config_2stages.vh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/DarkRISCV-2/config_2stages.vh -------------------------------------------------------------------------------- /benchmarks/DarkRISCV-2/darkriscv_2stages.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/DarkRISCV-2/darkriscv_2stages.v -------------------------------------------------------------------------------- /benchmarks/DarkRISCV-2/darksocv_2stages.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/DarkRISCV-2/darksocv_2stages.v -------------------------------------------------------------------------------- /benchmarks/DarkRISCV-2/darkuart_2stages.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/DarkRISCV-2/darkuart_2stages.v -------------------------------------------------------------------------------- /benchmarks/DarkRISCV-2/prod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/DarkRISCV-2/prod.v -------------------------------------------------------------------------------- /benchmarks/DarkRISCV-3/config_3stages.vh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/DarkRISCV-3/config_3stages.vh -------------------------------------------------------------------------------- /benchmarks/DarkRISCV-3/darkriscv_3stages.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/DarkRISCV-3/darkriscv_3stages.v -------------------------------------------------------------------------------- /benchmarks/DarkRISCV-3/darksocv_3stages.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/DarkRISCV-3/darksocv_3stages.v -------------------------------------------------------------------------------- /benchmarks/DarkRISCV-3/darkuart_3stages.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/DarkRISCV-3/darkuart_3stages.v -------------------------------------------------------------------------------- /benchmarks/DarkRISCV-3/prod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/DarkRISCV-3/prod.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_alu.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_alu.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_branch_predict.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_branch_predict.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_compressed_decoder.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_compressed_decoder.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_controller.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_controller.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_core.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_core.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_counter.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_counter.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_cs_registers.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_cs_registers.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_csr.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_csr.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_decoder.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_decoder.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_dmem.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_dmem.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_dummy_instr.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_dummy_instr.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_ex_block.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_ex_block.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_fetch_fifo.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_fetch_fifo.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_icache.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_icache.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_id_stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_id_stage.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_if_stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_if_stage.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_imem.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_imem.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_load_store_unit.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_load_store_unit.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_lockstep.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_lockstep.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_multdiv_fast.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_multdiv_fast.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_multdiv_slow.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_multdiv_slow.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_pmp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_pmp.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_prefetch_buffer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_prefetch_buffer.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_register_file_ff.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_register_file_ff.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_register_file_fpga.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_register_file_fpga.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_register_file_latch.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_register_file_latch.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_top.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_top.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/ibex_wb_stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/ibex_wb_stage.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/prim_clock_gating.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/prim_clock_gating.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/prim_generic_buf.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/prim_generic_buf.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/prim_generic_flop.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/prim_generic_flop.v -------------------------------------------------------------------------------- /benchmarks/Ibex-cache/prod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-cache/prod.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_alu.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_alu.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_branch_predict.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_branch_predict.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_compressed_decoder.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_compressed_decoder.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_controller.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_controller.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_core.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_core.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_counter.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_counter.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_cs_registers.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_cs_registers.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_csr.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_csr.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_decoder.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_decoder.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_dmem.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_dmem.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_dummy_instr.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_dummy_instr.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_ex_block.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_ex_block.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_fetch_fifo.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_fetch_fifo.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_icache.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_icache.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_id_stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_id_stage.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_if_stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_if_stage.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_imem.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_imem.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_load_store_unit.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_load_store_unit.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_lockstep.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_lockstep.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_multdiv_fast.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_multdiv_fast.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_multdiv_slow.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_multdiv_slow.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_pmp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_pmp.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_prefetch_buffer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_prefetch_buffer.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_register_file_ff.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_register_file_ff.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_register_file_fpga.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_register_file_fpga.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_register_file_latch.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_register_file_latch.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_top.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_top.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/ibex_wb_stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/ibex_wb_stage.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/prim_clock_gating.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/prim_clock_gating.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/prim_generic_buf.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/prim_generic_buf.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/prim_generic_flop.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/prim_generic_flop.v -------------------------------------------------------------------------------- /benchmarks/Ibex-mult-div/prod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-mult-div/prod.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_alu.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_alu.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_branch_predict.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_branch_predict.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_compressed_decoder.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_compressed_decoder.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_controller.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_controller.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_core.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_core.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_counter.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_counter.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_cs_registers.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_cs_registers.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_csr.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_csr.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_decoder.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_decoder.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_dmem.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_dmem.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_dummy_instr.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_dummy_instr.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_ex_block.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_ex_block.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_fetch_fifo.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_fetch_fifo.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_icache.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_icache.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_id_stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_id_stage.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_if_stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_if_stage.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_imem.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_imem.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_load_store_unit.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_load_store_unit.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_lockstep.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_lockstep.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_multdiv_fast.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_multdiv_fast.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_multdiv_slow.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_multdiv_slow.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_pmp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_pmp.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_prefetch_buffer.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_prefetch_buffer.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_register_file_ff.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_register_file_ff.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_register_file_fpga.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_register_file_fpga.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_register_file_latch.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_register_file_latch.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_top.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_top.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/ibex_wb_stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/ibex_wb_stage.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/prim_clock_gating.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/prim_clock_gating.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/prim_generic_buf.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/prim_generic_buf.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/prim_generic_flop.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/prim_generic_flop.v -------------------------------------------------------------------------------- /benchmarks/Ibex-small/prod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Ibex-small/prod.v -------------------------------------------------------------------------------- /benchmarks/RE/pipeline_mul_fast.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/RE/pipeline_mul_fast.v -------------------------------------------------------------------------------- /benchmarks/RE/prod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/RE/prod.v -------------------------------------------------------------------------------- /benchmarks/RE2/pipeline_mul.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/RE2/pipeline_mul.v -------------------------------------------------------------------------------- /benchmarks/RE2/prod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/RE2/prod.v -------------------------------------------------------------------------------- /benchmarks/Sodor-2/AsyncScratchPadMemory_2stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Sodor-2/AsyncScratchPadMemory_2stage.v -------------------------------------------------------------------------------- /benchmarks/Sodor-2/CSRFile_2stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Sodor-2/CSRFile_2stage.v -------------------------------------------------------------------------------- /benchmarks/Sodor-2/Core_2stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Sodor-2/Core_2stage.v -------------------------------------------------------------------------------- /benchmarks/Sodor-2/CtlPath_2stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Sodor-2/CtlPath_2stage.v -------------------------------------------------------------------------------- /benchmarks/Sodor-2/DatPath_2stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Sodor-2/DatPath_2stage.v -------------------------------------------------------------------------------- /benchmarks/Sodor-2/MemReader_2stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Sodor-2/MemReader_2stage.v -------------------------------------------------------------------------------- /benchmarks/Sodor-2/MemWriter_2stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Sodor-2/MemWriter_2stage.v -------------------------------------------------------------------------------- /benchmarks/Sodor-2/SodorInternalTile_2stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Sodor-2/SodorInternalTile_2stage.v -------------------------------------------------------------------------------- /benchmarks/Sodor-2/SodorRequestRouter_2stage.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Sodor-2/SodorRequestRouter_2stage.v -------------------------------------------------------------------------------- /benchmarks/Sodor-2/prod.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/Sodor-2/prod.v -------------------------------------------------------------------------------- /benchmarks/prod_example.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/benchmarks/prod_example.v -------------------------------------------------------------------------------- /config/DarkRISCV-2.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/config/DarkRISCV-2.yaml -------------------------------------------------------------------------------- /config/DarkRISCV-3.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/config/DarkRISCV-3.yaml -------------------------------------------------------------------------------- /config/Ibex-cache.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/config/Ibex-cache.yaml -------------------------------------------------------------------------------- /config/Ibex-mult-div.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/config/Ibex-mult-div.yaml -------------------------------------------------------------------------------- /config/Ibex-small.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/config/Ibex-small.yaml -------------------------------------------------------------------------------- /config/RE.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/config/RE.yaml -------------------------------------------------------------------------------- /config/RE2.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/config/RE2.yaml -------------------------------------------------------------------------------- /config/Sodor-2.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/config/Sodor-2.yaml -------------------------------------------------------------------------------- /config/config_example.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/config/config_example.yaml -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- 1 | lark==1.2.2 2 | PyYAML==6.0.2 3 | -------------------------------------------------------------------------------- /source/__pycache__/config.cpython-310.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/config.cpython-310.pyc -------------------------------------------------------------------------------- /source/__pycache__/config.cpython-311.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/config.cpython-311.pyc -------------------------------------------------------------------------------- /source/__pycache__/config.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/config.cpython-38.pyc -------------------------------------------------------------------------------- /source/__pycache__/config.cpython-39.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/config.cpython-39.pyc -------------------------------------------------------------------------------- /source/__pycache__/counterexample_checking.cpython-310.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/counterexample_checking.cpython-310.pyc -------------------------------------------------------------------------------- /source/__pycache__/counterexample_checking.cpython-311.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/counterexample_checking.cpython-311.pyc -------------------------------------------------------------------------------- /source/__pycache__/counterexample_checking.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/counterexample_checking.cpython-38.pyc -------------------------------------------------------------------------------- /source/__pycache__/counterexample_checking.cpython-39.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/counterexample_checking.cpython-39.pyc -------------------------------------------------------------------------------- /source/__pycache__/invariant.cpython-310.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/invariant.cpython-310.pyc -------------------------------------------------------------------------------- /source/__pycache__/invariant.cpython-311.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/invariant.cpython-311.pyc -------------------------------------------------------------------------------- /source/__pycache__/invariant.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/invariant.cpython-38.pyc -------------------------------------------------------------------------------- /source/__pycache__/invariant.cpython-39.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/invariant.cpython-39.pyc -------------------------------------------------------------------------------- /source/__pycache__/preprocessing.cpython-310.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/preprocessing.cpython-310.pyc -------------------------------------------------------------------------------- /source/__pycache__/preprocessing.cpython-311.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/preprocessing.cpython-311.pyc -------------------------------------------------------------------------------- /source/__pycache__/preprocessing.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/preprocessing.cpython-38.pyc -------------------------------------------------------------------------------- /source/__pycache__/preprocessing.cpython-39.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/preprocessing.cpython-39.pyc -------------------------------------------------------------------------------- /source/__pycache__/util.cpython-310.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/util.cpython-310.pyc -------------------------------------------------------------------------------- /source/__pycache__/util.cpython-311.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/util.cpython-311.pyc -------------------------------------------------------------------------------- /source/__pycache__/util.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/util.cpython-38.pyc -------------------------------------------------------------------------------- /source/__pycache__/util.cpython-39.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/util.cpython-39.pyc -------------------------------------------------------------------------------- /source/__pycache__/verification.cpython-310.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/verification.cpython-310.pyc -------------------------------------------------------------------------------- /source/__pycache__/verification.cpython-311.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/verification.cpython-311.pyc -------------------------------------------------------------------------------- /source/__pycache__/verification.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/verification.cpython-38.pyc -------------------------------------------------------------------------------- /source/__pycache__/verification.cpython-39.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/__pycache__/verification.cpython-39.pyc -------------------------------------------------------------------------------- /source/cli.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/cli.py -------------------------------------------------------------------------------- /source/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/config.py -------------------------------------------------------------------------------- /source/counterexample_checking.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/counterexample_checking.py -------------------------------------------------------------------------------- /source/invariant.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/invariant.py -------------------------------------------------------------------------------- /source/preprocessing.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/preprocessing.py -------------------------------------------------------------------------------- /source/split.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/split.py -------------------------------------------------------------------------------- /source/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/util.py -------------------------------------------------------------------------------- /source/verification.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/source/verification.py -------------------------------------------------------------------------------- /yosys-passes/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/yosys-passes/Makefile -------------------------------------------------------------------------------- /yosys-passes/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/yosys-passes/README.md -------------------------------------------------------------------------------- /yosys-passes/addmodule.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/yosys-passes/addmodule.cc -------------------------------------------------------------------------------- /yosys-passes/show_regs_mems.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/yosys-passes/show_regs_mems.cc -------------------------------------------------------------------------------- /yosys-passes/stuttering.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zilongwang123/LeaVe/HEAD/yosys-passes/stuttering.cc --------------------------------------------------------------------------------