alliance-support '01
BUG Tool: pb with syf


thomas.rouam@asim.lip6.fr
Mon, 5 Nov 2001 17:01:50 +0100 (MET)

 ('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/05 17:01:49 by : thomas.rouam@asim.lip6.fr subject : BUG Tool: pb with syf version : Alliance 4.5.0 ------------------------------------------------------------------- Problem description : --------------------- pb with syf I've written a fsm and i used syf to synthetize it. It seems to work well. But when i want to compile it with Asimut, it says that there is a parse error. Ca, you please help me... Best regards... Thomas ROUAM (Dess Cisan) 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 In order to reproduce the bug, just apply : syf -a -CVE hada_seq_mealy.fsm The result is a hada_seq_mealya.vbe Then do a : asimut -b -c hada_seq_mealya End Alliance bug report 1.4

 



Alliance Web Site © 1997, 2002 ASIM/LIP6/UPMC, page maintained by Czo [Olivier Sirol] , last updated on 05 November 2001.