After Ilja supported reusing SA and EMG results one of the most time consuming and redundant operation is processing the same models for various verification objects and rule specifications. Moreover several file transformations, e.g. preprocessing of CIF output files, should be avoided.
#1 Updated by Evgeny Novikov 6 months ago
- Target version set to 3.0
- Priority changed from High to Urgent
- Assignee changed from Ilja Zakharov to Evgeny Novikov
Weaver became a real bottleneck. It does too much I/O work most of which is redundant. For instance, its wall time exceeds its CPU time in ~6 times!