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