Jim Lewis wrote: > All, >> From: >> Object stability can be achieved as long as object and thread creation >> and random number generation are done in the same order as before >> To: >> Object stability shall be preserved when object and thread creation >> and random number generation are done in the same order as before >> > > Not having read the text preceding this so it may already be there, > but these seem to be missing a requirement on what is > preserving the order of creation - code or tool. Both. Given small "trailing" design perturbations, the tool is required to preserve stability. The user has the responsibility for not disturbing the "leading" design components or behavior. This is implied by the full discussion in 18.14.1. > It would seem to need to be: > Object stability shall be preserved for code that creates objects, > threads, and random numbers in the same order. > > However, this does not address whether stability is maintained when the > code creates additional objects, thread, or random numbers after > the original objects. Is it? It is. The sentence immediately after the one that I quoted is: In order to maintain random number stability, new objects, threads, and random numbers can be created after existing objects are created. The overall stability requirements have been given a fair amount of thought and have been made relatively robust. "bind" for example, cannot perturb object stability which is critically important. We should take any further discussion into just sv-ec since the general rules aren't open for further change in this PAR unless there are ballot issues and we're getting beyond the immediate issue of the IEEE's requested editorial change that I was concerned about. Gord. > > Cheers, > Jim Lewis > SynthWorks _VHDL_ Training :) > > -- -------------------------------------------------------------------- Gordon Vreugdenhil 503-685-0808 Model Technology (Mentor Graphics) gordonv@model.com -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Dec 4 14:18:45 2008
This archive was generated by hypermail 2.1.8 : Thu Dec 04 2008 - 14:18:55 PST