105 Commits

Author	SHA1	Message	Date
David Harris	8e6170cc83	Merge branch 'main' of https://github.com/openhwgroup/cvw into dev	2024-11-14 08:15:44 -08:00
David Harris	eacc8c0f07	Define XLEN32/XLEN64 in coverage configuration	2024-11-14 08:14:22 -08:00
David Harris	b6c69fa8a3	Merge pull request #1089 from coreyqh/dev ... Add ZicsrF coverage to fcov	2024-11-13 03:02:01 -08:00
Corey Hickson	dcaef2080b	Add ZicsrF coverage to fcov	2024-11-12 19:09:50 -08:00
Daniyal-R-A	c6734e148e	Merge branch 'main' of https://github.com/openhwgroup/cvw into Z_enable	2024-11-10 20:32:08 -08:00
Daniyal-R-A	f824d15c89	Enabling Zb Instructions	2024-11-09 02:54:50 -08:00
Corey Hickson	78fbb06962	Fixed Typo	2024-11-08 09:56:49 -08:00
Zain2050	83b07a0d27	enable show_c_prefix	2024-11-08 07:12:44 -08:00
David Harris	18ddf1f77b	Revert "Enabling ZB and Zk extensions in coverage.svh of congif/rv32gc and congif/rv64gc"	2024-11-07 17:04:09 -08:00
Daniyal-R-A	912d593acf	Enabling Zb* and Zk*	2024-11-04 21:38:51 -08:00
Corey Hickson	27492499c6	Enabled ZfaF, ZfaD, ZfaZfh coverage	2024-10-31 02:48:53 -07:00
David Harris	874d5f6cce	Updated ImperasDV config to fix issue #1031	2024-10-28 15:55:34 -07:00
Zain2050	d22988b678	also added Zcd	2024-10-26 09:17:34 -07:00
David Harris	e618596e52	Added CSR coverage	2024-10-26 02:11:40 -07:00
Corey Hickson	885d8cb936	Enabling D and ZfhD Coverage	2024-10-24 04:53:41 -07:00
David Harris	b848a1abfe	added no_pseudo_inst to only print regular instructions.	2024-10-22 05:26:29 -07:00
David Harris	da2310fb3e	Merge conflict in coverage.svh	2024-10-22 04:48:57 -07:00
David Harris	69cc36795b	privileged coverage updates	2024-10-22 04:45:40 -07:00
Mysterio-Abdullah	13520b6414	Enabling RV64ZcbZb.a	2024-10-17 15:31:09 -07:00
David Harris	aaa2edac18	Merge branch 'main' of https://github.com/openhwgroup/cvw into dev	2024-10-16 13:26:51 -07:00
Huda-10xe	a9e41c1a7c	Improving the priv func cov flow to run with --fcovpriv flag	2024-10-16 07:14:11 -07:00
David Harris	69898f65da	Disabled some features in imperasdv not implemented by Wally	2024-10-15 09:09:42 -07:00
Rose Thompson	d8fe68b912	Merge pull request #1011 from davidharrishmc/dev ... Fixed bug causing Issue 1010 and made some changes to Wally privileged fields to match ImperasDV	2024-10-14 11:10:21 -05:00
David Harris	5f5dac2bda	Some Imperas configuration changes to match unimplemented Wally registers	2024-10-13 21:42:16 -07:00
Mysterio-Abdullah	da35944dce	Configuring Zcb	2024-10-13 17:41:59 -07:00
Corey Hickson	91299e3ce4	added Zfh coverage for rv{32/64}gc	2024-10-10 12:58:17 -07:00
Huda-10xe	0817c69152	Adding priv coverage to ISACOV	2024-10-07 03:44:35 -07:00
David Harris	cc2a41045f	RV64 coverage configuration	2024-09-22 22:00:27 -07:00
David Harris	97f1ba066d	Updated regression --fcov to run the combined ALL files (much fewer jobs, faster)	2024-09-19 07:48:24 -07:00
David Harris	0613912d8e	Updated rv64gc coverage file to new path	2024-09-18 03:55:36 -07:00
Jordan Carlin	ae593ed81d	Merge branch 'main' of https://github.com/openhwgroup/cvw into imperas_verbose	2024-09-10 16:10:05 -07:00
David Harris	f36eb6f73d	Added support for RV64GC coverage and fixed regression so that --fcov doesn't send --lockstep flag to wsim, which messed up wsim	2024-09-07 12:05:48 -07:00
Jordan Carlin	9e98c834f1	Add lockstepverbose flag	2024-08-30 12:32:41 -07:00
David Harris	26f3c2a607	Added lockstep support for RV32. Not all wally privileged tests pass yet	2024-08-29 10:44:37 -07:00
Jordan Carlin	291d1e62d5	M implies Zmmul	2024-05-14 19:38:34 -07:00
Jordan Carlin	bf397f791f	Change all SUPPORTED type localparamters to one bit logic. Update configs for consistency.	2024-05-14 16:24:26 -07:00
Jordan Carlin	1065b8977a	Fix Q_SUPPORTED on derived configs	2024-05-14 11:49:54 -07:00
Jordan Carlin	4a72922087	update config to derive MISA from macros ... - Remove C_SUPPORTED and update decompress unit based on Zc* extensions - Derive A_SUPPORTED from A subextensions - Derive B_SUPPORTED from B subextensions - Derive C_SUPPORTED from C subextensions	2024-05-14 06:49:18 -07:00
David Harris	77137f0f60	ZAAMO and ZALRSC implemented but not tested	2024-05-07 16:45:49 -07:00
KelvinTr	01c45ab9d7	Fixed K extension changes	2024-02-28 17:05:08 -06:00
James E. Stine	171da97fe3	add config for K extensions (7 so far)	2024-02-22 12:12:56 -06:00
David Harris	bf7e20e846	IEEE754 derivatives for testfloat	2024-01-30 09:49:27 -08:00
David Harris	f37c7bb1f6	Incorporated RAM_LATENCY and BURST_EN as parameters rather than define in code. Still need to update testbench to use this	2024-01-30 06:27:18 -08:00
David Harris	32c102d89a	All deriv tests generated, use sim/make deriv	2024-01-29 14:34:42 -08:00
David Harris	7215f48dda	coverage improvements: fixing problems running ImperasDV on coverage tests	2024-01-23 22:21:01 -08:00
David Harris	60e09965d5	Enabled Zfh support in rv64gc	2024-01-16 11:14:43 -08:00
David Harris	da4eca4854	Tested Zfh support using unreleased version of risch-arch-test Zfh tests. Fixed two bugs in fmv to/from int.	2024-01-15 13:24:57 -08:00
Rose Thompson	ba95e5fafd	Reduced the rv64gc config to 128MiB memory.	2024-01-12 20:01:05 -06:00
David Harris	9eb6d9c8b8	Added Zicond support	2024-01-11 07:37:15 -08:00
David Harris	dc3284049c	Rolled back B extension in rv32/64gc MISA because imperasDV isn't matching	2023-12-21 11:03:50 -08:00