├── .travis.yml ├── LICENSE ├── README.md ├── cosa ├── LICENSE ├── problem.txt ├── property.txt ├── reset_procedure.ets ├── ridecore.vlist ├── simple_check │ ├── README.md │ ├── cached.btor │ ├── covers-verilog.txt │ └── covers.txt └── stable_inst.txt ├── install ├── Dockerfile ├── LICENSE ├── README.md ├── linux-install.sh └── run_docker_with_x.sh ├── next.sh ├── qed-src ├── LICENSE-Academic ├── LICENSE-GOV ├── inst_constraint.sv ├── modify_instruction.v ├── qed.flist ├── qed.v ├── qed.vh ├── qed_decoder.v ├── qed_i_cache.v ├── qed_instruction_mux.v └── qed_sm.v ├── ride-src ├── 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 ├── slides └── tutorial.pdf └── start.sh /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/README.md -------------------------------------------------------------------------------- /cosa/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/cosa/LICENSE -------------------------------------------------------------------------------- /cosa/problem.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/cosa/problem.txt -------------------------------------------------------------------------------- /cosa/property.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/cosa/property.txt -------------------------------------------------------------------------------- /cosa/reset_procedure.ets: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/cosa/reset_procedure.ets -------------------------------------------------------------------------------- /cosa/ridecore.vlist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/cosa/ridecore.vlist -------------------------------------------------------------------------------- /cosa/simple_check/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/cosa/simple_check/README.md -------------------------------------------------------------------------------- /cosa/simple_check/cached.btor: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/cosa/simple_check/cached.btor -------------------------------------------------------------------------------- /cosa/simple_check/covers-verilog.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/cosa/simple_check/covers-verilog.txt -------------------------------------------------------------------------------- /cosa/simple_check/covers.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/cosa/simple_check/covers.txt -------------------------------------------------------------------------------- /cosa/stable_inst.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/cosa/stable_inst.txt -------------------------------------------------------------------------------- /install/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/install/Dockerfile -------------------------------------------------------------------------------- /install/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/install/LICENSE -------------------------------------------------------------------------------- /install/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/install/README.md -------------------------------------------------------------------------------- /install/linux-install.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/install/linux-install.sh -------------------------------------------------------------------------------- /install/run_docker_with_x.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/install/run_docker_with_x.sh -------------------------------------------------------------------------------- /next.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/next.sh -------------------------------------------------------------------------------- /qed-src/LICENSE-Academic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/qed-src/LICENSE-Academic -------------------------------------------------------------------------------- /qed-src/LICENSE-GOV: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/qed-src/LICENSE-GOV -------------------------------------------------------------------------------- /qed-src/inst_constraint.sv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/qed-src/inst_constraint.sv -------------------------------------------------------------------------------- /qed-src/modify_instruction.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/qed-src/modify_instruction.v -------------------------------------------------------------------------------- /qed-src/qed.flist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/qed-src/qed.flist -------------------------------------------------------------------------------- /qed-src/qed.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/qed-src/qed.v -------------------------------------------------------------------------------- /qed-src/qed.vh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/qed-src/qed.vh -------------------------------------------------------------------------------- /qed-src/qed_decoder.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/qed-src/qed_decoder.v -------------------------------------------------------------------------------- /qed-src/qed_i_cache.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/qed-src/qed_i_cache.v -------------------------------------------------------------------------------- /qed-src/qed_instruction_mux.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/qed-src/qed_instruction_mux.v -------------------------------------------------------------------------------- /qed-src/qed_sm.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/qed-src/qed_sm.v -------------------------------------------------------------------------------- /ride-src/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/LICENSE -------------------------------------------------------------------------------- /ride-src/alloc_issue_ino.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/alloc_issue_ino.v -------------------------------------------------------------------------------- /ride-src/alu.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/alu.v -------------------------------------------------------------------------------- /ride-src/alu_ops.vh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/alu_ops.vh -------------------------------------------------------------------------------- /ride-src/arf.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/arf.v -------------------------------------------------------------------------------- /ride-src/brimm_gen.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/brimm_gen.v -------------------------------------------------------------------------------- /ride-src/btb.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/btb.v -------------------------------------------------------------------------------- /ride-src/constants.vh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/constants.vh -------------------------------------------------------------------------------- /ride-src/decoder.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/decoder.v -------------------------------------------------------------------------------- /ride-src/define.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/define.v -------------------------------------------------------------------------------- /ride-src/dmem.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/dmem.v -------------------------------------------------------------------------------- /ride-src/dualport_ram.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/dualport_ram.v -------------------------------------------------------------------------------- /ride-src/exunit_alu.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/exunit_alu.v -------------------------------------------------------------------------------- /ride-src/exunit_branch.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/exunit_branch.v -------------------------------------------------------------------------------- /ride-src/exunit_ldst.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/exunit_ldst.v -------------------------------------------------------------------------------- /ride-src/exunit_mul.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/exunit_mul.v -------------------------------------------------------------------------------- /ride-src/gshare.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/gshare.v -------------------------------------------------------------------------------- /ride-src/imem.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/imem.v -------------------------------------------------------------------------------- /ride-src/imem_outa.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/imem_outa.v -------------------------------------------------------------------------------- /ride-src/imm_gen.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/imm_gen.v -------------------------------------------------------------------------------- /ride-src/main.xdc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/main.xdc -------------------------------------------------------------------------------- /ride-src/mpft.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/mpft.v -------------------------------------------------------------------------------- /ride-src/multiplier.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/multiplier.v -------------------------------------------------------------------------------- /ride-src/oldest_finder.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/oldest_finder.v -------------------------------------------------------------------------------- /ride-src/pipeline.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/pipeline.v -------------------------------------------------------------------------------- /ride-src/pipeline_if.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/pipeline_if.v -------------------------------------------------------------------------------- /ride-src/prioenc.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/prioenc.v -------------------------------------------------------------------------------- /ride-src/ram_sync.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/ram_sync.v -------------------------------------------------------------------------------- /ride-src/ram_sync_nolatch.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/ram_sync_nolatch.v -------------------------------------------------------------------------------- /ride-src/reorderbuf.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/reorderbuf.v -------------------------------------------------------------------------------- /ride-src/rrf.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/rrf.v -------------------------------------------------------------------------------- /ride-src/rrf_freelistmanager.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/rrf_freelistmanager.v -------------------------------------------------------------------------------- /ride-src/rs_alu.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/rs_alu.v -------------------------------------------------------------------------------- /ride-src/rs_branch.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/rs_branch.v -------------------------------------------------------------------------------- /ride-src/rs_ldst.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/rs_ldst.v -------------------------------------------------------------------------------- /ride-src/rs_mul.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/rs_mul.v -------------------------------------------------------------------------------- /ride-src/rs_reqgen.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/rs_reqgen.v -------------------------------------------------------------------------------- /ride-src/rv32_opcodes.vh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/rv32_opcodes.vh -------------------------------------------------------------------------------- /ride-src/search_be.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/search_be.v -------------------------------------------------------------------------------- /ride-src/src_manager.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/src_manager.v -------------------------------------------------------------------------------- /ride-src/srcopr_manager.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/srcopr_manager.v -------------------------------------------------------------------------------- /ride-src/srcsel.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/srcsel.v -------------------------------------------------------------------------------- /ride-src/storebuf.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/storebuf.v -------------------------------------------------------------------------------- /ride-src/system.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/system.v -------------------------------------------------------------------------------- /ride-src/tag_generator.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/tag_generator.v -------------------------------------------------------------------------------- /ride-src/top.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/top.v -------------------------------------------------------------------------------- /ride-src/topsim.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/topsim.v -------------------------------------------------------------------------------- /ride-src/uart.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/ride-src/uart.v -------------------------------------------------------------------------------- /slides/tutorial.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/makaimann/ride-core-demo/HEAD/slides/tutorial.pdf -------------------------------------------------------------------------------- /start.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | git checkout demo-start 3 | --------------------------------------------------------------------------------