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	462	log plain
-rw-r--r--	prelude.sail	8768	log plain
-rw-r--r--	prelude_mapping.sail	25483	log plain
-rw-r--r--	prelude_mem.sail	2159	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	16722	log plain
-rw-r--r--	riscv_csr_ext.sail	738	log plain
-rw-r--r--	riscv_csr_map.sail	4444	log plain
-rw-r--r--	riscv_decode_ext.sail	312	log plain
-rw-r--r--	riscv_duopod.sail	2468	log plain
-rw-r--r--	riscv_ext_regs.sail	435	log plain
-rw-r--r--	riscv_fetch.sail	2102	log plain
-rw-r--r--	riscv_fetch_rvfi.sail	747	log plain
-rw-r--r--	riscv_insts_aext.sail	12157	log plain
-rw-r--r--	riscv_insts_base.sail	29053	log plain
-rw-r--r--	riscv_insts_begin.sail	521	log plain
-rw-r--r--	riscv_insts_cext.sail	20061	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	488	log plain
-rw-r--r--	riscv_insts_rmem.sail	877	log plain
-rw-r--r--	riscv_insts_zicsr.sail	9355	log plain
-rw-r--r--	riscv_jalr_rmem.sail	446	log plain
-rw-r--r--	riscv_jalr_seq.sail	1058	log plain
-rw-r--r--	riscv_mem.sail	9791	log plain
-rw-r--r--	riscv_next_control.sail	2184	log plain
-rw-r--r--	riscv_next_regs.sail	2765	log plain
-rw-r--r--	riscv_pc_access.sail	683	log plain
-rw-r--r--	riscv_platform.sail	17147	log plain
-rw-r--r--	riscv_pmp_control.sail	7042	log plain
-rw-r--r--	riscv_pmp_regs.sail	5476	log plain
-rw-r--r--	riscv_pte.sail	2075	log plain
-rw-r--r--	riscv_ptw.sail	1419	log plain
-rw-r--r--	riscv_reg_type.sail	379	log plain
-rw-r--r--	riscv_regs.sail	5471	log plain
-rw-r--r--	riscv_step.sail	3318	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	18343	log plain
-rw-r--r--	riscv_sys_exceptions.sail	1980	log plain
-rw-r--r--	riscv_sys_regs.sail	16726	log plain
-rw-r--r--	riscv_termination_common.sail	1070	log plain
-rw-r--r--	riscv_termination_rv32.sail	56	log plain
-rw-r--r--	riscv_termination_rv64.sail	112	log plain
-rw-r--r--	riscv_types.sail	8661	log plain
-rw-r--r--	riscv_vmem_common.sail	3186	log plain
-rw-r--r--	riscv_vmem_rv32.sail	2010	log plain
-rw-r--r--	riscv_vmem_rv64.sail	2764	log plain
-rw-r--r--	riscv_vmem_sv32.sail	8045	log plain
-rw-r--r--	riscv_vmem_sv39.sail	7595	log plain
-rw-r--r--	riscv_vmem_sv48.sail	6072	log plain
-rw-r--r--	riscv_vmem_tlb.sail	2109	log plain
-rw-r--r--	riscv_vmem_types.sail	412	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