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.sail8125logplain
-rw-r--r--prelude_mem.sail6114logplain
-rw-r--r--prelude_mem_metadata.sail1023logplain
-rw-r--r--riscv_addr_checks.sail3102logplain
-rw-r--r--riscv_addr_checks_common.sail2438logplain
-rw-r--r--riscv_csr_ext.sail1126logplain
-rw-r--r--riscv_csr_map.sail9528logplain
-rw-r--r--riscv_decode_ext.sail1034logplain
-rw-r--r--riscv_ext_regs.sail1534logplain
-rw-r--r--riscv_fdext_control.sail2008logplain
-rw-r--r--riscv_fdext_regs.sail11548logplain
-rw-r--r--riscv_fetch.sail2654logplain
-rw-r--r--riscv_fetch_rvfi.sail2043logplain
-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.sail14851logplain
-rw-r--r--riscv_insts_base.sail28015logplain
-rw-r--r--riscv_insts_begin.sail1435logplain
-rw-r--r--riscv_insts_cdext.sail4189logplain
-rw-r--r--riscv_insts_cext.sail21063logplain
-rw-r--r--riscv_insts_cfext.sail3843logplain
-rw-r--r--riscv_insts_dext.sail37871logplain
-rw-r--r--riscv_insts_end.sail1534logplain
-rw-r--r--riscv_insts_fext.sail41385logplain
-rw-r--r--riscv_insts_hints.sail6689logplain
-rw-r--r--riscv_insts_mext.sail7471logplain
-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.sail44550logplain
-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.sail13175logplain
-rw-r--r--riscv_insts_zbc.sail2785logplain
-rw-r--r--riscv_insts_zbkb.sail4413logplain
-rw-r--r--riscv_insts_zbkx.sail2278logplain
-rw-r--r--riscv_insts_zbs.sail4095logplain
-rw-r--r--riscv_insts_zcb.sail8268logplain
-rw-r--r--riscv_insts_zfa.sail27868logplain
-rw-r--r--riscv_insts_zfh.sail35508logplain
-rw-r--r--riscv_insts_zicond.sail1790logplain
-rw-r--r--riscv_insts_zicsr.sail10541logplain
-rw-r--r--riscv_insts_zkn.sail17582logplain
-rw-r--r--riscv_insts_zks.sail3715logplain
-rw-r--r--riscv_jalr_rmem.sail1098logplain
-rw-r--r--riscv_jalr_seq.sail1715logplain
-rw-r--r--riscv_mem.sail13091logplain
-rw-r--r--riscv_misa_ext.sail684logplain
-rw-r--r--riscv_next_control.sail3020logplain
-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.sail5386logplain
-rw-r--r--riscv_softfloat_interface.sail24964logplain
-rw-r--r--riscv_step.sail4304logplain
-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.sail22247logplain
-rw-r--r--riscv_sys_exceptions.sail2789logplain
-rw-r--r--riscv_sys_regs.sail28425logplain
-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.sail11808logplain
-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.sail1821logplain
-rw-r--r--riscv_vext_regs.sail12699logplain
-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