Re: [sv-ac] call to vote on Mantis 1648

Hi,

John noted me that in my previous vote on this mantis I sent the mail to 
him only (since I pressed "reply" instead of "replay all" ...)

so I'm clarifying to all I voted no on the account of the if-else rules 
not kept when translating

always @(posedge clk or posedge rst)
if (rst)
...
else begin
a8 : assert property ( a |=> b);
...
end

to "@(posedge clk) !rst |-> (a |=> b) "
in the case where rst==1'bx.

Regards,
Yaniv


John Havlicek wrote:
> All:
>
> This is the call to vote on the proposal for Mantis 1648.
>
> As discussed in our meeting, this vote runs longer than 
> the usual week because we have so many e-mail ballots 
> running concurrently.
>
> Please vote if you are eligible.  See the details below.
>
> J.H.
>
> Ballot on Mantis 1648
>
> - Called on 2007-04-17, final ballots due by 23:59 PDT on 2007-04-30.
>
>  v[xxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale)
>  v[xxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)	
>  n[---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
>  v[x-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
>  t[xxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)
>  v[xxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)
>  v[xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
>  n[---xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
>  n[x.....................] Joseph Lu
>  n[x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
>  v[xxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
>  v[xx-x..................] Erik Seligman (Intel)
>  n[-----xxxx-xx----------] Tej Singh (Mentor Graphics)
>  v[xxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
>  v[xxxxxxx...............] Tom Thatcher (Sun Microsystems)
>    |---------------------- attendance on 2007-04-17
>  |------------------------ 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.