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	393	log plain
-rw-r--r--	prelude.sail	8792	log plain
-rw-r--r--	prelude_mapping.sail	25826	log plain
-rw-r--r--	prelude_mem.sail	2302	log plain
-rw-r--r--	prelude_mem_metadata.sail	408	log plain
-rw-r--r--	riscv_addr_checks.sail	2169	log plain
-rw-r--r--	riscv_addr_checks_common.sail	844	log plain
-rw-r--r--	riscv_analysis.sail	17190	log plain
-rw-r--r--	riscv_csr_ext.sail	483	log plain
-rw-r--r--	riscv_csr_map.sail	5136	log plain
-rw-r--r--	riscv_decode_ext.sail	312	log plain
-rw-r--r--	riscv_duopod.sail	2264	log plain
-rw-r--r--	riscv_ext_regs.sail	926	log plain
-rw-r--r--	riscv_fdext_control.sail	1355	log plain
-rw-r--r--	riscv_fdext_regs.sail	7042	log plain
-rw-r--r--	riscv_fetch.sail	2093	log plain
-rw-r--r--	riscv_fetch_rvfi.sail	1384	log plain
-rw-r--r--	riscv_flen_D.sail	140	log plain
-rw-r--r--	riscv_flen_F.sail	140	log plain
-rw-r--r--	riscv_freg_type.sail	1722	log plain
-rw-r--r--	riscv_insts_aext.sail	14320	log plain
-rw-r--r--	riscv_insts_base.sail	29415	log plain
-rw-r--r--	riscv_insts_begin.sail	563	log plain
-rw-r--r--	riscv_insts_cdext.sail	3518	log plain
-rw-r--r--	riscv_insts_cext.sail	20055	log plain
-rw-r--r--	riscv_insts_cfext.sail	3170	log plain
-rw-r--r--	riscv_insts_dext.sail	32614	log plain
-rw-r--r--	riscv_insts_end.sail	1144	log plain
-rw-r--r--	riscv_insts_fext.sail	39674	log plain
-rw-r--r--	riscv_insts_hints.sail	6044	log plain
-rw-r--r--	riscv_insts_mext.sail	6881	log plain
-rw-r--r--	riscv_insts_next.sail	581	log plain
-rw-r--r--	riscv_insts_rmem.sail	877	log plain
-rw-r--r--	riscv_insts_zicsr.sail	10218	log plain
-rw-r--r--	riscv_iris.sail	41210	log plain
-rw-r--r--	riscv_jalr_rmem.sail	446	log plain
-rw-r--r--	riscv_jalr_seq.sail	1061	log plain
-rw-r--r--	riscv_mem.sail	11383	log plain
-rw-r--r--	riscv_misa_ext.sail	40	log plain
-rw-r--r--	riscv_next_control.sail	2394	log plain
-rw-r--r--	riscv_next_regs.sail	2761	log plain
-rw-r--r--	riscv_pc_access.sail	683	log plain
-rw-r--r--	riscv_platform.sail	19362	log plain
-rw-r--r--	riscv_pmp_control.sail	7018	log plain
-rw-r--r--	riscv_pmp_regs.sail	5709	log plain
-rw-r--r--	riscv_pte.sail	3439	log plain
-rw-r--r--	riscv_ptw.sail	2116	log plain
-rw-r--r--	riscv_reg_type.sail	379	log plain
-rw-r--r--	riscv_regs.sail	5634	log plain
-rw-r--r--	riscv_softfloat_interface.sail	14896	log plain
-rw-r--r--	riscv_step.sail	3193	log plain
-rw-r--r--	riscv_step_common.sail	411	log plain
-rw-r--r--	riscv_step_ext.sail	261	log plain
-rw-r--r--	riscv_step_rvfi.sail	488	log plain
-rw-r--r--	riscv_sync_exception.sail	220	log plain
-rw-r--r--	riscv_sys_control.sail	20074	log plain
-rw-r--r--	riscv_sys_exceptions.sail	2192	log plain
-rw-r--r--	riscv_sys_regs.sail	19345	log plain
-rw-r--r--	riscv_termination_common.sail	1070	log plain
-rw-r--r--	riscv_termination_duo.sail	58	log plain
-rw-r--r--	riscv_termination_rv32.sail	58	log plain
-rw-r--r--	riscv_termination_rv64.sail	118	log plain
-rw-r--r--	riscv_types.sail	9602	log plain
-rw-r--r--	riscv_types_common.sail	24	log plain
-rw-r--r--	riscv_types_ext.sail	2655	log plain
-rw-r--r--	riscv_vmem_common.sail	3440	log plain
-rw-r--r--	riscv_vmem_rv32.sail	2107	log plain
-rw-r--r--	riscv_vmem_rv64.sail	3654	log plain
-rw-r--r--	riscv_vmem_sv32.sail	8619	log plain
-rw-r--r--	riscv_vmem_sv39.sail	8171	log plain
-rw-r--r--	riscv_vmem_sv48.sail	6444	log plain
-rw-r--r--	riscv_vmem_tlb.sail	2109	log plain
-rw-r--r--	riscv_vmem_types.sail	425	log plain
-rw-r--r--	riscv_xlen32.sail	139	log plain
-rw-r--r--	riscv_xlen64.sail	139	log plain
-rw-r--r--	rvfi_dii.sail	17073	log plain