aboutsummaryrefslogtreecommitdiff
path: root/model
ModeNameSize
-rw-r--r--README.md89logplain
-rw-r--r--hex_bits.sail8109logplain
-rw-r--r--hex_bits_signed.sail8988logplain
-rw-r--r--main.sail2069logplain
-rw-r--r--mapping.sail7220logplain
-rw-r--r--prelude.sail8381logplain
-rw-r--r--prelude_mem.sail6351logplain
-rw-r--r--prelude_mem_metadata.sail1023logplain
-rw-r--r--riscv_addr_checks.sail3116logplain
-rw-r--r--riscv_addr_checks_common.sail2438logplain
-rw-r--r--riscv_csr_ext.sail1123logplain
-rw-r--r--riscv_csr_map.sail9462logplain
-rw-r--r--riscv_decode_ext.sail1034logplain
-rw-r--r--riscv_ext_regs.sail1534logplain
-rw-r--r--riscv_fdext_control.sail2276logplain
-rw-r--r--riscv_fdext_regs.sail11461logplain
-rw-r--r--riscv_fetch.sail2668logplain
-rw-r--r--riscv_fetch_rvfi.sail2057logplain
-rw-r--r--riscv_flen_D.sail785logplain
-rw-r--r--riscv_flen_F.sail785logplain
-rw-r--r--riscv_freg_type.sail2886logplain
-rw-r--r--riscv_insts_aext.sail10955logplain
-rw-r--r--riscv_insts_base.sail26960logplain
-rw-r--r--riscv_insts_begin.sail1435logplain
-rw-r--r--riscv_insts_cdext.sail4405logplain
-rw-r--r--riscv_insts_cext.sail22869logplain
-rw-r--r--riscv_insts_cfext.sail4059logplain
-rw-r--r--riscv_insts_dext.sail37936logplain
-rw-r--r--riscv_insts_end.sail1549logplain
-rw-r--r--riscv_insts_fext.sail41760logplain
-rw-r--r--riscv_insts_hints.sail6689logplain
-rw-r--r--riscv_insts_mext.sail7841logplain
-rw-r--r--riscv_insts_next.sail1226logplain
-rw-r--r--riscv_insts_rmem.sail1522logplain
-rw-r--r--riscv_insts_svinval.sail2327logplain
-rw-r--r--riscv_insts_vext_arith.sail93976logplain
-rwxr-xr-xriscv_insts_vext_fp.sail54735logplain
-rwxr-xr-xriscv_insts_vext_mask.sail12568logplain
-rw-r--r--riscv_insts_vext_mem.sail44594logplain
-rwxr-xr-xriscv_insts_vext_red.sail11107logplain
-rwxr-xr-xriscv_insts_vext_utils.sail41008logplain
-rwxr-xr-xriscv_insts_vext_vm.sail33032logplain
-rw-r--r--riscv_insts_vext_vset.sail7736logplain
-rw-r--r--riscv_insts_zba.sail4079logplain
-rw-r--r--riscv_insts_zbb.sail13611logplain
-rw-r--r--riscv_insts_zbc.sail3111logplain
-rw-r--r--riscv_insts_zbkb.sail4605logplain
-rw-r--r--riscv_insts_zbkx.sail2426logplain
-rw-r--r--riscv_insts_zbs.sail4446logplain
-rw-r--r--riscv_insts_zcb.sail8322logplain
-rw-r--r--riscv_insts_zfa.sail29202logplain
-rw-r--r--riscv_insts_zfh.sail35588logplain
-rw-r--r--riscv_insts_zicond.sail1942logplain
-rw-r--r--riscv_insts_zicsr.sail10541logplain
-rw-r--r--riscv_insts_zkn.sail18697logplain
-rw-r--r--riscv_insts_zks.sail4013logplain
-rw-r--r--riscv_jalr_rmem.sail1098logplain
-rw-r--r--riscv_jalr_seq.sail1729logplain
-rw-r--r--riscv_mem.sail13091logplain
-rw-r--r--riscv_misa_ext.sail684logplain
-rw-r--r--riscv_next_control.sail2996logplain
-rw-r--r--riscv_next_regs.sail3403logplain
-rw-r--r--riscv_pc_access.sail1308logplain
-rw-r--r--riscv_platform.sail19677logplain
-rw-r--r--riscv_pmp_control.sail5151logplain
-rw-r--r--riscv_pmp_regs.sail4681logplain
-rw-r--r--riscv_reg_type.sail1031logplain
-rw-r--r--riscv_regs.sail5230logplain
-rw-r--r--riscv_softfloat_interface.sail24964logplain
-rw-r--r--riscv_step.sail4318logplain
-rw-r--r--riscv_step_common.sail1056logplain
-rw-r--r--riscv_step_ext.sail906logplain
-rw-r--r--riscv_step_rvfi.sail1126logplain
-rw-r--r--riscv_sync_exception.sail865logplain
-rw-r--r--riscv_sys_control.sail21655logplain
-rw-r--r--riscv_sys_exceptions.sail2789logplain
-rw-r--r--riscv_sys_regs.sail27861logplain
-rw-r--r--riscv_termination_common.sail1715logplain
-rw-r--r--riscv_termination_rv32.sail703logplain
-rw-r--r--riscv_termination_rv64.sail763logplain
-rw-r--r--riscv_types.sail12103logplain
-rw-r--r--riscv_types_common.sail669logplain
-rw-r--r--riscv_types_ext.sail3300logplain
-rw-r--r--riscv_types_kext.sail15460logplain
-rwxr-xr-xriscv_vext_control.sail1800logplain
-rw-r--r--riscv_vext_regs.sail12625logplain
-rw-r--r--riscv_vlen.sail1840logplain
-rw-r--r--riscv_vmem.sail19671logplain
-rw-r--r--riscv_vmem_common.sail3860logplain
-rw-r--r--riscv_vmem_pte.sail5818logplain
-rw-r--r--riscv_vmem_ptw.sail2967logplain
-rw-r--r--riscv_vmem_tlb.sail4538logplain
-rw-r--r--riscv_vmem_types.sail1070logplain
-rwxr-xr-xriscv_vreg_type.sail5734logplain
-rw-r--r--riscv_xlen32.sail784logplain
-rw-r--r--riscv_xlen64.sail784logplain
-rw-r--r--rvfi_dii.sail17565logplain