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

Hi John,

I reread your proposal again and found the following inconsistency: it
is illegal to initialize variables in sequences matching an empty word

sequence s;
    bit v = 0;
    a[*0:$] ##1 v[*0:1];
endsequence

but it is legal to initialize variables in properties matching an empty
word:

property  s;
    bit v = 0;
    a[*0:$] ##1 v[*0:1];
endproperty

Though in the latter case we guarantee that it won't be used as a
sequence, the distinction is vague. Also it is desirable to have the
same rewriting rules for all properties.

Is it correct that the properties satisfied by empty words are exactly
the sequences satisfied by empty words (with optional disable iff) and
the properties having the form disable iff (1) P? If so, why not to
disallow them as well?

Another question:

How can one decide whether the property 'disable iff (b) a' is satisfied
by an empty word? If b has a value of 1 it is, otherwise, it is not.

What do you think?

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Tuesday, February 27, 2007 8:32 PM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] call to vote on 1668

All:

Since our last meeting there has been no further discussion
or suggestion of changes to 1668.  I am therefore calling for
an email vote on this item.  See below for the details and
eligibility.

Please remember that 80% participation is expected in order
to retain voting eligibility.

Best regards,

John H.

---------------------------------------------------------------------

Ballot on Mantis 1668 

- Called on 2007-02-27, final ballots due by 23:59 PST on 2007-03-06.


 v[xxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale)
 v[xxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)	
 n[-----x-x-xxx-x---x] Surrendra Dudani (Synopsys)
 v[xxx-xxx-xxx-------] Yaniv Fais (Freescale)
 t[xxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
 v[rxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
 n[x----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
 v[xxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
 v[-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
 v[xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
 v[-xxxx-xx----------] Tej Singh (Mentor Graphics)
 v[xxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
 v[xxx...............] Tom Thatcher (Sun Microsystems)
   |------------------ attendance on 2007-02-20
 |-------------------- 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)
		n = not 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.