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

Hi,

I vote 'yes' with the following friendly amendments:

I looked at the attached file and it still has old wording like: If
$elab_fatal is executed then after outputting the message the run-time
code generation is immediately aborted. This also means that any
remaining elaboration action task calls may not be executed.

I think the run time code generation refers to a specific implementation
so it should be rephrased as: If $elab_fatal is executed then after
outputting the message the elaboration fails immediately. This also
means that any remaining elaboration action task calls may not be
executed.

Also the following should be rephrased:

If $elab_error is executed then the message is issued and the
elaboration continues. However, no
simulation run-time code is generated.

As

If $elab_error is executed then the message is issued and the
elaboration continues however, a
simulatable model does not result.

Thanks.
Manisha

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Eduard Cerny
Sent: Monday, January 21, 2008 8:56 PM
To: Korchemny, Dmitry; john.havlicek@freescale.com; sv-ac@server.eda.org
Subject: RE: [sv-ac] call to vote on 1769

Hello Dmitry, 

I have implemented your proposed changes and uploaded the file. Also
attached here.

Best regards,
ed


> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of 
> Korchemny, Dmitry
> Sent: Monday, January 21, 2008 3:44 AM
> To: john.havlicek@freescale.com; sv-ac@eda.org
> Subject: RE: [sv-ac] call to vote on 1769
> 
> I vote yes on 1769 with the following friendly amendments:
> 
> * Page 1. "The tasks must be called outside procedural code ..." -> 
> "...
> shall be called ..."?
> 
> * Page 1. 
> "If $elab_fatal is executed then after outputting the message the 
> run-time code generation is immediately aborted. This also means that 
> any remaining elaboration action task calls may not be executed.
> If $elab_error is executed then the message is issued and compilation 
> continues. However, no simulation run-time code is generated.
> The other two tasks $elab_warning and $elab_info only output their 
> text message but do not affect the compilation and run-time code 
> generation."
> 
> The terms defined in the LRM are "elaboration" and "simulation". Also 
> from 3.10 it looks like that the "compilation" means the processing 
> before the elaboration.
> 
> I would rephrase these statements as:
> "If $elab_fatal is executed then after outputting the message the 
> elaboration is immediately aborted. This also means that any remaining

> elaboration action task calls may not be executed.
> If $elab_error is executed then the message is issued and the 
> elaboration continues. However, no simulation shall be executed.
> The other two tasks $elab_warning and $elab_info only output their 
> text message but do not affect the rest of the elaboration and the 
> simulation."
> 
> Note also the spacing between these three paragraphs.
> 
> * Page 2. First example:
> 
> Should be if ((N <= 0) || (N > 8))
> 
> Thanks,
> Dmitry
> 
> -----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 4:11 AM
> To: sv-ac@server.eda.org
> Subject: [sv-ac] call to vote on 1769
> 
> Hi Folks:
> 
> This is the call to vote on the proposal for Mantis 1769.
> 
> The document on Mantis is
> 
>    ElaborationTimeUserAssert1769.071204.pdf
> 
> Please vote if you are eligible.  See details below.
> 
> J.H.
> 
> --------------------------------------------------------------
> ----------
> ----------
> Ballot on Mantis 1769
> 
> - 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.
> 
> ---------------------------------------------------------------------
> 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.
> 
> 
> 

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