ABEL: BLIF2OPT hangs or gives virtual memory overflow error
Keywords: foundation, xabel, blif2opt, virtual, memory, hang
BLIF2OPT either hangs or runs out of virtual memory
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.