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.