[sv-cc] RE: [sv-champions] Minutes from the Champion's Aug 7th conference call

Some clarifications on the minutes:

2.3 1900:

    "Email from John before the meeting:

    I noticed what I think is a small mistake.  There is a switch based
on 
    whether or not 1900 passes.  But in the "else" part (where 1900 does
not 
    pass) the text about the variables excluded from using Preponed
values 
    includes the checker variables."

This refers to Mantis 2398.

        "Shalom - p5, bottom, last sentence, "Procedural assertion
statements"
		"Procedural assertion statements, assertion statements
within 
		 a procedural block of a checker, shall be treated just
like 
		 other procedural assertion statements as described in"

		 Not worded well, is the part after the comma suppose to
be a 
		 definition of a procedural assertion statement?

               - 2398 makes a distinction between static and concurrent.
                 can there be an immediate assertion in a checker?
		 Can immediate assertions be in a checker?

       AI/sv-sc - reword this sentence at the bottom of p5. There is
also a question
	   about the ability to have an immediate assertion in a
checker. "

It was pointed out that checkers can have deferred immediate assertions
and that final procedures in checkers can have regular immediate
asssertions. It was unclear whether the phrase "procedural assertion
statements" was intended to include immediate/deferred assertions or
not.

	 "Shalom - p9, after example, 2nd bullet, 
		  "If there is a reset, it becomes low at the next tick
of 
		   the clock."
                - it wasn't quite clear what was being stated

      AI/sv-sc - check to see if this is worded properly."

Ignore. I no longer have an issue there.


2.18  Mantis 2398
     "John - p8, example, the declaration assignment needs to be added
back in. 
	  - otherwise the first time through is not right for other
times 
	    other than time 0.
          - need both the declaration assignment and not allowing the 
	    posedge clk at time 0.

	AI/sv-sc - make this change to the example"

The declaration initialization needs to be to the value 10.

Thanks,
Shalom
---------------------------------------------------------------------
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.