Skip to content
GitLab
Explore
Sign in
Open
0
Merged
11
Closed
0
All
11
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
jasper SLEC script changes
!1003
· created
Jun 12, 2024
by
Eclipse Webmaster
dev
Component:Tool-and-build
Component:Verif
Merged
24
Approved
updated
Jun 28, 2024
Adding formal rule for coverage holes on controller
!997
· created
Jun 06, 2024
by
Eclipse Webmaster
dev
Component:Tool-and-build
Component:Verif
Merged
2
updated
Jun 06, 2024
Reverted PR #993.
!995
· created
Jun 03, 2024
by
Eclipse Webmaster
dev
Component:Tool-and-build
Component:Verif
Merged
1
updated
Jun 03, 2024
Code coverage holes formal analysis
!994
· created
May 31, 2024
by
Eclipse Webmaster
dev
Component:Tool-and-build
Component:Verif
Merged
3
Approved
updated
May 31, 2024
RISC-V ISA Formal Verification files for SiemensEDA OneSpin tool.
!993
· created
May 30, 2024
by
Eclipse Webmaster
dev
Component:Tool-and-build
Component:Verif
Merged
4
Approved
updated
Jun 03, 2024
Few lec scripts cleanup and improvements.
!991
· created
May 30, 2024
by
Eclipse Webmaster
dev
Component:Tool-and-build
Type:Enhancement
Merged
2
updated
Jun 03, 2024
Added new apu_busy_o at cv32e40p_core level for v1 lec and fpu latency parameters for v2 lec.
!974
· created
Apr 04, 2024
by
Eclipse Webmaster
dev
Component:Tool-and-build
Merged
2
updated
Apr 08, 2024
Slight update to allow many lec parallel runs.
!968
· created
Mar 25, 2024
by
Eclipse Webmaster
dev
Component:Tool-and-build
Type:Enhancement
Merged
2
updated
Mar 26, 2024
Added possibility to make lec between v2 versions.
!962
· created
Mar 18, 2024
by
Eclipse Webmaster
dev
Component:Tool-and-build
Type:Enhancement
Merged
2
Approved
updated
Mar 21, 2024
add RTL LINT scripts.
!931
· created
Jan 08, 2024
by
Eclipse Webmaster
dev
Component:Tool-and-build
Type:Enhancement
Merged
5
updated
Feb 28, 2024
Refactor of LEC/SEC scripts
!929
· created
Jan 02, 2024
by
Eclipse Webmaster
dev
Component:Tool-and-build
Type:Enhancement
Merged
6
updated
Feb 28, 2024
