[sv-ec] RE: [sv-ac] call to vote on 1648

John,

I don't thinks it is reasonable for the AC to set a deadline for the
other committees when the AC has an extra 2+ months in their schedule,
and debating this will use up the EC's time to meet their deadline.
Plus, I don't believe that 1648 is holding up any other work in the AC.

Setting a default disable at the module level is not something that can
be done in isolation. If the statement was something more like "default
disable property" then you'd have a better chance of keeping specific to
assertions and later opening up to other features that use disables. The
way it is now would not be backward compatible if "default disable" only
applied to assertions now, and later we wanted it to disable other
things.

There's just too many enhancements coming out of the AC for me to keep
track of, and unfortunately for the AC, this is one that I happened to
catch and will still likely object at the champions level until after
the EC has had a chance to study it.

Dave




> -----Original Message-----
> From: John Havlicek [mailto:john.havlicek@freescale.com]
> Sent: Sunday, November 04, 2007 8:38 AM
> To: Rich, Dave
> Cc: john.havlicek@freescale.com; sv-ac@eda.org
> Subject: Re: [sv-ac] call to vote on 1648
> 
> Hi Dave:
> 
> On 2007-10-04, P1800 WG set a deadline of 2007-10-24 for the other
> SV-* committees to give feedback to SV-AC on what they wanted to
> do with 1648.
> 
> I meant there was no delaying feedback on 1648 from the other
> committees submitted by that deadline.
> 
> Remember that if you want to add semantics to "default disable"
> in the future, you will be able to add a syntactic variation
> (an option, e.g.).
> 
> If there is semantics you want to add for the plain "default disable",
> please try to crystallize the ideas into a sketch of the technical
> substance as soon as possible.
> 
> If you are willing to work with us on it during the extension period,
> then you could even add a mantis item for this under SV-AC and we
> can put it on our list.
> 
> J.H.
> 
> > X-MimeOLE: Produced By Microsoft Exchange V6.5
> > Content-class: urn:content-classes:message
> > Date: Sat, 3 Nov 2007 14:03:56 -0700
> > X-MS-Has-Attach:
> > X-MS-TNEF-Correlator:
> > Thread-Topic: [sv-ac] call to vote on 1648
> > Thread-Index: AcgaTLkbMm62pNfaTiGIkLROnuJcugEEAzZw
> > From: "Rich, Dave" <Dave_Rich@mentor.com>
> > X-OriginalArrivalTime: 03 Nov 2007 21:03:58.0620 (UTC)
> FILETIME=[0D6E8DC0:01C81E5D]
> >
> > That's not true.
> >
> > Since the SV-AC has an extra 2 months on their deadline, we decided
to
> > delay our feedback to the AC until after our deadline.
> >
> > Dave
> >
> > > -----Original Message-----
> > > From: owner-sv-ac@server.eda.org
[mailto:owner-sv-ac@server.eda.org]
> > On
> > > Behalf Of John Havlicek
> > > Sent: Monday, October 29, 2007 9:55 AM
> > > To: sv-ac@server.eda.org
> > > Subject: [sv-ac] call to vote on 1648
> > >=20
> > > Hi Folks:
> > >=20
> > > There was no delaying feedback on 1648 from the other
> > > committees, so this is the call to vote on the revised
> > > proposal.
> > >=20
> > > The document on Mantis is
> > >=20
> > >    1648_default_disable_071001_ec_bt.pdf
> > >=20
> > > Please vote if you are eligible.  See the details below.
> > >=20
> > > J.H.
> > >=20
> > >
> >
------------------------------------------------------------------------
> > --
> > > --------
> > > Ballot on Mantis 1648
> > >=20
> > > - Called on 2007-10-29, final ballots due by 2007-11-05 T
23:59-08:00.
> > >=20
> > >  v[xxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
> > >  v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)
> > >  n[------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani
> > (Synopsys)
> > >  v[xxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
> > >  t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
(Freescale -
> > > Chair)
> > >  v[xxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny
(Intel -
> > Co-
> > > Chair)
> > >  v[xxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha
> > (Mentor
> > > Graphics)
> > >  n[--------------------xxxxx-------x-xx-x-] Jiang Long (Mentor
> > Graphics)
> > >  n[------------x--xxx.....................] Joseph Lu (Altera)
> > >  v[xxxxxxxxx..............................] Johan Martensson
(Jasper)
> > >  n[-----------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
(Freescale)
> > >  v[-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
> > >  v[-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
> > >  n[----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor
> > Graphics)
> > >  v[xxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
(Synopsys)
> > >  v[xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
> > > Microsystems)
> > >    |--------------------------------------- attendance on
2007-10-23
> > >  |----------------------------------------- voting eligibility for
> > this
> > > ballot
> > > |------------------------------------------ email ballots received
> > >=20
> > >         Legend:
> > >                 x =3D attended
> > >                 - =3D missed
> > >                 r =3D represented
> > >                 . =3D not yet a member
> > >                 v =3D valid voter (2 out of last 3 or 3/4 overall)
> > >                 n =3D not a valid voter
> > >                 t =3D chair eligible to vote only to make or break
a =
> > tie
> > >=20
> > >=20
> > > --
> > > 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.