RE: [sv-ac] draft D7 review - update

Hi Ed,

 

Could you document in Mantis the notes you sent to Stu?

 

Thanks,

Dmitry

 

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Eduard Cerny
Sent: Thursday, September 25, 2008 9:22 PM
To: sv-ac@server.eda-stds.org
Subject: [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 <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, and is
believed to be clean.