model - sail-riscv.git - Unnamed repository; edit this file 'description' to name the repository.

Mode	Name	Size
-rw-r--r--	README.md	89	log plain
-rw-r--r--	main.sail	6744	log plain
-rw-r--r--	prelude.sail	16572	log plain
-rw-r--r--	prelude_mapping.sail	32174	log plain
-rw-r--r--	prelude_mem.sail	8598	log plain
-rw-r--r--	prelude_mem_metadata.sail	6731	log plain
-rw-r--r--	riscv_addr_checks.sail	8808	log plain
-rw-r--r--	riscv_addr_checks_common.sail	8146	log plain
-rw-r--r--	riscv_analysis.sail	23827	log plain
-rw-r--r--	riscv_csr_ext.sail	6832	log plain
-rw-r--r--	riscv_csr_map.sail	11871	log plain
-rw-r--r--	riscv_decode_ext.sail	6740	log plain
-rw-r--r--	riscv_ext_regs.sail	7243	log plain
-rw-r--r--	riscv_fdext_control.sail	7737	log plain
-rw-r--r--	riscv_fdext_regs.sail	18467	log plain
-rw-r--r--	riscv_fetch.sail	8392	log plain
-rw-r--r--	riscv_fetch_rvfi.sail	7762	log plain
-rw-r--r--	riscv_flen_D.sail	6491	log plain
-rw-r--r--	riscv_flen_F.sail	6491	log plain
-rw-r--r--	riscv_freg_type.sail	8592	log plain
-rw-r--r--	riscv_insts_aext.sail	20877	log plain
-rw-r--r--	riscv_insts_base.sail	36655	log plain
-rw-r--r--	riscv_insts_begin.sail	7141	log plain
-rw-r--r--	riscv_insts_cdext.sail	9897	log plain
-rw-r--r--	riscv_insts_cext.sail	26546	log plain
-rw-r--r--	riscv_insts_cfext.sail	9549	log plain
-rw-r--r--	riscv_insts_dext.sail	43477	log plain
-rw-r--r--	riscv_insts_end.sail	7240	log plain
-rw-r--r--	riscv_insts_fext.sail	47064	log plain
-rw-r--r--	riscv_insts_hints.sail	12395	log plain
-rw-r--r--	riscv_insts_mext.sail	13281	log plain
-rw-r--r--	riscv_insts_next.sail	6932	log plain
-rw-r--r--	riscv_insts_rmem.sail	7228	log plain
-rw-r--r--	riscv_insts_vext_arith.sail	96514	log plain
-rwxr-xr-x	riscv_insts_vext_fp.sail	57236	log plain
-rwxr-xr-x	riscv_insts_vext_mask.sail	15110	log plain
-rw-r--r--	riscv_insts_vext_mem.sail	47886	log plain
-rwxr-xr-x	riscv_insts_vext_red.sail	13628	log plain
-rwxr-xr-x	riscv_insts_vext_utils.sail	45295	log plain
-rwxr-xr-x	riscv_insts_vext_vm.sail	35572	log plain
-rw-r--r--	riscv_insts_vext_vset.sail	9640	log plain
-rw-r--r--	riscv_insts_zba.sail	9785	log plain
-rw-r--r--	riscv_insts_zbb.sail	18833	log plain
-rw-r--r--	riscv_insts_zbc.sail	8479	log plain
-rw-r--r--	riscv_insts_zbkb.sail	10107	log plain
-rw-r--r--	riscv_insts_zbkx.sail	7976	log plain
-rw-r--r--	riscv_insts_zbs.sail	9801	log plain
-rw-r--r--	riscv_insts_zfa.sail	33353	log plain
-rw-r--r--	riscv_insts_zfh.sail	41196	log plain
-rw-r--r--	riscv_insts_zicond.sail	7496	log plain
-rw-r--r--	riscv_insts_zicsr.sail	18223	log plain
-rw-r--r--	riscv_insts_zkn.sail	22448	log plain
-rw-r--r--	riscv_insts_zks.sail	9363	log plain
-rw-r--r--	riscv_jalr_rmem.sail	6804	log plain
-rw-r--r--	riscv_jalr_seq.sail	7421	log plain
-rw-r--r--	riscv_mem.sail	20289	log plain
-rw-r--r--	riscv_misa_ext.sail	6390	log plain
-rw-r--r--	riscv_next_control.sail	8745	log plain
-rw-r--r--	riscv_next_regs.sail	9133	log plain
-rw-r--r--	riscv_pc_access.sail	6972	log plain
-rw-r--r--	riscv_platform.sail	25684	log plain
-rw-r--r--	riscv_pmp_control.sail	13370	log plain
-rw-r--r--	riscv_pmp_regs.sail	12371	log plain
-rw-r--r--	riscv_pte.sail	9810	log plain
-rw-r--r--	riscv_ptw.sail	8467	log plain
-rw-r--r--	riscv_reg_type.sail	6737	log plain
-rw-r--r--	riscv_regs.sail	11920	log plain
-rw-r--r--	riscv_softfloat_interface.sail	30866	log plain
-rw-r--r--	riscv_step.sail	9948	log plain
-rw-r--r--	riscv_step_common.sail	6762	log plain
-rw-r--r--	riscv_step_ext.sail	6612	log plain
-rw-r--r--	riscv_step_rvfi.sail	6832	log plain
-rw-r--r--	riscv_sync_exception.sail	6571	log plain
-rw-r--r--	riscv_sys_control.sail	28347	log plain
-rw-r--r--	riscv_sys_exceptions.sail	8507	log plain
-rw-r--r--	riscv_sys_regs.sail	33241	log plain
-rw-r--r--	riscv_termination_common.sail	7421	log plain
-rw-r--r--	riscv_termination_rv32.sail	6409	log plain
-rw-r--r--	riscv_termination_rv64.sail	6469	log plain
-rw-r--r--	riscv_types.sail	18122	log plain
-rw-r--r--	riscv_types_common.sail	6375	log plain
-rw-r--r--	riscv_types_ext.sail	9006	log plain
-rw-r--r--	riscv_types_kext.sail	21138	log plain
-rwxr-xr-x	riscv_vext_control.sail	4373	log plain
-rw-r--r--	riscv_vext_regs.sail	15635	log plain
-rw-r--r--	riscv_vlen.sail	4410	log plain
-rw-r--r--	riscv_vmem_common.sail	9805	log plain
-rw-r--r--	riscv_vmem_rv32.sail	8573	log plain
-rw-r--r--	riscv_vmem_rv64.sail	10154	log plain
-rw-r--r--	riscv_vmem_sv32.sail	14968	log plain
-rw-r--r--	riscv_vmem_sv39.sail	14544	log plain
-rw-r--r--	riscv_vmem_sv48.sail	12752	log plain
-rw-r--r--	riscv_vmem_tlb.sail	8451	log plain
-rw-r--r--	riscv_vmem_types.sail	6776	log plain
-rwxr-xr-x	riscv_vreg_type.sail	8316	log plain
-rw-r--r--	riscv_xlen32.sail	6490	log plain
-rw-r--r--	riscv_xlen64.sail	6490	log plain
-rw-r--r--	rvfi_dii.sail	23318	log plain