Thank you Sir, We will try to fix the bug. Francois Donnet. dan@ce-serv.et.tudelft.nl wrote: > Begin Alliance bug report 1.4 > > ------------------------------------------------------------------- > > Posted on : 2001/11/12 14:41:32 > by : dan@ce.et.tudelft.nl > subject : BUG Tool: asimut the save action is not working on a structural description > version : Alliance 4.5.0 > > ------------------------------------------------------------------- > > Problem description : > --------------------- > > asimut the save action is not working on a structural description > I have worked with the Alliance VLSI CAD system for quite a while and > I did nice things with it. The development team surely deserves > congratulations for it :-) > > I think I discovered a bug and it is described in the followings: > > The "asimut" tool generates a "segmentation fault" when a save action > is requested in the stimuli file ("save;" command in a .pat file). > > The problem appears only when the VHDL description is structural, > it works fine when the description is purely behavioral. > > I studied the manual for "asimut" thoroughly and also I checked the > mailing lists for a similar problem before submiting this as a bug > report. > > How to reproduce the bug : > -------------------------- > > $ uname -a > Linux tanfana 2.2.17-14 #1 Mon Feb 5 14:57:25 EST 2001 i686 unknown > > $ ali > Alliance settings : > > ALLIANCE_OS = Linux > ALLIANCE_TOP = /home/dan/alliance/archi/Linux > ALLIANCE_VERSION = '"4.5.0"' > > DREAL_TECHNO_NAME=/home/dan/alliance/archi/Linux/etc/cmos_7.dreal > ELP_TECHNO_NAME=/home/dan/alliance/archi/Linux/etc/prol10.elp > GRAAL_TECHNO_NAME=/home/dan/alliance/archi/Linux/etc/cmos_7.graal > MBK_C4_LIB=./cellsC4 > MBK_CATA_LIB=/home/dan/alliance/archi/Linux/cells/fplib:/home/dan/alliance/archi/Linux/cells/rsa:/home/dan/alliance/archi/Linux/cells/bsg:/home/dan/alliance/archi/Linux/cells/rfg:/home/dan/alliance/archi/Linux/cells/sxlib:./mclib > 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_TARGET_LIB=/home/dan/alliance/archi/Linux/cells/sxlib > MBK_VDD=vdd > MBK_VSS=vss > MBK_WORK_LIB=. > RDS_TECHNO_NAME=/home/dan/alliance/archi/Linux/etc/cmos_8.rds > VH_BEHSFX=vbe > VH_DLYSFX=dly > VH_MAXERR=10 > VH_PATSFX=pat > XFSM_PARAM_NAME=/home/dan/alliance/archi/Linux/etc/xfsm.par > XPAT_PARAM_NAME=/home/dan/alliance/archi/Linux/etc/xpat.par > XSCH_PARAM_NAME=/home/dan/alliance/archi/Linux/etc/xsch.par > > The sources for the bug reproduction are attached. > Here are some screen dumps: > > $ asimut test_reg gen sav > > @ @@@@ @ @ @@@@@@@@@@ > @ @ @@ @@@ @ @@ @ > @@@ @@ @ @ @ @@ @ > @@@ @@@ @@@ @@ @@@ @@@ @@@@ @@ > @ @@ @@@@ @@@@ @@@ @@ @@ @@ @@ @@ > @ @@ @@@@ @@ @@ @@ @@ @@ @@ @@ > @ @@ @@@ @@ @@ @@ @@ @@ @@ @@ > @@@@@@@ @ @@ @@ @@ @@ @@ @@ @@ @@ > @ @@ @@ @@ @@ @@ @@ @@ @@ @@ @@ > @ @@ @@@ @ @@ @@ @@ @@ @@ @@@ @@ > @@@@ @@@@ @ @@@@ @@@@@@ @@@@ @@@ @@@ @@@@ @@ @@@@@@ > > A SIMUlation Tool > > Alliance CAD System 4.5.0, asimut v3.02 > Copyright (c) 1991...1999-2001, ASIM/LIP6/UPMC > E-mail support: alliance-support@asim.lip6.fr > > Paris, France, Europe, Earth, Solar system, Milky Way, ... > initializing ... > searching `test_reg` ... > compiling `test_reg` (Structural) ... > > flattening the root figure ... > > searching `pdffr_8x8x0l_cl` ... > BEH : Compiling `pdffr_8x8x0l_cl.vbe` (Behaviour) ... > making GEX ... > > searching pattern file : `gen` ... > restoring ... > > linking ... > executing ... > ###----- processing pattern 0 : 0 ps -----### > ###----- processing pattern 1 : 0 ps -----### > ###----- processing pattern 2 : 0 ps -----### > ###----- processing pattern 3 : 0 ps -----### > ###----- processing pattern 4 : 0 ps -----### > Segmentation fault > > The "test_reg.vst" contains an instantiation of the > "pdffr_8x8x0l_cl" register as a component. The input pattern file > "gen.pat" contains some stimuli and a "save;" command. As an outcome > of the simulation process the result file "sav.pat" is generated > correctly, but the state of the description at the end of the > simulation of the last pattern is lost because of the "segmentation > fault" problem (the size of "gen.sav" file is 0). > > To diagnose the problem I wrote the same piece of hardware at the > behavioral level (actually I cut&paste the description from the > "pdffr_8x8x0l.vbe") and after issuing: > > $ asimut -b test_reg_beh gen sav > > everything went normally. > > Can this bug be fixed somehow? > > Thank you in advance and I hope to hear from you soon. > > Best regards, > Dan. > > ************************************************ > * * > * Dan CRISU * > * PhD Student * > * * > * Computer Engineering (CE) Group * > * Department of Electrical Engineering * > * Delft University of Technology * > * Mekelweg 4, 2628 CD, Delft * > * The Netherlands * > * * > * Fax: +31 (0)15 2784898 * > * Work: +31 (0)15 2783644 * > * E-mail: dan@ce.et.tudelft.nl * > * Homepage: http://ce.et.tudelft.nl/~dan/ * > * * > ************************************************ > > End Alliance bug report 1.4 > > ------------------------------------------------------------------------ > Name: asimut_bug.tgz > asimut_bug.tgz Type: Zip Compressed Data (application/x-zip-compressed) > Encoding: base64