RE: [SPAM] - RE: [SPAM] - RE: [sv-ac] proposal for #241 (sampling and clocking blocks) - Email found in subject - Email found in subject

Manisha,

I see. The implmentation can do then whatever is equivalent.

Thanks,
ed

  

> -----Original Message-----
> From: Kulshrestha, Manisha [mailto:Manisha_Kulshrestha@mentor.com] 
> Sent: Wednesday, April 13, 2005 5:14 PM
> To: Eduard Cerny; Bassam Tabbara; Warmke, Doug; sv-ac@eda.org
> Subject: RE: [SPAM] - RE: [SPAM] - RE: [sv-ac] proposal for 
> #241 (sampling and clocking blocks) - Email found in subject 
> - Email found in subject
> 
> Ed,
> 
> I had thought about writing it that way but that does
> not make it clear that there is not going to be double
> sampling. Since clocking block is going to do the sampling
> of the variable anyway as it can be used in other 
> places other than assertions. Now, if assertions are also
> doing the sampling then which value do they pick in
> Preponed region ? 
> 
> The way we are proposing the rewriting, it removes any 
> confusion about double sampling.
> 
> Thanks.
> Manisha  
> 
> -----Original Message-----
> From: Eduard Cerny [mailto:Eduard.Cerny@synopsys.com] 
> Sent: Wednesday, April 13, 2005 2:02 PM
> To: 'Bassam Tabbara'; Warmke, Doug; Kulshrestha, Manisha; 
> sv-ac@eda.org
> Subject: RE: [SPAM] - RE: [SPAM] - RE: [sv-ac] proposal for #241
> (sampling and clocking blocks) - Email found in subject - 
> Email found in
> subject
> 
> Hi,
> 
> Instead of indicating that sampling is done by the clocking block and
> not by the assertion, would it be simpler to say that the 
> assertion uses
> the clocking event of the clocking block to do the sampling?
> 
> ed 
> 
> > -----Original Message-----
> > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of 
> > Bassam Tabbara
> > Sent: Wednesday, April 13, 2005 12:40 PM
> > To: Warmke, Doug; Kulshrestha, Manisha; sv-ac@eda.org
> > Subject: RE: [SPAM] - RE: [SPAM] - RE: [sv-ac] proposal for
> > #241 (sampling and clocking blocks) - Email found in subject
> > - Email found in subject
> > 
> > You're right Doug, I really meant the "not clocking 
> variable" set. I 
> > think the sentence works just as well with "Variables are 
> sampled ....
> > If a variable .... is a clocking ...". 
> > 
> > Thx.
> > -Bassam.
> > 
> > --
> > Dr. Bassam Tabbara
> > Architect, R&D
> > Novas Software Inc.
> > (408) 467-7893
> > 
> > -----Original Message-----
> > From: Warmke, Doug [mailto:doug_warmke@mentor.com]
> > Sent: Wednesday, April 13, 2005 9:34 AM
> > To: Bassam Tabbara; Kulshrestha, Manisha; sv-ac@eda.org
> > Subject: [SPAM] - RE: [SPAM] - RE: [sv-ac] proposal for 
> #241 (sampling
> 
> > and clocking blocks) - Email found in subject - Email found 
> in subject
> > 
> > Bassam,
> > 
> > I'm a little reluctant to put "design variables" instead of 
> plain old 
> > "variables".  Even though it's not a common concept, it is 
> possible to
> 
> > sample and assert upon variables in testbench code, too.
> > 
> > Regards,
> > DOug
> > 
> > > -----Original Message-----
> > > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On 
> Behalf Of 
> > > Bassam Tabbara
> > > Sent: Wednesday, April 13, 2005 9:27 AM
> > > To: Kulshrestha, Manisha; sv-ac@eda.org
> > > Subject: RE: [SPAM] - RE: [sv-ac] proposal for #241 (sampling and 
> > > clocking blocks) - Email found in subject
> > > 
> > > Hi Manisha,
> > > 
> > > Yes it does. One more suggestion, may be add one more
> > sentence to say
> > > "design variables are sampled with  #1step sampling. If a
> > variable ...
> > 
> > > "
> > > SO the snippet below would change to:
> > > 
> > > 
> > > ... Design variables are sampled with #1step sampling. If a
> > variable
> > > used in an assertion is a clocking block input variable,
> > the variable
> > > must be sampled by the clocking block with #1step sampling. 
> > Any other
> > > type of sampling for the variable in the clocking block
> > shall result
> > > in an error.
> > > The assertion using the clocking block variable shall not
> > do its own
> > > sampling, but rather use the sampled value produced by 
> the clocking 
> > > block. ...
> > > 
> > > To complete the picture and be concrete.
> > > 
> > > Thx.
> > > -Bassam.
> > > 
> > > --
> > > Dr. Bassam Tabbara
> > > Architect, R&D
> > > Novas Software Inc.
> > > (408) 467-7893
> > > 
> > > -----Original Message-----
> > > From: Kulshrestha, Manisha [mailto:Manisha_Kulshrestha@mentor.com]
> > > Sent: Tuesday, April 12, 2005 3:29 PM
> > > To: Bassam Tabbara; sv-ac@eda.org
> > > Subject: [SPAM] - RE: [sv-ac] proposal for #241 (sampling
> > and clocking
> > > blocks) - Email found in subject
> > > 
> > > Hi Bassam,
> > > 
> > > Here is rewording of the same statement. 
> > > 
> > > ... If a variable used in an assertion is a clocking block input 
> > > variable, the variable must be sampled by the clocking block with 
> > > #1step sampling. Any other type of sampling for the 
> variable in the 
> > > clocking block shall result in an error.
> > > The assertion using the clocking block variable shall not
> > do its own
> > > sampling, but rather use the sampled value produced by 
> the clocking 
> > > block. ...
> > > 
> > > Please let me know if this removes the contradiction you
> > found in the
> > > previous statement.
> > > 
> > > Thanks.
> > > Manisha
> > > 
> > > -----Original Message-----
> > > From: Bassam Tabbara [mailto:Bassam@novas.com]
> > > Sent: Tuesday, April 12, 2005 2:55 PM
> > > To: Kulshrestha, Manisha; sv-ac@eda.org
> > > Subject: RE: [sv-ac] proposal for #241 (sampling and
> > clocking blocks)
> > > 
> > > Hi Manisha,
> > > 
> > > The language could use some cleanup ...  To a casual
> > reading it seems
> > > as if the following is a contradiction so some elaboration
> > is needed:
> > > 
> > > ... If a variable used in an assertion is a clocking block input 
> > > variable, the variable shall be sampled with #1step sampling.
> > > Any other
> > > type of sampling for the clocking block variable shall 
> result in an 
> > > error. The clocking block input variables shall be sampled
> > as per the
> > > clocking block and there shall not be any sampling for 
> them in the 
> > > assertion. ...
> > > 
> > > I think you mean to express the *input skew* is #1step
> > regardless of
> > > clocking block and the other point (in second seemingly
> > contradictory
> > > sentence) you mean to express the scheduling aspects ... If I 
> > > understand correctly.
> > > 
> > > Thx.
> > > -Bassam.
> > > 
> > > --
> > > Dr. Bassam Tabbara
> > > Architect, R&D
> > > Novas Software Inc.
> > > (408) 467-7893
> > > 
> > > -----Original Message-----
> > > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On 
> Behalf Of 
> > > Kulshrestha, Manisha
> > > Sent: Monday, April 11, 2005 3:00 PM
> > > To: sv-ac@eda.org
> > > Subject: [sv-ac] proposal for #241 (sampling and clocking blocks)
> > > 
> > > Hi All,
> > > 
> > > I have uploaded the modified proposal for 241.
> > > The mantis id for it is #626.
> > > This one is based on our discussion in the meeting. 
> Please send me 
> > > your comments.
> > > 
> > > Thanks.
> > > Manisha
> > > 
> > > 
> > > 
> > > 
> > > 
> > 
> > 
>