Skip to content
GitLab
Explore
Sign in
Open
0
Merged
6
Closed
0
All
6
Recent searches
{{ formattedKey }}
{{ title }}
{{ help }}
{{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}}
Updated date
[graphml] New benchmark for LEC tools (after logopt aig+fs and aig+rw)
!5
· created
Feb 21, 2025
by
Ильина Екатерина Сергеевна
Merged
updated
Mar 04, 2025
[graphml] New benchmark for LEC tools (before/after logopt aig+fr)
!4
· created
Feb 21, 2025
by
Ильина Екатерина Сергеевна
Merged
9
updated
Mar 04, 2025
verilog_openabcd/aig: add Cadence Conformal statistics
!6
· created
Feb 26, 2025
by
Ильина Екатерина Сергеевна
Merged
updated
Feb 26, 2025
[verilog] Reorganizing and expanding benchmark for LEC tools
!3
· created
Feb 20, 2025
by
Ильина Екатерина Сергеевна
Merged
13
updated
Feb 26, 2025
verilog_openabcd: add Cadence Conformal statistics
!2
· created
Feb 17, 2025
by
Ильина Екатерина Сергеевна
Merged
updated
Feb 17, 2025
Resolve "[verilog] new benchmark for LEC tools (before/after 'rf' Utopia pass)"
!1
· created
Feb 14, 2025
by
Sergey Smolov
Merged
updated
Feb 14, 2025
