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

Dmitry,

I think Manisha is pointing out the same mixup that Erik pointed out a
few days ago.

Shalom 

> -----Original Message-----
> From: owner-sv-ac@server.eda.org 
> [mailto:owner-sv-ac@server.eda.org] On Behalf Of Korchemny, Dmitry
> Sent: Monday, September 17, 2007 12:46 PM
> To: Kulshrestha, Manisha; sv-ac@server.eda-stds.org
> Subject: RE: [sv-ac] call to vote on 1728
> 
> Hi Manisha,
> 
> It is written "roughly" because there are several differences 
> between them, e.g., the compiler directive has a global name 
> space, while let is local.
> 
> Thanks,
> Dmitry
> 
> -----Original Message-----
> From: owner-sv-ac@server.eda.org 
> [mailto:owner-sv-ac@server.eda.org] On Behalf Of Kulshrestha, Manisha
> Sent: Monday, September 17, 2007 12:37 PM
> To: sv-ac@server.eda-stds.org
> Subject: RE: [sv-ac] call to vote on 1728
> 
> Hi Dimitry,
> 
> Just noticed that the proposal says on the first page:
> 
> For example, the following let construct package 
> pex_gen9_common_expressions; let VALID_ARB(req, vld, 
> arb_override) = (|(req&vld) || arb_override)); ...
> endpackage
> module my_checker;
> import pex_gen9_common_expressions::*;
> logic a, b;
> wire [1:0] request;
> wire [1:0] valid;
> reg arb_out, ovr;
> ...
> prop: assert property(@(posedge clk)
> request |-> VALID_ARB(request,valid, ovr); ...
> endmodule
> is roughly equivalent to the following directive:
> `define at_least_two(sig, rst = 1'b0) rst || ($countones(sig) >= 2)
> 
> I think the directive is equivalent to a let at_least_two 
> which is described earlier.
> 
> Manisha
> 
> -----Original Message-----
> From: owner-sv-ac@server.eda.org 
> [mailto:owner-sv-ac@server.eda.org] On Behalf Of John Havlicek
> Sent: Wednesday, September 12, 2007 11:05 PM
> To: sv-ac@server.eda-stds.org
> Subject: [sv-ac] call to vote on 1728
> 
> Hi Folks:
> 
> This is the call to vote on the proposal for Mantis 1728.
> 
> The document is 
> 
>   LetConstruct1728\ 070911_dk.pdf
> 
> on Mantis.
> 
> Please vote if you are eligible.  See the details below.
> 
> J.H.
> 
> --------------------------------------------------------------
> ----------
> ------
> 
> Ballot on Mantis 1728 
> 
> - Called on 2007-09-12, final ballots due at 2007-09-19 T 
> 23:59-07:00 (PDT).
> 
>  v[xxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
>  v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
>  n[-------x-xxx---------x-x-xxx-x---x] Surrendra Dudani 
> (Synopsys)  v[-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais 
> (Freescale)  t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John 
> Havlicek (Freescale - Chair)  
> v[xxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel -
> Co-Chair)
>  v[-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[xxxx..............................] Johan 
> Martensson (Jasper)  n[------------x--x-xx--xx-xxxxxxx-x-] 
> Hillel Miller (Freescale)  
> v[xxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)  
> v[xxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)  
> n[--------xxxx-----xxxx-xx----------] Tej Singh (Mentor 
> Graphics)  v[--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam 
> Tabbara (Synopsys)  v[xxxxxxxx-xxxxxxxxxx...............] Tom 
> Thatcher (Sun Microsystems)
>    |---------------------------------- attendance on 2007-09-11
>  |------------------------------------ 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 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.
> ---------------------------------------------------------------------
> 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.
> 
---------------------------------------------------------------------
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.