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.