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	8800	log plain
-rw-r--r--	prelude_mapping.sail	25186	log plain
-rw-r--r--	prelude_mem.sail	3139	log plain
-rw-r--r--	prelude_mem_metadata.sail	408	log plain
-rw-r--r--	riscv_addr_checks.sail	2168	log plain
-rw-r--r--	riscv_addr_checks_common.sail	844	log plain
-rw-r--r--	riscv_analysis.sail	8597	log plain
-rw-r--r--	riscv_csr_map.sail	4419	log plain
-rw-r--r--	riscv_decode_ext.sail	312	log plain
-rw-r--r--	riscv_duopod.sail	2358	log plain
-rw-r--r--	riscv_ext_regs.sail	174	log plain
-rw-r--r--	riscv_fetch.sail	2144	log plain
-rw-r--r--	riscv_fetch_rvfi.sail	736	log plain
-rw-r--r--	riscv_insts_aext.sail	11509	log plain
-rw-r--r--	riscv_insts_base.sail	26904	log plain
-rw-r--r--	riscv_insts_begin.sail	518	log plain
-rw-r--r--	riscv_insts_cext.sail	20157	log plain
-rw-r--r--	riscv_insts_end.sail	1101	log plain
-rw-r--r--	riscv_insts_mext.sail	6803	log plain
-rw-r--r--	riscv_insts_next.sail	482	log plain
-rw-r--r--	riscv_insts_rmem.sail	857	log plain
-rw-r--r--	riscv_insts_zicsr.sail	6944	log plain
-rw-r--r--	riscv_jalr_rmem.sail	436	log plain
-rw-r--r--	riscv_jalr_seq.sail	1036	log plain
-rw-r--r--	riscv_mem.sail	8434	log plain
-rw-r--r--	riscv_next_control.sail	2160	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	15541	log plain
-rw-r--r--	riscv_reg_type.sail	379	log plain
-rw-r--r--	riscv_regs.sail	5405	log plain
-rw-r--r--	riscv_step.sail	2982	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	601	log plain
-rw-r--r--	riscv_sync_exception.sail	220	log plain
-rw-r--r--	riscv_sys_control.sail	16921	log plain
-rw-r--r--	riscv_sys_exceptions.sail	1033	log plain
-rw-r--r--	riscv_sys_regs.sail	16672	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	8812	log plain
-rw-r--r--	riscv_vmem_common.sail	6188	log plain
-rw-r--r--	riscv_vmem_rv32.sail	2091	log plain
-rw-r--r--	riscv_vmem_rv64.sail	2845	log plain
-rw-r--r--	riscv_vmem_sv32.sail	7797	log plain
-rw-r--r--	riscv_vmem_sv39.sail	7490	log plain
-rw-r--r--	riscv_vmem_sv48.sail	6042	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