On 18/07/2013 17:06, Peter Maydell wrote:
On 18 July 2013 16:02, <[email protected]> wrote:
As I said in the last email, we have issues with determinism with icount.
We are wondering if determinism is really ensured with icount?
My opinion is that it *should* be deterministic but it would
be unsurprising if the determinism had got broken along the way.
Yes, the documentation say that this command can give deterministic results
that's why we asked.
Both icount and reverse execution need an instruction counter. icount use a
count-down mechanism but reverse execution need a continuous counter. For now
we have build a separate counter and we think that these two counters can be
merged. However we would like feedback about this before modifying this.
I definitely think that there should only be one counter, not two.
thanks
-- PMM
