Re: [sv-ac] RE: Updated proposal for 3069

Two comments:
a) I like the version with the global clocking used in tandem with
generate example
b) Comments:
LRM: “It shall be an error to place a global clocking declaration within a
program block.”
3069: Global clocking may be declared in a module, an interface, a checker,
or a program. A given module, interface, checker, or program shall contain
at most one global clocking declaration. Global clocking shall not be
declared in a generate block.
[Ben] 1) *Why are we allowing the declaration in a program block?* A
program block is typically used for testbenches, and not for synthesizable
designs, which is typically where the global clocking is used. Do we want
to allow a declaration in the program block?

2) An interface is not a design unit, thus *can I interpret and refer to
the global clocking as a clocking block?* Would it be an error if I do so?
Should we say that? Consider the following example:
interface c_if (input logic clk);
     logic req, ack, a, b;
    global clocking sysclk @ (posedge clk);
endinterface

module a_module;
   logic clk;
    logic ready;
   c_if c_if1(clk);
    always @($global_clock) t; // Correct
    always @ (c_if1.sysclk) a <= b; // Correct too? Error?
endmodule

Ben Cohen

On Thu, Nov 17, 2011 at 6:00 AM, Korchemny, Dmitry <
dmitry.korchemny@intel.com> wrote:

> Hi all,****
>
> ** **
>
> Please, send me your opinion *today* whether you would like to see this
> example inside or not. If I don’t receive feedback, I will call to vote
> tomorrow on a version without this example.****
>
> ** **
>
> Thanks,****
>
> Dmitry****
>
> ** **
>
> *From:* owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] *On Behalf Of *Katz,
> Jacob
> *Sent:* Thursday, November 17, 2011 12:23
> *To:* sv-ac@eda-stds.org
> *Subject:* [sv-ac] Updated proposal for 3069****
>
> ** **
>
> I uploaded an updated proposal at
> http://www.eda-stds.org/mantis/view.php?id=3069.****
>
> Added an example of global clocking used in tandem with generate, as Ben
> requested.****
>
> ** **
>
> --------------------------------****
>
> *Jacob M. Katz* | jacob.katz@intel.com | *Work:* +972-4-865-5726 | *iNet:
> *(8)-465-5726****
>
> ** **
>
> ---------------------------------------------------------------------
> Intel Israel (74) Limited
>
> This e-mail and any attachments may contain confidential material for
> the sole use of the intended recipient(s). Any review or distribution
> by others is strictly prohibited. If you are not the intended
> recipient, please contact the sender and delete all copies.
> --
> This message has been scanned for viruses and
> dangerous content by *MailScanner* <http://www.mailscanner.info/>, and is
> believed to be clean. ****
> ---------------------------------------------------------------------
> Intel Israel (74) Limited
>
> This e-mail and any attachments may contain confidential material for
> the sole use of the intended recipient(s). Any review or distribution
> by others is strictly prohibited. If you are not the intended
> recipient, please contact the sender and delete all copies.
> --
> This message has been scanned for viruses and
> dangerous content by *MailScanner* <http://www.mailscanner.info/>, and is
> believed to be clean.
>

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.