('binary' encoding is not supported, stored as-is)
('binary' encoding is not supported, stored as-is)
Begin Alliance bug report 1.4
-------------------------------------------------------------------
Posted on : 2001/11/02 17:14:38
by : thomas.rouam@asim.lip6.fr
subject : BUG Tool: pb dallocation mmoire avec syf
version : Alliance 4.0.5
-------------------------------------------------------------------
Problem description :
---------------------
pb dallocation mmoire avec syf
Lors de la synthèse d'un automate (.fsm) avec SYF, j'ai une erreur :
autalloc.110 null size alloc error, can't continue !
How to reproduce the bug :
--------------------------
Linux lajtha.lip6.fr 2.4.2-0_enseig_2 #1 Tue Jun 5 13:37:47 CEST 2001 i586 unknown
Alliance settings :
ALLIANCE_OS = Linux
ALLIANCE_TOP = /users/soft5/newlabo/alliance-4.5.0/archi/Linux
ALLIANCE_VERSION = '"4.5.0"'
DREAL_TECHNO_NAME=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/etc/cmos_7.dreal
ELP_TECHNO_NAME=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/etc/prol035.elp
GENVIEW_TECHNO_NAME=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/etc/cmos_11.genview
GRAAL_TECHNO_NAME=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/etc/cmos_12.graal
MBK_C4_LIB=./cellsC4
MBK_CATA_LIB=.:/users/soft5/newlabo/alliance-4.5.0/archi/Linux/cells/sxlib:/users/soft5/
newlabo/alliance-4.5.0/archi/Linux/cells/dp_sxlib:/users/soft5/newlabo/alliance-4.5.0/ar
chi/Linux/cells/padlib
MBK_CATAL_NAME=CATAL
MBK_IN_LO=vst
MBK_IN_PH=ap
MBK_OUT_LO=vst
MBK_OUT_PH=ap
MBK_SCALE_X=100
MBK_SPI_MODEL=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/etc/spimodel.cfg
MBK_TARGET_LIB=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/cells/sxlib
MBK_VDD=vdd
MBK_VSS=vss
MBK_WORK_LIB=.
RDS_TECHNO_NAME=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/etc/cmos_12.rds
VH_BEHSFX=vbe
VH_DLYSFX=dly
VH_MAXERR=10
VH_PATSFX=pat
XFSM_PARAM_NAME=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/etc/xfsm.par
XPAT_PARAM_NAME=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/etc/xpat.par
XSCH_PARAM_NAME=/users/soft5/newlabo/alliance-4.5.0/archi/Linux/etc/xsch.par
Pour reproduire le bug, juste un syf -a sur le fichier joint suffit. Meme résultat avec -CVF
End Alliance bug report 1.4