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