aboutsummaryrefslogtreecommitdiff
path: root/model
ModeNameSize
-rw-r--r--README.md89logplain
-rw-r--r--main.sail393logplain
-rw-r--r--prelude.sail8786logplain
-rw-r--r--prelude_mapping.sail25483logplain
-rw-r--r--prelude_mem.sail2159logplain
-rw-r--r--prelude_mem_metadata.sail408logplain
-rw-r--r--riscv_addr_checks.sail2169logplain
-rw-r--r--riscv_addr_checks_common.sail844logplain
-rw-r--r--riscv_analysis.sail17190logplain
-rw-r--r--riscv_csr_ext.sail738logplain
-rw-r--r--riscv_csr_map.sail4444logplain
-rw-r--r--riscv_decode_ext.sail312logplain
-rw-r--r--riscv_duopod.sail2276logplain
-rw-r--r--riscv_ext_regs.sail435logplain
-rw-r--r--riscv_fetch.sail2128logplain
-rw-r--r--riscv_fetch_rvfi.sail757logplain
-rw-r--r--riscv_insts_aext.sail12179logplain
-rw-r--r--riscv_insts_base.sail29186logplain
-rw-r--r--riscv_insts_begin.sail535logplain
-rw-r--r--riscv_insts_cext.sail20057logplain
-rw-r--r--riscv_insts_end.sail1140logplain
-rw-r--r--riscv_insts_mext.sail6881logplain
-rw-r--r--riscv_insts_next.sail488logplain
-rw-r--r--riscv_insts_rmem.sail877logplain
-rw-r--r--riscv_insts_zicsr.sail9355logplain
-rw-r--r--riscv_jalr_rmem.sail446logplain
-rw-r--r--riscv_jalr_seq.sail1061logplain
-rw-r--r--riscv_mem.sail9807logplain
-rw-r--r--riscv_next_control.sail2184logplain
-rw-r--r--riscv_next_regs.sail2761logplain
-rw-r--r--riscv_pc_access.sail683logplain
-rw-r--r--riscv_platform.sail17154logplain
-rw-r--r--riscv_pmp_control.sail7040logplain
-rw-r--r--riscv_pmp_regs.sail5463logplain
-rw-r--r--riscv_pte.sail2604logplain
-rw-r--r--riscv_ptw.sail1747logplain
-rw-r--r--riscv_reg_type.sail379logplain
-rw-r--r--riscv_regs.sail5634logplain
-rw-r--r--riscv_step.sail3193logplain
-rw-r--r--riscv_step_common.sail411logplain
-rw-r--r--riscv_step_ext.sail261logplain
-rw-r--r--riscv_step_rvfi.sail631logplain
-rw-r--r--riscv_sync_exception.sail220logplain
-rw-r--r--riscv_sys_control.sail18487logplain
-rw-r--r--riscv_sys_exceptions.sail1980logplain
-rw-r--r--riscv_sys_regs.sail16785logplain
-rw-r--r--riscv_termination_common.sail1070logplain
-rw-r--r--riscv_termination_duo.sail58logplain
-rw-r--r--riscv_termination_rv32.sail56logplain
-rw-r--r--riscv_termination_rv64.sail118logplain
-rw-r--r--riscv_types.sail9667logplain
-rw-r--r--riscv_types_ext.sail923logplain
-rw-r--r--riscv_vmem_common.sail3440logplain
-rw-r--r--riscv_vmem_rv32.sail2160logplain
-rw-r--r--riscv_vmem_rv64.sail2960logplain
-rw-r--r--riscv_vmem_sv32.sail8576logplain
-rw-r--r--riscv_vmem_sv39.sail8106logplain
-rw-r--r--riscv_vmem_sv48.sail6405logplain
-rw-r--r--riscv_vmem_tlb.sail2109logplain
-rw-r--r--riscv_vmem_types.sail413logplain
-rw-r--r--riscv_xlen32.sail139logplain
-rw-r--r--riscv_xlen64.sail139logplain
-rw-r--r--rvfi_dii.sail5482logplain