aboutsummaryrefslogtreecommitdiff
path: root/model
ModeNameSize
-rw-r--r--README.md89logplain
-rw-r--r--main.sail462logplain
-rw-r--r--prelude.sail8800logplain
-rw-r--r--prelude_mapping.sail25186logplain
-rw-r--r--prelude_mem.sail3139logplain
-rw-r--r--prelude_mem_metadata.sail408logplain
-rw-r--r--riscv_addr_checks.sail2363logplain
-rw-r--r--riscv_addr_checks_common.sail844logplain
-rw-r--r--riscv_analysis.sail8597logplain
-rw-r--r--riscv_csr_map.sail4419logplain
-rw-r--r--riscv_decode_ext.sail312logplain
-rw-r--r--riscv_duopod.sail2358logplain
-rw-r--r--riscv_ext_regs.sail174logplain
-rw-r--r--riscv_fetch.sail2144logplain
-rw-r--r--riscv_fetch_rvfi.sail733logplain
-rw-r--r--riscv_insts_aext.sail11443logplain
-rw-r--r--riscv_insts_base.sail26852logplain
-rw-r--r--riscv_insts_begin.sail518logplain
-rw-r--r--riscv_insts_cext.sail20181logplain
-rw-r--r--riscv_insts_end.sail1101logplain
-rw-r--r--riscv_insts_mext.sail6861logplain
-rw-r--r--riscv_insts_next.sail477logplain
-rw-r--r--riscv_insts_rmem.sail857logplain
-rw-r--r--riscv_insts_zicsr.sail6944logplain
-rw-r--r--riscv_jalr_rmem.sail436logplain
-rw-r--r--riscv_jalr_seq.sail1036logplain
-rw-r--r--riscv_mem.sail8351logplain
-rw-r--r--riscv_next_control.sail2160logplain
-rw-r--r--riscv_next_regs.sail2765logplain
-rw-r--r--riscv_platform.sail15536logplain
-rw-r--r--riscv_reg_type.sail379logplain
-rw-r--r--riscv_regs.sail4720logplain
-rw-r--r--riscv_step.sail2967logplain
-rw-r--r--riscv_step_common.sail542logplain
-rw-r--r--riscv_step_ext.sail261logplain
-rw-r--r--riscv_step_rvfi.sail575logplain
-rw-r--r--riscv_sys_control.sail16938logplain
-rw-r--r--riscv_sys_exceptions.sail1033logplain
-rw-r--r--riscv_sys_regs.sail16672logplain
-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.sail8812logplain
-rw-r--r--riscv_vmem_common.sail6188logplain
-rw-r--r--riscv_vmem_rv32.sail2091logplain
-rw-r--r--riscv_vmem_rv64.sail2845logplain
-rw-r--r--riscv_vmem_sv32.sail7797logplain
-rw-r--r--riscv_vmem_sv39.sail7490logplain
-rw-r--r--riscv_vmem_sv48.sail6042logplain
-rw-r--r--riscv_vmem_tlb.sail2109logplain
-rw-r--r--riscv_xlen32.sail139logplain
-rw-r--r--riscv_xlen64.sail139logplain
-rw-r--r--rvfi_dii.sail5342logplain