├── BSD_LICENSE ├── README.md ├── SQED-Generator ├── FormatFiles │ ├── BlackParrot_format.txt │ ├── ORBIS32_format.txt │ └── RV32M-ridecore_format.txt ├── FormatParsers │ └── format_parser.py ├── Generators │ ├── COSA_OPS │ ├── LICENSE.v │ ├── SIC_generator.py │ ├── clean.py │ ├── constraint_generator.py │ ├── decoder_generator.py │ ├── generate_sqed.py │ ├── modify_generator.py │ └── qed_generator.py ├── Interface │ └── module_interface.py ├── LICENSE-Academic ├── LICENSE-GOV ├── QEDFiles │ ├── qed_i_cache.v │ └── qed_instruction_mux.v ├── README.txt ├── SICFiles │ ├── single_property_ADD.txt │ ├── single_property_ADDI.txt │ ├── single_property_AND.txt │ ├── single_property_ANDI.txt │ ├── single_property_LW.txt │ ├── single_property_MUL.txt │ ├── single_property_MULH.txt │ ├── single_property_MULHSU.txt │ ├── single_property_MULHU.txt │ ├── single_property_NOP.txt │ ├── single_property_OR.txt │ ├── single_property_ORI.txt │ ├── single_property_SLL.txt │ ├── single_property_SLLI.txt │ ├── single_property_SLT.txt │ ├── single_property_SLTI.txt │ ├── single_property_SLTIU.txt │ ├── single_property_SLTU.txt │ ├── single_property_SRA.txt │ ├── single_property_SRAI.txt │ ├── single_property_SRL.txt │ ├── single_property_SRLI.txt │ ├── single_property_SUB.txt │ ├── single_property_SW.txt │ ├── single_property_XOR.txt │ └── single_property_XORI.txt └── TODO.txt ├── bug-trace-gtkwave.gtkw ├── bug-trace-k10-cosa-log.txt ├── bug-trace-k10.vcd ├── docker └── Dockerfile ├── fix-ridecore-bug.sh ├── gen-btor.ys ├── generate-qed-files.sh ├── qed-wireup-patches ├── step0-arf-changes.patch ├── step0-dmem-changes-optimization.patch ├── step0-pipeline-changes.patch ├── step0-pipeline_if-changes-optimization.patch ├── step0-ram_sync_nolatch-changes.patch ├── step0-topsim-changes.patch ├── step1-pipeline-changes.patch ├── step1-pipeline_if-changes-optimization.patch ├── step1-topsim-changes.patch ├── step2-pipeline-changes-optimization.patch ├── step2-topsim-changes.patch └── step3-topsim-changes.patch ├── ridecore-bugfix-patch ├── ridecore-bugfix-rs_mul.patch └── ridecore-bugfix-rs_mul.patch-BACKUP ├── ridecore-src-buggy ├── LICENSE ├── alloc_issue_ino.v ├── alu.v ├── alu_ops.vh ├── arf.v ├── brimm_gen.v ├── btb.v ├── constants.vh ├── decoder.v ├── define.v ├── dmem.v ├── dualport_ram.v ├── exunit_alu.v ├── exunit_branch.v ├── exunit_ldst.v ├── exunit_mul.v ├── gshare.v ├── imem.v ├── imem_outa.v ├── imm_gen.v ├── main.xdc ├── mpft.v ├── multiplier.v ├── oldest_finder.v ├── pipeline.v ├── pipeline_if.v ├── prioenc.v ├── ram_sync.v ├── ram_sync_nolatch.v ├── reorderbuf.v ├── rrf.v ├── rrf_freelistmanager.v ├── rs_alu.v ├── rs_branch.v ├── rs_ldst.v ├── rs_mul.v ├── rs_reqgen.v ├── rv32_opcodes.vh ├── search_be.v ├── src_manager.v ├── srcopr_manager.v ├── srcsel.v ├── storebuf.v ├── system.v ├── tag_generator.v ├── top.v ├── topsim.v └── uart.v ├── run-pono.sh ├── setup-pono.sh ├── setup-sqed-generator.sh ├── setup-yosys.sh ├── show-waveform.sh └── wire-up-qed-module.sh /BSD_LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/BSD_LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/README.md -------------------------------------------------------------------------------- /SQED-Generator/FormatFiles/BlackParrot_format.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/FormatFiles/BlackParrot_format.txt -------------------------------------------------------------------------------- /SQED-Generator/FormatFiles/ORBIS32_format.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/FormatFiles/ORBIS32_format.txt -------------------------------------------------------------------------------- /SQED-Generator/FormatFiles/RV32M-ridecore_format.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/FormatFiles/RV32M-ridecore_format.txt -------------------------------------------------------------------------------- /SQED-Generator/FormatParsers/format_parser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/FormatParsers/format_parser.py -------------------------------------------------------------------------------- /SQED-Generator/Generators/COSA_OPS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/Generators/COSA_OPS -------------------------------------------------------------------------------- /SQED-Generator/Generators/LICENSE.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/Generators/LICENSE.v -------------------------------------------------------------------------------- /SQED-Generator/Generators/SIC_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/Generators/SIC_generator.py -------------------------------------------------------------------------------- /SQED-Generator/Generators/clean.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/Generators/clean.py -------------------------------------------------------------------------------- /SQED-Generator/Generators/constraint_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/Generators/constraint_generator.py -------------------------------------------------------------------------------- /SQED-Generator/Generators/decoder_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/Generators/decoder_generator.py -------------------------------------------------------------------------------- /SQED-Generator/Generators/generate_sqed.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/Generators/generate_sqed.py -------------------------------------------------------------------------------- /SQED-Generator/Generators/modify_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/Generators/modify_generator.py -------------------------------------------------------------------------------- /SQED-Generator/Generators/qed_generator.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/Generators/qed_generator.py -------------------------------------------------------------------------------- /SQED-Generator/Interface/module_interface.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/Interface/module_interface.py -------------------------------------------------------------------------------- /SQED-Generator/LICENSE-Academic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/LICENSE-Academic -------------------------------------------------------------------------------- /SQED-Generator/LICENSE-GOV: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/LICENSE-GOV -------------------------------------------------------------------------------- /SQED-Generator/QEDFiles/qed_i_cache.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/QEDFiles/qed_i_cache.v -------------------------------------------------------------------------------- /SQED-Generator/QEDFiles/qed_instruction_mux.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/QEDFiles/qed_instruction_mux.v -------------------------------------------------------------------------------- /SQED-Generator/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/README.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_ADD.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_ADD.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_ADDI.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_ADDI.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_AND.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_AND.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_ANDI.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_ANDI.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_LW.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_LW.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_MUL.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_MUL.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_MULH.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_MULH.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_MULHSU.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_MULHSU.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_MULHU.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_MULHU.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_NOP.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_NOP.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_OR.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_OR.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_ORI.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_ORI.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_SLL.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_SLL.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_SLLI.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_SLLI.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_SLT.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_SLT.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_SLTI.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_SLTI.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_SLTIU.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_SLTIU.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_SLTU.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_SLTU.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_SRA.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_SRA.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_SRAI.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_SRAI.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_SRL.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_SRL.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_SRLI.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_SRLI.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_SUB.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_SUB.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_SW.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_SW.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_XOR.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_XOR.txt -------------------------------------------------------------------------------- /SQED-Generator/SICFiles/single_property_XORI.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/SICFiles/single_property_XORI.txt -------------------------------------------------------------------------------- /SQED-Generator/TODO.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/SQED-Generator/TODO.txt -------------------------------------------------------------------------------- /bug-trace-gtkwave.gtkw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/bug-trace-gtkwave.gtkw -------------------------------------------------------------------------------- /bug-trace-k10-cosa-log.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/bug-trace-k10-cosa-log.txt -------------------------------------------------------------------------------- /bug-trace-k10.vcd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/bug-trace-k10.vcd -------------------------------------------------------------------------------- /docker/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/docker/Dockerfile -------------------------------------------------------------------------------- /fix-ridecore-bug.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/fix-ridecore-bug.sh -------------------------------------------------------------------------------- /gen-btor.ys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/gen-btor.ys -------------------------------------------------------------------------------- /generate-qed-files.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/generate-qed-files.sh -------------------------------------------------------------------------------- /qed-wireup-patches/step0-arf-changes.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/qed-wireup-patches/step0-arf-changes.patch -------------------------------------------------------------------------------- /qed-wireup-patches/step0-dmem-changes-optimization.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/qed-wireup-patches/step0-dmem-changes-optimization.patch -------------------------------------------------------------------------------- /qed-wireup-patches/step0-pipeline-changes.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/qed-wireup-patches/step0-pipeline-changes.patch -------------------------------------------------------------------------------- /qed-wireup-patches/step0-pipeline_if-changes-optimization.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/qed-wireup-patches/step0-pipeline_if-changes-optimization.patch -------------------------------------------------------------------------------- /qed-wireup-patches/step0-ram_sync_nolatch-changes.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/qed-wireup-patches/step0-ram_sync_nolatch-changes.patch -------------------------------------------------------------------------------- /qed-wireup-patches/step0-topsim-changes.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/qed-wireup-patches/step0-topsim-changes.patch -------------------------------------------------------------------------------- /qed-wireup-patches/step1-pipeline-changes.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/qed-wireup-patches/step1-pipeline-changes.patch -------------------------------------------------------------------------------- /qed-wireup-patches/step1-pipeline_if-changes-optimization.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/qed-wireup-patches/step1-pipeline_if-changes-optimization.patch -------------------------------------------------------------------------------- /qed-wireup-patches/step1-topsim-changes.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/qed-wireup-patches/step1-topsim-changes.patch -------------------------------------------------------------------------------- /qed-wireup-patches/step2-pipeline-changes-optimization.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/qed-wireup-patches/step2-pipeline-changes-optimization.patch -------------------------------------------------------------------------------- /qed-wireup-patches/step2-topsim-changes.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/qed-wireup-patches/step2-topsim-changes.patch -------------------------------------------------------------------------------- /qed-wireup-patches/step3-topsim-changes.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/qed-wireup-patches/step3-topsim-changes.patch -------------------------------------------------------------------------------- /ridecore-bugfix-patch/ridecore-bugfix-rs_mul.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-bugfix-patch/ridecore-bugfix-rs_mul.patch -------------------------------------------------------------------------------- /ridecore-bugfix-patch/ridecore-bugfix-rs_mul.patch-BACKUP: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-bugfix-patch/ridecore-bugfix-rs_mul.patch-BACKUP -------------------------------------------------------------------------------- /ridecore-src-buggy/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/LICENSE -------------------------------------------------------------------------------- /ridecore-src-buggy/alloc_issue_ino.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/alloc_issue_ino.v -------------------------------------------------------------------------------- /ridecore-src-buggy/alu.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/alu.v -------------------------------------------------------------------------------- /ridecore-src-buggy/alu_ops.vh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/alu_ops.vh -------------------------------------------------------------------------------- /ridecore-src-buggy/arf.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/arf.v -------------------------------------------------------------------------------- /ridecore-src-buggy/brimm_gen.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/brimm_gen.v -------------------------------------------------------------------------------- /ridecore-src-buggy/btb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/btb.v -------------------------------------------------------------------------------- /ridecore-src-buggy/constants.vh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/constants.vh -------------------------------------------------------------------------------- /ridecore-src-buggy/decoder.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/decoder.v -------------------------------------------------------------------------------- /ridecore-src-buggy/define.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/define.v -------------------------------------------------------------------------------- /ridecore-src-buggy/dmem.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/dmem.v -------------------------------------------------------------------------------- /ridecore-src-buggy/dualport_ram.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/dualport_ram.v -------------------------------------------------------------------------------- /ridecore-src-buggy/exunit_alu.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/exunit_alu.v -------------------------------------------------------------------------------- /ridecore-src-buggy/exunit_branch.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/exunit_branch.v -------------------------------------------------------------------------------- /ridecore-src-buggy/exunit_ldst.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/exunit_ldst.v -------------------------------------------------------------------------------- /ridecore-src-buggy/exunit_mul.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/exunit_mul.v -------------------------------------------------------------------------------- /ridecore-src-buggy/gshare.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/gshare.v -------------------------------------------------------------------------------- /ridecore-src-buggy/imem.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/imem.v -------------------------------------------------------------------------------- /ridecore-src-buggy/imem_outa.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/imem_outa.v -------------------------------------------------------------------------------- /ridecore-src-buggy/imm_gen.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/imm_gen.v -------------------------------------------------------------------------------- /ridecore-src-buggy/main.xdc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/main.xdc -------------------------------------------------------------------------------- /ridecore-src-buggy/mpft.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/mpft.v -------------------------------------------------------------------------------- /ridecore-src-buggy/multiplier.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/multiplier.v -------------------------------------------------------------------------------- /ridecore-src-buggy/oldest_finder.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/oldest_finder.v -------------------------------------------------------------------------------- /ridecore-src-buggy/pipeline.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/pipeline.v -------------------------------------------------------------------------------- /ridecore-src-buggy/pipeline_if.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/pipeline_if.v -------------------------------------------------------------------------------- /ridecore-src-buggy/prioenc.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/prioenc.v -------------------------------------------------------------------------------- /ridecore-src-buggy/ram_sync.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/ram_sync.v -------------------------------------------------------------------------------- /ridecore-src-buggy/ram_sync_nolatch.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/ram_sync_nolatch.v -------------------------------------------------------------------------------- /ridecore-src-buggy/reorderbuf.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/reorderbuf.v -------------------------------------------------------------------------------- /ridecore-src-buggy/rrf.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/rrf.v -------------------------------------------------------------------------------- /ridecore-src-buggy/rrf_freelistmanager.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/rrf_freelistmanager.v -------------------------------------------------------------------------------- /ridecore-src-buggy/rs_alu.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/rs_alu.v -------------------------------------------------------------------------------- /ridecore-src-buggy/rs_branch.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/rs_branch.v -------------------------------------------------------------------------------- /ridecore-src-buggy/rs_ldst.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/rs_ldst.v -------------------------------------------------------------------------------- /ridecore-src-buggy/rs_mul.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/rs_mul.v -------------------------------------------------------------------------------- /ridecore-src-buggy/rs_reqgen.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/rs_reqgen.v -------------------------------------------------------------------------------- /ridecore-src-buggy/rv32_opcodes.vh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/rv32_opcodes.vh -------------------------------------------------------------------------------- /ridecore-src-buggy/search_be.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/search_be.v -------------------------------------------------------------------------------- /ridecore-src-buggy/src_manager.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/src_manager.v -------------------------------------------------------------------------------- /ridecore-src-buggy/srcopr_manager.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/srcopr_manager.v -------------------------------------------------------------------------------- /ridecore-src-buggy/srcsel.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/srcsel.v -------------------------------------------------------------------------------- /ridecore-src-buggy/storebuf.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/storebuf.v -------------------------------------------------------------------------------- /ridecore-src-buggy/system.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/system.v -------------------------------------------------------------------------------- /ridecore-src-buggy/tag_generator.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/tag_generator.v -------------------------------------------------------------------------------- /ridecore-src-buggy/top.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/top.v -------------------------------------------------------------------------------- /ridecore-src-buggy/topsim.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/topsim.v -------------------------------------------------------------------------------- /ridecore-src-buggy/uart.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/ridecore-src-buggy/uart.v -------------------------------------------------------------------------------- /run-pono.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/run-pono.sh -------------------------------------------------------------------------------- /setup-pono.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/setup-pono.sh -------------------------------------------------------------------------------- /setup-sqed-generator.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/setup-sqed-generator.sh -------------------------------------------------------------------------------- /setup-yosys.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/setup-yosys.sh -------------------------------------------------------------------------------- /show-waveform.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/show-waveform.sh -------------------------------------------------------------------------------- /wire-up-qed-module.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/upscale-project/generic-sqed-demo/HEAD/wire-up-qed-module.sh --------------------------------------------------------------------------------