[sv-ac] draft D7 review - update

Hello,

 

1)    While reviewing 16.1-16.4, I tried to see how
deferred_immediate_assertion_item is used. I found an issue in A.6.10
where the definition of

deferred_immediate_assertion_item ::= [ block_identifier : ]
deferred_immediate_assertion_statement

            is duplicated. 
Added bug note to mantis #0001900

 

2)    Syntax 16-1, it has 

   cover #0 ( expression ) action_block

            I think that even though 2005 states that, it is incorrect
and should be 

            cover #0 ( expression ) statement_or_null

            same as for simple_immediate_cover_statement. There should
be no else statement, correct?

Created new Mantis entry # 0002484

 

3)    On page 308 top, it says:

        There are two types of immediate assertions, simple immediate
assertions and deferred immediate assertions.

            But then at the bottom of the page it has:

            There are three types of immediate assertions: immediate
assert, immediate assume, and immediate cover.

            Probably the 2nd one should read

            There are three types of
simple_immediate_assertion_statement: immediate assert, immediate
assume, and immediate cover.

            But even then it may not be clear since the term immediate
assert is simple_immediate_assert_statement.     
Created a new Mantis entrey # 0002485

4)    On page 309,  

                The execution of pass and fail statements can be
controlled by using assertion action control tasks. The

        assertion action control tasks are described in 20.12.

      appears twice. I think that the 1st occurrence should be deleted.
Sent an email to Stu.

 

5)    page 309 bottom, 

      assert_f: assert(f) $display("%m passed"); else $display("%m
failed");

            should be

            assert_f : assert(f) $info("passed"); else $error("failed");

Sent an email to Stu.

 

6)    on page 310, before 16.4, there are 2 references to Mantis 1641,
however I fail to see what it is referring to in the Mantis item.
No change required

7)    Page 310, Syntax 16-2: same issue as (2) above.
Created new Mantis entry # 0002484

 

Best regards,

ed

 


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