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--	hex_bits.sail	8109	log plain
-rw-r--r--	main.sail	1038	log plain
-rw-r--r--	mapping.sail	7220	log plain
-rw-r--r--	prelude.sail	7723	log plain
-rw-r--r--	prelude_mem.sail	2892	log plain
-rw-r--r--	prelude_mem_metadata.sail	1025	log plain
-rw-r--r--	riscv_addr_checks.sail	3102	log plain
-rw-r--r--	riscv_addr_checks_common.sail	2440	log plain
-rw-r--r--	riscv_analysis.sail	18127	log plain
-rw-r--r--	riscv_csr_ext.sail	1126	log plain
-rw-r--r--	riscv_csr_map.sail	9327	log plain
-rw-r--r--	riscv_decode_ext.sail	1034	log plain
-rw-r--r--	riscv_ext_regs.sail	1537	log plain
-rw-r--r--	riscv_fdext_control.sail	2008	log plain
-rw-r--r--	riscv_fdext_regs.sail	12412	log plain
-rw-r--r--	riscv_fetch.sail	2686	log plain
-rw-r--r--	riscv_fetch_rvfi.sail	2043	log plain
-rw-r--r--	riscv_flen_D.sail	785	log plain
-rw-r--r--	riscv_flen_F.sail	785	log plain
-rw-r--r--	riscv_freg_type.sail	2886	log plain
-rw-r--r--	riscv_insts_aext.sail	15195	log plain
-rw-r--r--	riscv_insts_base.sail	29616	log plain
-rw-r--r--	riscv_insts_begin.sail	1435	log plain
-rw-r--r--	riscv_insts_cdext.sail	4189	log plain
-rw-r--r--	riscv_insts_cext.sail	20841	log plain
-rw-r--r--	riscv_insts_cfext.sail	3843	log plain
-rw-r--r--	riscv_insts_dext.sail	37787	log plain
-rw-r--r--	riscv_insts_end.sail	1534	log plain
-rw-r--r--	riscv_insts_fext.sail	41371	log plain
-rw-r--r--	riscv_insts_hints.sail	6689	log plain
-rw-r--r--	riscv_insts_mext.sail	7575	log plain
-rw-r--r--	riscv_insts_next.sail	1226	log plain
-rw-r--r--	riscv_insts_rmem.sail	1522	log plain
-rw-r--r--	riscv_insts_vext_arith.sail	93976	log plain
-rwxr-xr-x	riscv_insts_vext_fp.sail	54694	log plain
-rwxr-xr-x	riscv_insts_vext_mask.sail	12572	log plain
-rw-r--r--	riscv_insts_vext_mem.sail	44716	log plain
-rwxr-xr-x	riscv_insts_vext_red.sail	11018	log plain
-rwxr-xr-x	riscv_insts_vext_utils.sail	41022	log plain
-rwxr-xr-x	riscv_insts_vext_vm.sail	33032	log plain
-rw-r--r--	riscv_insts_vext_vset.sail	7076	log plain
-rw-r--r--	riscv_insts_zba.sail	4079	log plain
-rw-r--r--	riscv_insts_zbb.sail	13127	log plain
-rw-r--r--	riscv_insts_zbc.sail	2773	log plain
-rw-r--r--	riscv_insts_zbkb.sail	4401	log plain
-rw-r--r--	riscv_insts_zbkx.sail	2270	log plain
-rw-r--r--	riscv_insts_zbs.sail	4095	log plain
-rw-r--r--	riscv_insts_zfa.sail	27660	log plain
-rw-r--r--	riscv_insts_zfh.sail	35508	log plain
-rw-r--r--	riscv_insts_zicond.sail	1790	log plain
-rw-r--r--	riscv_insts_zicsr.sail	10509	log plain
-rw-r--r--	riscv_insts_zkn.sail	16742	log plain
-rw-r--r--	riscv_insts_zks.sail	3657	log plain
-rw-r--r--	riscv_jalr_rmem.sail	1098	log plain
-rw-r--r--	riscv_jalr_seq.sail	1715	log plain
-rw-r--r--	riscv_mem.sail	14567	log plain
-rw-r--r--	riscv_misa_ext.sail	684	log plain
-rw-r--r--	riscv_next_control.sail	3020	log plain
-rw-r--r--	riscv_next_regs.sail	3403	log plain
-rw-r--r--	riscv_pc_access.sail	1266	log plain
-rw-r--r--	riscv_platform.sail	19687	log plain
-rw-r--r--	riscv_pmp_control.sail	5093	log plain
-rw-r--r--	riscv_pmp_regs.sail	4685	log plain
-rw-r--r--	riscv_pte.sail	4074	log plain
-rw-r--r--	riscv_ptw.sail	2761	log plain
-rw-r--r--	riscv_reg_type.sail	1031	log plain
-rw-r--r--	riscv_regs.sail	6204	log plain
-rw-r--r--	riscv_softfloat_interface.sail	24964	log plain
-rw-r--r--	riscv_step.sail	4229	log plain
-rw-r--r--	riscv_step_common.sail	1056	log plain
-rw-r--r--	riscv_step_ext.sail	906	log plain
-rw-r--r--	riscv_step_rvfi.sail	1126	log plain
-rw-r--r--	riscv_sync_exception.sail	865	log plain
-rw-r--r--	riscv_sys_control.sail	22172	log plain
-rw-r--r--	riscv_sys_exceptions.sail	2789	log plain
-rw-r--r--	riscv_sys_regs.sail	27277	log plain
-rw-r--r--	riscv_termination_common.sail	1715	log plain
-rw-r--r--	riscv_termination_rv32.sail	703	log plain
-rw-r--r--	riscv_termination_rv64.sail	763	log plain
-rw-r--r--	riscv_types.sail	12288	log plain
-rw-r--r--	riscv_types_common.sail	669	log plain
-rw-r--r--	riscv_types_ext.sail	3300	log plain
-rw-r--r--	riscv_types_kext.sail	15460	log plain
-rwxr-xr-x	riscv_vext_control.sail	1821	log plain
-rw-r--r--	riscv_vext_regs.sail	12699	log plain
-rw-r--r--	riscv_vlen.sail	1844	log plain
-rw-r--r--	riscv_vmem_common.sail	4095	log plain
-rw-r--r--	riscv_vmem_rv32.sail	2864	log plain
-rw-r--r--	riscv_vmem_rv64.sail	4444	log plain
-rw-r--r--	riscv_vmem_sv32.sail	9218	log plain
-rw-r--r--	riscv_vmem_sv39.sail	8791	log plain
-rw-r--r--	riscv_vmem_sv48.sail	7007	log plain
-rw-r--r--	riscv_vmem_tlb.sail	2745	log plain
-rw-r--r--	riscv_vmem_types.sail	1070	log plain
-rwxr-xr-x	riscv_vreg_type.sail	5778	log plain
-rw-r--r--	riscv_xlen32.sail	784	log plain
-rw-r--r--	riscv_xlen64.sail	784	log plain
-rw-r--r--	rvfi_dii.sail	17566	log plain