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	8786	log plain
-rw-r--r--	prelude_mapping.sail	25483	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	370	log plain
-rw-r--r--	riscv_csr_map.sail	5121	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	872	log plain
-rw-r--r--	riscv_fetch.sail	2093	log plain
-rw-r--r--	riscv_fetch_rvfi.sail	1275	log plain
-rw-r--r--	riscv_insts_aext.sail	12191	log plain
-rw-r--r--	riscv_insts_base.sail	29197	log plain
-rw-r--r--	riscv_insts_begin.sail	535	log plain
-rw-r--r--	riscv_insts_cext.sail	20057	log plain
-rw-r--r--	riscv_insts_end.sail	1140	log plain
-rw-r--r--	riscv_insts_mext.sail	6881	log plain
-rw-r--r--	riscv_insts_next.sail	558	log plain
-rw-r--r--	riscv_insts_rmem.sail	877	log plain
-rw-r--r--	riscv_insts_zicsr.sail	9339	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	11256	log plain
-rw-r--r--	riscv_misa_ext.sail	40	log plain
-rw-r--r--	riscv_next_control.sail	2290	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	17710	log plain
-rw-r--r--	riscv_pmp_control.sail	7040	log plain
-rw-r--r--	riscv_pmp_regs.sail	5463	log plain
-rw-r--r--	riscv_pte.sail	2604	log plain
-rw-r--r--	riscv_ptw.sail	1747	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_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	631	log plain
-rw-r--r--	riscv_sync_exception.sail	220	log plain
-rw-r--r--	riscv_sys_control.sail	18957	log plain
-rw-r--r--	riscv_sys_exceptions.sail	2192	log plain
-rw-r--r--	riscv_sys_regs.sail	17304	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	9667	log plain
-rw-r--r--	riscv_types_ext.sail	923	log plain
-rw-r--r--	riscv_vmem_common.sail	3440	log plain
-rw-r--r--	riscv_vmem_rv32.sail	2167	log plain
-rw-r--r--	riscv_vmem_rv64.sail	2967	log plain
-rw-r--r--	riscv_vmem_sv32.sail	8589	log plain
-rw-r--r--	riscv_vmem_sv39.sail	8119	log plain
-rw-r--r--	riscv_vmem_sv48.sail	6418	log plain
-rw-r--r--	riscv_vmem_tlb.sail	2109	log plain
-rw-r--r--	riscv_vmem_types.sail	413	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	5482	log plain