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--	hex_bits_signed.sail	8988	log plain
-rw-r--r--	main.sail	2061	log plain
-rw-r--r--	mapping.sail	7220	log plain
-rw-r--r--	prelude.sail	7771	log plain
-rw-r--r--	prelude_mem.sail	6351	log plain
-rw-r--r--	prelude_mem_metadata.sail	1023	log plain
-rw-r--r--	riscv_addr_checks.sail	3116	log plain
-rw-r--r--	riscv_addr_checks_common.sail	2438	log plain
-rw-r--r--	riscv_csr_begin.sail	17706	log plain
-rw-r--r--	riscv_csr_end.sail	1454	log plain
-rw-r--r--	riscv_decode_ext.sail	1034	log plain
-rw-r--r--	riscv_ext_regs.sail	1534	log plain
-rw-r--r--	riscv_fdext_control.sail	2340	log plain
-rw-r--r--	riscv_fdext_regs.sail	11317	log plain
-rw-r--r--	riscv_fetch.sail	2663	log plain
-rw-r--r--	riscv_fetch_rvfi.sail	2050	log plain
-rw-r--r--	riscv_flen_D.sail	956	log plain
-rw-r--r--	riscv_flen_F.sail	956	log plain
-rw-r--r--	riscv_freg_type.sail	2886	log plain
-rw-r--r--	riscv_insts_aext.sail	11322	log plain
-rw-r--r--	riscv_insts_base.sail	26755	log plain
-rw-r--r--	riscv_insts_begin.sail	1435	log plain
-rw-r--r--	riscv_insts_dext.sail	37924	log plain
-rw-r--r--	riscv_insts_end.sail	1569	log plain
-rw-r--r--	riscv_insts_fext.sail	41656	log plain
-rw-r--r--	riscv_insts_hints.sail	6673	log plain
-rw-r--r--	riscv_insts_mext.sail	7701	log plain
-rw-r--r--	riscv_insts_next.sail	1236	log plain
-rw-r--r--	riscv_insts_rmem.sail	1522	log plain
-rw-r--r--	riscv_insts_svinval.sail	2529	log plain
-rw-r--r--	riscv_insts_vext_arith.sail	92342	log plain
-rwxr-xr-x	riscv_insts_vext_fp.sail	53854	log plain
-rwxr-xr-x	riscv_insts_vext_fp_red.sail	5865	log plain
-rwxr-xr-x	riscv_insts_vext_fp_utils.sail	24298	log plain
-rwxr-xr-x	riscv_insts_vext_fp_vm.sail	5575	log plain
-rwxr-xr-x	riscv_insts_vext_mask.sail	12103	log plain
-rw-r--r--	riscv_insts_vext_mem.sail	44613	log plain
-rwxr-xr-x	riscv_insts_vext_red.sail	6245	log plain
-rwxr-xr-x	riscv_insts_vext_utils.sail	17499	log plain
-rwxr-xr-x	riscv_insts_vext_vm.sail	27649	log plain
-rw-r--r--	riscv_insts_vext_vset.sail	7824	log plain
-rw-r--r--	riscv_insts_zba.sail	4451	log plain
-rw-r--r--	riscv_insts_zbb.sail	14223	log plain
-rw-r--r--	riscv_insts_zbc.sail	3111	log plain
-rw-r--r--	riscv_insts_zbkb.sail	4477	log plain
-rw-r--r--	riscv_insts_zbkx.sail	2394	log plain
-rw-r--r--	riscv_insts_zbs.sail	4379	log plain
-rw-r--r--	riscv_insts_zca.sail	22654	log plain
-rw-r--r--	riscv_insts_zcb.sail	8912	log plain
-rw-r--r--	riscv_insts_zcd.sail	3612	log plain
-rw-r--r--	riscv_insts_zcf.sail	3816	log plain
-rw-r--r--	riscv_insts_zfa.sail	29202	log plain
-rw-r--r--	riscv_insts_zfh.sail	35608	log plain
-rw-r--r--	riscv_insts_zicbom.sail	5600	log plain
-rw-r--r--	riscv_insts_zicboz.sail	3137	log plain
-rw-r--r--	riscv_insts_zicond.sail	1942	log plain
-rw-r--r--	riscv_insts_zicsr.sail	12247	log plain
-rw-r--r--	riscv_insts_zkn.sail	18273	log plain
-rw-r--r--	riscv_insts_zks.sail	4013	log plain
-rw-r--r--	riscv_jalr_rmem.sail	1098	log plain
-rw-r--r--	riscv_jalr_seq.sail	1731	log plain
-rw-r--r--	riscv_mem.sail	13091	log plain
-rw-r--r--	riscv_misa_ext.sail	684	log plain
-rw-r--r--	riscv_next_control.sail	2988	log plain
-rw-r--r--	riscv_next_regs.sail	3403	log plain
-rw-r--r--	riscv_pc_access.sail	1300	log plain
-rw-r--r--	riscv_platform.sail	20273	log plain
-rw-r--r--	riscv_pmp_control.sail	5143	log plain
-rw-r--r--	riscv_pmp_regs.sail	4631	log plain
-rw-r--r--	riscv_reg_type.sail	1031	log plain
-rw-r--r--	riscv_regs.sail	5230	log plain
-rw-r--r--	riscv_softfloat_interface.sail	23284	log plain
-rw-r--r--	riscv_step.sail	4399	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	1124	log plain
-rw-r--r--	riscv_sync_exception.sail	865	log plain
-rw-r--r--	riscv_sys_control.sail	24303	log plain
-rw-r--r--	riscv_sys_exceptions.sail	2789	log plain
-rw-r--r--	riscv_sys_regs.sail	28591	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	706	log plain
-rw-r--r--	riscv_types.sail	12135	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	2033	log plain
-rw-r--r--	riscv_vext_regs.sail	12219	log plain
-rw-r--r--	riscv_vlen.sail	1840	log plain
-rw-r--r--	riscv_vmem.sail	19426	log plain
-rw-r--r--	riscv_vmem_common.sail	3860	log plain
-rw-r--r--	riscv_vmem_pte.sail	5818	log plain
-rw-r--r--	riscv_vmem_ptw.sail	2967	log plain
-rw-r--r--	riscv_vmem_tlb.sail	5748	log plain
-rw-r--r--	riscv_vmem_types.sail	1070	log plain
-rwxr-xr-x	riscv_vreg_type.sail	5734	log plain
-rw-r--r--	riscv_xlen.sail	996	log plain
-rw-r--r--	riscv_xlen32.sail	874	log plain
-rw-r--r--	riscv_xlen64.sail	874	log plain
-rw-r--r--	rvfi_dii.sail	17555	log plain