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
> > 
> > 
> > 
> > 
> > 
> 
>