Subject: [sv-bc] Fwd: Re: Fwd: Questions about SystemVerilog syntax for interfaces
From: Karen Pieper (Karen.Pieper@synopsys.com)
Date: Wed Feb 26 2003 - 19:05:21 PST
>Here is a proposal for an issue found by a user within synopsys.
K
>Karen,
>
>An interface item can be an external declaration
>
><external_declaration> ::= 'extern' <named_fn_proto> ';'
> | 'extern' ['forkjoin'] <named_task_proto> ';'
>
>I think this is missing from the BNF, and should be added.
>
>
>Peter.
>
>At 17:50 26/02/2003 -0800, you wrote:
>>I haven't seen them. Would you like me to forward them to SV-BC? Do we
>>have answers for them?
>>
>>Thanks,
>>
>>K
>>
>>At 04:27 PM 2/12/03 +0000, you wrote:
>>>Hi Karen,
>>>
>>>Have these issues been brought up at the BNF review?
>>>
>>>Peter.
>>>
>>>>
>>>>Hi Peter,
This user is trying to understand the 3.0 spec. His issues:
>>>>Extern Tasks
>>>>------------------------
>>>>Expecially puzzling in the use of "extern" within an interface
>>>>declaration.
>>>>What I would like to do is something like this
>>>>
>>>>interface some_SC_if;
>>>> extern task read( output int val ); // just prototype. No task
>>>> body defined
>>>>endinterface
>>>>
>>>>(1) The spec says on page 185, section 18.5 Tasks and function in
>>>>interfaces:
>>>>
>>>> "... If the tasks or functions are defined in a module, using a
>>>> hierarchical name, they must also be declared as
>>>> extern in the interface, or as export in a modport."
>>>>
>>>>However searching for "extern" reveals that it is a reserved keyword
>>>>but nowhere used in the formal syntax
>>>>(annex A). It is only used in conjunction with "extern jorkjoin" within
>>>>examples of section 18.
>>>>
>>>>
>>>>Formal Syntax of Interfaces
>>>>-----------------------------
>>>>I can find the definition of rule 'task_prototype' in A.2.7 page 194,
>>>>but I can not find where this rule is used. Searching
>>>>the PDF doc does not find any usage of the rule (the definition is
>>>>repeated in section 10.2 but that doesn't matter).
>>>>
>>>>
>>>>Can you shed some light what the correct syntax is?
>>>>
>>>>Thanks,
>>>>
>>>>Ulli
>>>>
This archive was generated by hypermail 2b28 : Wed Feb 26 2003 - 19:05:55 PST