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