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	2152	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	2094	log plain
-rw-r--r--	riscv_fetch_rvfi.sail	736	log plain
-rw-r--r--	riscv_insts_aext.sail	12091	log plain
-rw-r--r--	riscv_insts_base.sail	28994	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	9554	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	398	log plain
-rw-r--r--	riscv_platform.sail	16848	log plain
-rw-r--r--	riscv_pmp_control.sail	6922	log plain
-rw-r--r--	riscv_pmp_regs.sail	5476	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	620	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	8829	log plain
-rw-r--r--	riscv_vmem_common.sail	6221	log plain
-rw-r--r--	riscv_vmem_rv32.sail	1989	log plain
-rw-r--r--	riscv_vmem_rv64.sail	2743	log plain
-rw-r--r--	riscv_vmem_sv32.sail	7655	log plain
-rw-r--r--	riscv_vmem_sv39.sail	7348	log plain
-rw-r--r--	riscv_vmem_sv48.sail	5916	log plain
-rw-r--r--	riscv_vmem_tlb.sail	2109	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