Re: BTF B08 - Implicit sensitivity

From: Adam Krolnik (adamk@cyrix.com)
Date: Thu Sep 03 1998 - 00:51:24 PDT


Good afternoon Stefen:

<p>What I was hoping for was the list of statement types illegal
within a (*) construct instead of listing them in the description
paragraph.

E.g.

    No procedural_timing_control_statements
    No wait statements
    No blocking assignments with intra assignment delays.
    No calls to tasks declared outside local module.

 Also, these sentences are ambiguous:

"...explicitly placing all the nets and registers read by the
triggered statement into the event_expression list."
^^^^^^^^^^^^^^^^^^^

The BNF states:

always_construct ::= always statement
statement ::=
      ...
   | procedural_timing_control ..
procedural_timing_control ::= delay_or_event_control statement_or_null

event_control ::=
   ...
 | @ ( event_expression )

What is the triggered statement? Also, what does stuff mean for this example?
Is it illegal? (If so what about the example without "Second Part")

always begin
  ...
  @(*)
  <more statements>

  @(*) // Second part.
  <more statements>
end



This archive was generated by hypermail 2.1.4 : Mon Jul 08 2002 - 12:52:59 PDT and
sponsored by Boyd Technology, Inc.