Answers Database

Foundation F1.3 XABEL: BLIF2OPT hangs or gives virtual memory overflow error


Record #3186

Problem Title:
Foundation F1.3 XABEL: BLIF2OPT hangs or gives virtual memory overflow
error



Problem Description:
Keywords: foundation, f1.3, xabel, blif2opt, virtual, memory, hang

Urgency: standard

General Description:

BLIF2OPT either hangs or runs out of virtual memory


Solution 1:

This is caused by having large equations in the design. The
only known work-around is to decompose the large equations
(typically with comparators) manually.



End of Record #3186