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.
Was this Answer Record helpful?
AR# 3186
Date
10/06/2008
Status
Archive
Type
General Article
By using this website, I accept the use of cookies.
Learn more