('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