Answers Database
F2.1i XABEL: Internal Error 0001: assert event at line 359 in file "Z:\Lib\tsokit\TSOCELL\TSO_SIG.C"
Record #7879
Problem Title:
F2.1i XABEL: Internal Error 0001: assert event at line 359 in file
"Z:\Lib\tsokit\TSOCELL\TSO_SIG.C"
Problem Description:
Urgency: Standard
General Description:
When compiling an ABEL design, abl2edif completes all the way
to blif2net, and then issues a message similar to the following:
Executing...
blif2net bjack.bl4 -o bjack.edn -str top -inc bjack.if -idev
C:\fndtn\data\xlnxlib\xlnx_edf.rul -lib C:\fndtn\data\xlnxlib -err bjack.err
Error: The executable "blif2net" exited with error code 2.
Blif2Net Open-Abel 2 To Netlist Translator
ABEL 6.30 Copyright 1983-1996 Data I/O Corp. All Rights Reserved.
Acknowledgments:
This program is based on MISII, a UC Berkeley optimization tool.
Internal Error 0001: assert event at line 359 in file "Z:\Lib\tsokit\TSOCELL\TSO_SIG.C"
abl2edif has failed.
Solution 1:
This error has been found to occur when the following four conditions apply:
1) Compiling using ABEL 6.4 (included in Foundation 2.1)
2) The target device is a CPLD (i.e. 9500)
3) The .abl file is compiled as a macro
4) The ABEL design contains equations which include the output of another equation.
The problem has been isolated to a portion of the BLIF2NET code and is fixed in
ABEL version 7.2. ABEL 7.2 is available through WEPACK
(www.xilinx.com/sxpresso/webpack.htm).
In some cases a user may work around the problem by doing the following:
1) Change the project type to a 4ke device project.
2) Compile the ABEL macros to edif.
3) Edit the macro symbol properties to point to the .edn file.
a) Change "$FILE= <macro>.abl" to $FILE=<macro>.edn
b) Remove "$DEF=ABEL
4) Change the project type back to 9500 and continue as normal.
End of Record #7879 - Last Modified: 02/02/00 16:53 |