Surelog parses more attributes for nets, modules, while at it support formal at… #5957
Job | Run time |
---|---|
1m 44s | |
3m 46s | |
3m 50s | |
3m 47s | |
0s | |
4m 17s | |
3m 44s | |
3m 49s | |
4m 30s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
29m 33s |
Job | Run time |
---|---|
1m 44s | |
3m 46s | |
3m 50s | |
3m 47s | |
0s | |
4m 17s | |
3m 44s | |
3m 49s | |
4m 30s | |
1s | |
1s | |
1s | |
1s | |
1s | |
1s | |
29m 33s |