RE: [sv-ac] call to vote on 2089

Hi,

I vote 'no' as I see the following issues:

1. I think the following statement (page 2) should be re-phrased.I
assume the intention is to say that that checker action blocks may
contain any code which is normally allowed in action blocks and final
blocks may contain any code which is normally allowed in final blocks.
By combining the two together, it gives the impression that final blocks
may contain the code which is normally allowed in action blocks or final
procedures. Which is incorrect. 

"Checker action blocks or final procedures shall not write into free
variables, but they may contain any other code which is normally allowed
in action blocks or final procedures in modules."

2. I do not understand allowing assignments to formal arguments in final
blocks in a checker. Since these final blocks run at the end and their
order is non-deterministic, what will be the use of this ? Since the
formal may be a checker variable of an upper level checker, the
following contradicts with a statement in 16.18.4 where it says that
writing to a checker variable is not allowed in final procedure:
"However declarations of other variable types, which are not allowed
within a checker body are allowed, and code within a final procedure is
allowed to read from (but not write to) checker variables declared in
the checker body which contains the procedure."

"Checkers may assign values to their formal arguments, treating them as
output arguments, though no explicit
notation of this is required in the checker declaration statement. Each
formal argument used in this way may
be assigned a value either in a checker body, or in checker action
blocks, or in a final procedure. If a formal
argument is written in the checker body, its corresponding actual
argument shall be a checker variable or a
formal argument in another checker. If a formal argument is assigned a
value in a checker, it shall be
untyped. The output actual argument shall have a static lifetime."

Thanks.
Manisha

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Wednesday, January 16, 2008 7:26 AM
To: sv-ac@server.eda.org
Subject: [sv-ac] call to vote on 2089

Hi Folks:

This is the call to vote on the revised proposal for Mantis 2089.

The document on Mantis is 

   2089_finalInChecker_20080115.pdf

Please vote if you are eligible.  See the details below.

J.H.

------------------------------------------------------------------------
----------
Ballot on Mantis 2089

- Called on 2008-01-15, final ballots due by 2008-01-21 T 23:59-08:00.

 v[xxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)
 v[xxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)     
 n[----------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani
(Synopsys)
 v[xxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
(Freescale)
 t[xxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
(Freescale - Chair)
 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny
(Intel - Co-Chair)
 v[xxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha
Kulshrestha (Mentor Graphics)
 n[------------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor
Graphics)
 n[---------x------------x--xxx.....................] Joseph Lu (Altera)
 v[xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson
(Jasper)
 n[---------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
(Freescale)
 v[xxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
(Cadence)
 v[xxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman
(Intel)
 n[-------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor
Graphics)
 v[xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
(Synopsys)
 v[xxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
Microsystems)
   |------------------------------------------------- attendance on
2008-01-15
 |--------------------------------------------------- voting eligibility
for this ballot
|---------------------------------------------------- email ballots
received

        Legend:
                x = attended
                - = missed
                r = represented
                . = not yet a member
                v = valid voter (2 out of last 3 or 3/4 overall)
                n = not a valid voter
                t = chair eligible to vote only to make or break a tie

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


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