aboutsummaryrefslogtreecommitdiff
path: root/model
ModeNameSize
-rw-r--r--README.md89logplain
-rw-r--r--main.sail462logplain
-rw-r--r--prelude.sail9224logplain
-rw-r--r--prelude_mapping.sail25483logplain
-rw-r--r--prelude_mem.sail1665logplain
-rw-r--r--prelude_mem_metadata.sail408logplain
-rw-r--r--riscv_addr_checks.sail2152logplain
-rw-r--r--riscv_addr_checks_common.sail844logplain
-rw-r--r--riscv_analysis.sail8597logplain
-rw-r--r--riscv_csr_ext.sail738logplain
-rw-r--r--riscv_csr_map.sail4419logplain
-rw-r--r--riscv_decode_ext.sail312logplain
-rw-r--r--riscv_duopod.sail2468logplain
-rw-r--r--riscv_ext_regs.sail174logplain
-rw-r--r--riscv_fetch.sail2094logplain
-rw-r--r--riscv_fetch_rvfi.sail736logplain
-rw-r--r--riscv_insts_aext.sail12091logplain
-rw-r--r--riscv_insts_base.sail27601logplain
-rw-r--r--riscv_insts_begin.sail521logplain
-rw-r--r--riscv_insts_cext.sail20061logplain
-rw-r--r--riscv_insts_end.sail1113logplain
-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.sail9256logplain
-rw-r--r--riscv_jalr_rmem.sail446logplain
-rw-r--r--riscv_jalr_seq.sail1058logplain
-rw-r--r--riscv_mem.sail9318logplain
-rw-r--r--riscv_next_control.sail2126logplain
-rw-r--r--riscv_next_regs.sail2765logplain
-rw-r--r--riscv_pc_access.sail398logplain
-rw-r--r--riscv_platform.sail15816logplain
-rw-r--r--riscv_pmp_control.sail6922logplain
-rw-r--r--riscv_pmp_regs.sail5476logplain
-rw-r--r--riscv_reg_type.sail379logplain
-rw-r--r--riscv_regs.sail5442logplain
-rw-r--r--riscv_step.sail3259logplain
-rw-r--r--riscv_step_common.sail411logplain
-rw-r--r--riscv_step_ext.sail261logplain
-rw-r--r--riscv_step_rvfi.sail601logplain
-rw-r--r--riscv_sync_exception.sail220logplain
-rw-r--r--riscv_sys_control.sail17717logplain
-rw-r--r--riscv_sys_exceptions.sail1980logplain
-rw-r--r--riscv_sys_regs.sail16726logplain
-rw-r--r--riscv_termination_common.sail1070logplain
-rw-r--r--riscv_termination_rv32.sail56logplain
-rw-r--r--riscv_termination_rv64.sail112logplain
-rw-r--r--riscv_types.sail8725logplain
-rw-r--r--riscv_vmem_common.sail6188logplain
-rw-r--r--riscv_vmem_rv32.sail1989logplain
-rw-r--r--riscv_vmem_rv64.sail2743logplain
-rw-r--r--riscv_vmem_sv32.sail7655logplain
-rw-r--r--riscv_vmem_sv39.sail7348logplain
-rw-r--r--riscv_vmem_sv48.sail5916logplain
-rw-r--r--riscv_vmem_tlb.sail2109logplain
-rw-r--r--riscv_xlen32.sail139logplain
-rw-r--r--riscv_xlen64.sail139logplain
-rw-r--r--rvfi_dii.sail5482logplain