We have detected your current browser version is not the latest one. Xilinx.com uses the latest web technologies to bring you the best online experience possible. Please upgrade to a Xilinx.com supported browser:Chrome, Firefox, Internet Explorer 11, Safari. Thank you!

AR# 3186

ABEL: BLIF2OPT hangs or gives virtual memory overflow error


Keywords: foundation, xabel, blif2opt, virtual, memory, hang

Urgency: standard

General Description:

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.
AR# 3186
Date Created 08/31/2007
Last Updated 10/06/2008
Status Archive
Type General Article