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	6560	log plain
-rw-r--r--	prelude.sail	15720	log plain
-rw-r--r--	prelude_mapping.sail	31993	log plain
-rw-r--r--	prelude_mem.sail	8469	log plain
-rw-r--r--	prelude_mem_metadata.sail	6575	log plain
-rw-r--r--	riscv_addr_checks.sail	8624	log plain
-rw-r--r--	riscv_addr_checks_common.sail	7963	log plain
-rw-r--r--	riscv_analysis.sail	23357	log plain
-rw-r--r--	riscv_csr_ext.sail	6649	log plain
-rw-r--r--	riscv_csr_map.sail	11386	log plain
-rw-r--r--	riscv_decode_ext.sail	6479	log plain
-rw-r--r--	riscv_duopod.sail	8430	log plain
-rw-r--r--	riscv_ext_regs.sail	7093	log plain
-rw-r--r--	riscv_fdext_control.sail	7525	log plain
-rw-r--r--	riscv_fdext_regs.sail	16980	log plain
-rw-r--r--	riscv_fetch.sail	8260	log plain
-rw-r--r--	riscv_fetch_rvfi.sail	7551	log plain
-rw-r--r--	riscv_flen_D.sail	6307	log plain
-rw-r--r--	riscv_flen_F.sail	6307	log plain
-rw-r--r--	riscv_freg_type.sail	8401	log plain
-rw-r--r--	riscv_insts_aext.sail	20487	log plain
-rw-r--r--	riscv_insts_base.sail	35582	log plain
-rw-r--r--	riscv_insts_begin.sail	6730	log plain
-rw-r--r--	riscv_insts_cdext.sail	9685	log plain
-rw-r--r--	riscv_insts_cext.sail	26222	log plain
-rw-r--r--	riscv_insts_cfext.sail	9337	log plain
-rw-r--r--	riscv_insts_dext.sail	43230	log plain
-rw-r--r--	riscv_insts_end.sail	7311	log plain
-rw-r--r--	riscv_insts_fext.sail	46754	log plain
-rw-r--r--	riscv_insts_hints.sail	12211	log plain
-rw-r--r--	riscv_insts_mext.sail	13076	log plain
-rw-r--r--	riscv_insts_next.sail	6748	log plain
-rw-r--r--	riscv_insts_rmem.sail	7044	log plain
-rw-r--r--	riscv_insts_zba.sail	3420	log plain
-rw-r--r--	riscv_insts_zbb.sail	12136	log plain
-rw-r--r--	riscv_insts_zbc.sail	2076	log plain
-rw-r--r--	riscv_insts_zbs.sail	3408	log plain
-rw-r--r--	riscv_insts_zfh.sail	34257	log plain
-rw-r--r--	riscv_insts_zicsr.sail	16548	log plain
-rw-r--r--	riscv_insts_zkn.sail	16001	log plain
-rw-r--r--	riscv_insts_zks.sail	2984	log plain
-rw-r--r--	riscv_jalr_rmem.sail	6613	log plain
-rw-r--r--	riscv_jalr_seq.sail	7228	log plain
-rw-r--r--	riscv_mem.sail	20396	log plain
-rw-r--r--	riscv_misa_ext.sail	6207	log plain
-rw-r--r--	riscv_next_control.sail	8561	log plain
-rw-r--r--	riscv_next_regs.sail	8928	log plain
-rw-r--r--	riscv_pc_access.sail	6850	log plain
-rw-r--r--	riscv_platform.sail	25529	log plain
-rw-r--r--	riscv_pmp_control.sail	13185	log plain
-rw-r--r--	riscv_pmp_regs.sail	11876	log plain
-rw-r--r--	riscv_pte.sail	9606	log plain
-rw-r--r--	riscv_ptw.sail	8283	log plain
-rw-r--r--	riscv_reg_type.sail	6546	log plain
-rw-r--r--	riscv_regs.sail	11801	log plain
-rw-r--r--	riscv_softfloat_interface.sail	28277	log plain
-rw-r--r--	riscv_step.sail	9360	log plain
-rw-r--r--	riscv_step_common.sail	6578	log plain
-rw-r--r--	riscv_step_ext.sail	6428	log plain
-rw-r--r--	riscv_step_rvfi.sail	6655	log plain
-rw-r--r--	riscv_sync_exception.sail	6387	log plain
-rw-r--r--	riscv_sys_control.sail	26887	log plain
-rw-r--r--	riscv_sys_exceptions.sail	8359	log plain
-rw-r--r--	riscv_sys_regs.sail	28631	log plain
-rw-r--r--	riscv_termination_common.sail	7237	log plain
-rw-r--r--	riscv_termination_duo.sail	6225	log plain
-rw-r--r--	riscv_termination_rv32.sail	6225	log plain
-rw-r--r--	riscv_termination_rv64.sail	6285	log plain
-rw-r--r--	riscv_types.sail	16319	log plain
-rw-r--r--	riscv_types_common.sail	6191	log plain
-rw-r--r--	riscv_types_ext.sail	8822	log plain
-rw-r--r--	riscv_types_kext.sail	14697	log plain
-rw-r--r--	riscv_vmem_common.sail	9607	log plain
-rw-r--r--	riscv_vmem_rv32.sail	8495	log plain
-rw-r--r--	riscv_vmem_rv64.sail	10042	log plain
-rw-r--r--	riscv_vmem_sv32.sail	14845	log plain
-rw-r--r--	riscv_vmem_sv39.sail	14397	log plain
-rw-r--r--	riscv_vmem_sv48.sail	12653	log plain
-rw-r--r--	riscv_vmem_tlb.sail	8276	log plain
-rw-r--r--	riscv_vmem_types.sail	6592	log plain
-rw-r--r--	riscv_xlen32.sail	6306	log plain
-rw-r--r--	riscv_xlen64.sail	6306	log plain
-rw-r--r--	rvfi_dii.sail	23240	log plain