ABEL: BLIF2OPT hangs or gives virtual memory overflow error
Description
Keywords: foundation, xabel, blif2opt, virtual, memory, hang
Urgency: standard
General Description:
BLIF2OPT either hangs or runs out of virtual memory
Solution
This is caused by having large equations in the design. The only known work-around is to decompose the large equations (typically with comparators). Add the directive: @carry 4; after the equation statement. Alternatively, equations can be broken up manually.