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

Hi, Manisha.

if, case, and for-loop statements all exist both in procedural code and
in generate blocks, but they are not described in the same place. This
is the same idea.

Shalom 

> -----Original Message-----
> From: Kulshrestha, Manisha [mailto:Manisha_Kulshrestha@mentor.com] 
> Sent: Monday, February 25, 2008 9:38 AM
> To: Bresticker, Shalom; john.havlicek@freescale.com; 
> sv-ac@server.eda.org
> Cc: Bustan, Doron; eduard.cerny@synopsys.com; 
> yaniv.fais@freescale.com; Korchemny, Dmitry; 
> johan.martensson@jasper-da.com; piper@cadence.com; Seligman, 
> Erik; bassam.tabbara@synopsys.com; thomas.thatcher@sun.com
> Subject: RE: [sv-ac] RE: call to vote on 1769
> 
> Hi,
> 
> As per 1641:
> 
> These tasks already appear as 'severity system tasks' in 
> 19.1. In the description of these tasks, we show two 
> possibilities of their usage: 1.
> In assertions and 2. In regular code.
> 
> Now this proposal is introducing same tasks as elaboration time tasks.
> Since these tasks are already there in the LRM, I think this 
> proposal should not create a new category of tasks. The new 
> category was fine when the names were different. 
> 
> Just like 1641, this proposal should show another usage of 
> these tasks in 19.9 and also enhance the syntax for elab time usage.
> 
> Thanks.
> Manisha
> 
> -----Original Message-----
> From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com]
> Sent: Sunday, February 24, 2008 12:36 AM
> To: Kulshrestha, Manisha; john.havlicek@freescale.com; 
> sv-ac@server.eda.org
> Cc: Bustan, Doron; eduard.cerny@synopsys.com; 
> yaniv.fais@freescale.com; Korchemny, Dmitry; 
> johan.martensson@jasper-da.com; piper@cadence.com; Seligman, 
> Erik; bassam.tabbara@synopsys.com; thomas.thatcher@sun.com
> Subject: RE: [sv-ac] RE: call to vote on 1769
> 
> Could you be more specific?
> 
> Thanks,
> Shalom 
> 
> > -----Original Message-----
> > From: owner-sv-ac@server.eda.org
> > [mailto:owner-sv-ac@server.eda.org] On Behalf Of 
> Kulshrestha, Manisha
> > Sent: Saturday, February 23, 2008 12:42 PM
> > To: john.havlicek@freescale.com; sv-ac@server.eda.org
> > Cc: Bustan, Doron; eduard.cerny@synopsys.com; 
> > yaniv.fais@freescale.com; Korchemny, Dmitry; 
> > johan.martensson@jasper-da.com; piper@cadence.com; Seligman, Erik; 
> > bassam.tabbara@synopsys.com; thomas.thatcher@sun.com
> > Subject: [sv-ac] RE: call to vote on 1769
> > 
> > Hi,
> > 
> > I vote 'no' as this proposal needs to align with 1641 (which has 
> > already made these system tasks usable in regular code).
> > Now that 1769 uses the same names for the tasks, it needs to change 
> > accordingly.
> > 
> > Thanks.
> > Manisha
> > 
> > -----Original Message-----
> > From: John Havlicek [mailto:john.havlicek@freescale.com]
> > Sent: Thursday, February 21, 2008 10:49 PM
> > To: sv-ac@eda.org
> > Cc: doron.bustan@intel.com; eduard.cerny@synopsys.com; 
> > yaniv.fais@freescale.com; john.havlicek@freescale.com; 
> > dmitry.korchemny@intel.com; Kulshrestha, Manisha; 
> > johan.martensson@jasper-da.com; piper@cadence.com; 
> > erik.seligman@intel.com; bassam.tabbara@synopsys.com; 
> > thomas.thatcher@sun.com
> > Subject: call to vote on 1769
> > 
> > Hi Folks:
> > 
> > This is the call to vote on the revised proposal for 1769.
> > The document on Mantis is
> > 
> >    1769_ElaborationTimeUserAssert.080221.pdf
> > 
> > See details below.
> > 
> > J.H.
> > 
> > --------------------------------------------------------------
> > ----------
> > ----------
> > Ballot on Mantis 1769
> > 
> > - Called on 2008-02-21, final ballots due by 2008-02-24 T 
> 23:59-08:00.
> > - Please ensure that John Havlicek receives your ballot.
> > 
> >  v[x-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx]
> > Doron Bustan
> > (Intel)
> >  v[xxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x]
> > Eduard Cerny
> > (Synopsys)     
> >  n[---------------------------x-xxx---------x-x-xxx-x---x]
> > Surrendra Dudani (Synopsys)
> > v[xxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
> > (Freescale)
> >  t[xxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx]
> > John Havlicek (Freescale - Chair)
> > v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx]
> > Dmitry Korchemny (Intel - Co-Chair)
> > v[-xxxxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx]
> > Manisha Kulshrestha (Mentor Graphics) 
> > n[--x-x-------------------------------------------------] Ah-Lam Lee
> > (Qualcomm)
> >  n[-----------------------------------xxxxx-------x-xx-x-]
> > Jiang Long (Mentor Graphics)
> > n[--------------x------------x--xxx.....................] Joseph Lu
> > (Altera)
> >  v[x-x--xxxxxxxxxxxxxxxxxxx..............................]
> > Johan Martensson (Jasper)
> > n[--------------------------------x--x-xx--xx-xxxxxxx-x-]
> > Hillel Miller
> > (Freescale)
> >  v[xxxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] 
> Lisa Piper
> > (Cadence)
> >  v[-xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................]
> > Erik Seligman
> > (Intel)
> >  n[------------x-x----x--------xxxx-----xxxx-xx----------]
> > Tej Singh (Mentor Graphics)
> > v[-xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx]
> > Bassam Tabbara (Synopsys)
> > v[xxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] 
> Tom Thatcher 
> > (Sun Microsystems)
> >    |------------------------------------------------------
> > attendance on
> > 2008-02-19
> >  |--------------------------------------------------------
> > voting eligibility for this ballot
> > |---------------------------------------------------------
> > e-mail votes
> > 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.
> 
> 
---------------------------------------------------------------------
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.