alliance-support '01
BUG Tool: asimut the save action is not working on a structural description


dan@ce-serv.et.tudelft.nl
Mon, 12 Nov 2001 14:41:33 +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/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

 



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