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

1. I find it confusing that a "final procedure" is in a checker body but
is not part of the checker body. I'm not sure why this distinction is
needed. It adds unnecessary confusion.

 

2.   "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."

 

I am wondering if it would be better to say the following so that there
is no question whether things like action block controls apply:

 

Checker action blocks are almost the same as non-checker action blocks.
They may contain any code that is allowed in an action block outside of
a checker, have the same default characteristics, and are impacted by
the same action block controls.  An additional restriction is that a
checker action block shall not write into free variables.  Similarly, a
final procedure in a checker follows all the same rules and regulations
as a final procedure in a module, with the additional restriction that
it shall not write info free variables. 

 

Lisa

 

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Tuesday, January 15, 2008 8:56 PM
To: sv-ac@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.