Skip to content
GitLab
Explore
Sign in
Open
0
Merged
16
Closed
0
All
16
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Added assertions from e40s that were missing on e40x
!973
· created
Oct 17, 2023
by
Eclipse Webmaster
Component:Other
Merged
1
updated
Oct 17, 2023
Rewrite assertion to avoid unreachable cover
!953
· created
Sep 19, 2023
by
Eclipse Webmaster
Component:Other
Merged
2
updated
Sep 19, 2023
Add assertion a_mret_dbg_mode_illegal
!950
· created
Sep 15, 2023
by
Eclipse Webmaster
Component:Other
Merged
2
updated
Sep 15, 2023
Add cv32e40x_parameter_sva.sv
!949
· created
Sep 15, 2023
by
Eclipse Webmaster
Component:Other
Merged
3
updated
Sep 15, 2023
Misc sva updates
!946
· created
Sep 13, 2023
by
Eclipse Webmaster
Component:Other
Merged
6
updated
Sep 14, 2023
Updated assertions in mult_sva to factor in halt_i and kill_i in the …
!922
· created
Aug 29, 2023
by
Eclipse Webmaster
Component:Other
Merged
2
updated
Aug 29, 2023
Fix for issue #892
!919
· created
Aug 24, 2023
by
Eclipse Webmaster
Component:Other
Merged
3
updated
Aug 24, 2023
Update to yaml.m4. Changed from UMODE to A_EXT when checking if load/…
!896
· created
Aug 03, 2023
by
Eclipse Webmaster
Component:Other
Merged
2
updated
Aug 03, 2023
Fixed issue #893 mpu sva vs pma rtl mismatch
!894
· created
Jul 31, 2023
by
Eclipse Webmaster
Component:Other
Merged
2
updated
Jul 31, 2023
Added missing exception codes for misaligne atomic load/stores to yam…
!889
· created
Jul 07, 2023
by
Eclipse Webmaster
Component:Other
Merged
2
updated
Jul 10, 2023
Updates to yaml.m4
!885
· created
Jul 05, 2023
by
Eclipse Webmaster
Component:Other
Merged
6
updated
Jul 05, 2023
Fix for issue #426
!866
· created
Jun 02, 2023
by
Eclipse Webmaster
Component:Other
Merged
2
updated
Jun 02, 2023
Fix for issue #619
!863
· created
May 30, 2023
by
Eclipse Webmaster
Component:Other
Merged
21
updated
Jun 02, 2023
Added missing signals to `RVFI_TIEOFF
!862
· created
May 25, 2023
by
Eclipse Webmaster
Component:Other
Merged
2
updated
May 25, 2023
Added the following signals to RVFI:
!857
· created
May 19, 2023
by
Eclipse Webmaster
Component:Other
Merged
2
updated
May 19, 2023
Added parameter to disable itrace
!614
· created
Jul 11, 2022
by
Eclipse Webmaster
Component:Other
Merged
1
updated
Jul 12, 2022