alliance-support '01
BUG Tool: Asimut does not work without bdd option


etienne.faure@asim.lip6.fr
Fri, 16 Nov 2001 18:41:58 +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/16 18:41:58 by : etienne.faure@asim.lip6.fr subject : BUG Tool: Asimut does not work without bdd option version : Alliance 4.5 ------------------------------------------------------------------- Problem description : --------------------- Asimut does not work without bdd option I try to simulate my newly created netlists with asimut. I use the -zd option of asimut. The simulation fails because the registers are never initialized. The pattern file begins with CK=1. If I use the -I 0 option, it works, but that is not what I want. If I change the first pattern to have CK=0, it works too. If I change nothing and just add the -bdd option, it works... The man page of asimut explains that this option is used to accelerate the simulation. How to reproduce the bug : -------------------------- I work with Linux I source the file /asim/alliance/etc/alc_env.sh And I use other variables described in the file /users/enseig/mips3/MIPS/Makefile End Alliance bug report 1.4

 



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