AR# 3186

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.
AR# 3186
Date 10/06/2008
Status Archive
Type General Article