aigsim latch behavior

[arminbiere]

aigsim latch behavior

[5nizza]

Agreed; here is the result of aigtodot:

(I am having another issue with aigsim, no small example yet.)

[5nizza]

The problem may be caused by the order in which the new-value-computation and printing is done.
Currently, aigsim works as follows:

1. print current values of latches
2. compute new values of ANDs
3. compute new values of latches
4. print the values of inputs, outputs, latches

This seems to cause the outputs to use the newly computed latch values.

Maybe it should instead:

1. print current values of latches
2. compute new values of ANDs and print values of inputs and outputs
3. compute new values of latches
4. print new values of latches

A possible fix file is attached -- but it probably doesn't work for options like vcd into which I didn't look at.
possible_patch.txt