25 Commits

Author	SHA1	Message	Date
David Harris	45e2317636	Added Wally github address to header comments	2024-01-29 05:38:11 -08:00
Jordan Carlin	0c13e14bbf	coverage improvements for mret when mpp = 3; update imperas config	2024-01-22 09:52:58 -08:00
Jordan Carlin	4936496bb9	fix sfence.inval.ir and sret coverage from previous PR	2024-01-22 08:58:31 -08:00
Jordan Carlin	12b2baff82	add coverage of sfence.inval.ir instruction and fix sret coverage	2024-01-18 17:33:59 -08:00
David Harris	c45fbe1ffe	Merge pull request #394 from harshinisrinath1001/main ... Improved testing of csri with priv.S!	2023-08-24 19:16:50 -07:00
harshinisrinath	c9112ff18d	Improved testing of csri with priv.S	2023-08-24 18:39:15 -07:00
David Harris	409abbf443	Merge pull request #381 from harshinisrinath1001/main ... Tried to improve coverage of CSRI with priv.S	2023-08-21 13:28:39 -07:00
harshinisrinath	fdb7abec06	tried to improve testing of csri in privileged module	2023-08-20 15:40:02 -07:00
David Harris	2738423441	Improved CSRU coverage with priv.S	2023-08-20 12:49:31 -07:00
harshinisrinath	7494ce06eb	wrote testcase to write into FSCR	2023-08-20 12:10:08 -07:00
harshinisrinath	b4cfdf3393	Fixed bug and tried to reset menvcfg to improve testing of csri in priv.	2023-07-30 16:40:06 -07:00
harshinisrinath	f9d3944cc5	Improved testing of pmd in priv.	2023-06-16 17:13:54 -07:00
Alexa Wright	59d913949f	Excluded and added coverage for WFI test case.	2023-04-25 17:06:57 -07:00
Kevin Wan	771124e265	Completely covers all PMPCFG_ARRAY_REGW cases	2023-04-18 21:50:48 -07:00
Diego Herrera Vicioso	16fd17be39	Added test coverage for reads to HPM counters and added exclusions for impossible cases in rv64gc	2023-04-15 23:13:39 -07:00
Diego Herrera Vicioso	5f9c443781	Added test coverage for floating point registers, some PMP addresses, as well as MTVAL and MCAUSE CSRs.	2023-04-08 16:40:36 -07:00
David Harris	bf9db11a57	Fixed priv.S to initialize stimecmp and agree with ImperasDV	2023-04-07 20:44:01 -07:00
David Harris	64679654ff	Merged priv.S edits	2023-04-03 18:07:14 -07:00
Alexa Wright	59596cd7cc	Added tests for writing and reading to HPMCOUNTERM csrs	2023-04-01 16:02:23 -07:00
David Harris	fa17487d67	Merged privileged test	2023-03-31 08:37:16 -07:00
David Harris	db542543cb	Coverage improvement: ieu, hazard, priv	2023-03-31 08:34:34 -07:00
David Harris	ab82bb397c	Privilege test improvements	2023-03-31 08:32:02 -07:00
Diego Herrera Vicioso	36d7ddf501	Added test coverage cases for writing to STVAL, SCAUSE, SEPC, and STIMECMP CSRs.	2023-03-28 22:48:17 -07:00
David Harris	4594dffc7f	Set PMP to allow all user/supervisor accesses in WALLY-init-lib	2023-03-28 06:46:11 -07:00
David Harris	2e238c15aa	CSRS privileged coverage test	2023-03-28 04:37:56 -07:00