Hi Ed: I think tha what you describe will achieve consistency between 1. $sampled returns the preponed value of its argument in the current time slot (including the time 0 slot). and 2. What the LRM currently says about preponed values in the time 0 slot. Hillel has indicated that there are still missing capabilities, but I'm not sure that these should be addressed by changing the definition of $sampled. J.H. > X-MimeOLE: Produced By Microsoft Exchange V6.5 > Content-class: urn:content-classes:message > Date: Thu, 25 Jan 2007 06:44:39 -0800 > Thread-Topic: [sv-ac] reminder to vote on mantis 1550 > Thread-Index: AcdAIjfrqD0yBNyUSJKs6kNGFbt2agAZnDewAAGZvdA= > From: "Eduard Cerny" <Eduard.Cerny@synopsys.com> > X-OriginalArrivalTime: 25 Jan 2007 14:44:40.0972 (UTC) FILETIME=[58538CC0:01C7408F] > > Hi, would it be enough to change the text so that it is the value > assigned in the declaration of the variable or in the absence the > default value of type? I view the assigned values in declarations and > the default values as the values that the variable has from -oo till > 0^-. > > ed=20 > >> -----Original Message----- >> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On=20 >> Behalf Of Miller Hillel-R53776 >> Sent: Thursday, January 25, 2007 9:24 AM >> To: Havlicek John-r8aaau; sv-ac@eda-stds.org >> Subject: RE: [sv-ac] reminder to vote on mantis 1550 >>=20 >> John, >>=20 >> I am not sure we should make such an inconsistency it sounds=20 >> troubling. >>=20 >> However, the reason why static variable declarartion=20 >> assignments cannot >> be used, is that it cannot be used by an outer module reference. If I >> want to influence the initial value of a $ function that is=20 >> dependent on >> a module's reg, how would this be done. Would I need to=20 >> rewrite the code >> with the declaration assignment? >>=20 >> Maybe we need an additional construct for initializing the $sampled >> value of a variable at the same time as assignment declaration. >>=20 >> Thanks >>=20 >>=20 >> =20 >>=20 >>=20 >> Hillel Miller> >>=20 >>=20 -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu Jan 25 10:40:15 2007
This archive was generated by hypermail 2.1.8 : Thu Jan 25 2007 - 10:40:33 PST