On 18 July 2013 16:09, Frederic Konrad <fred.kon...@greensocs.com> wrote: > On 18/07/2013 17:06, Peter Maydell wrote: >> >> On 18 July 2013 16:02, <fred.kon...@greensocs.com> 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.
As part of working through this it would be great if you could write some developer documentation (in docs/ or possibly as a comment somewhere sensible) that summarises how icount works, what you need to do in a target-* to support it, etc. [I suspect that by the time you're done you're going to be the expert on icount...] thanks -- PMM
