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

Hi Lisa,

 

I agree with most of your comments and made appropriates fixes (see
attachment).

 

Please, see my notes below.

 

Thanks,

Dmitry

 

________________________________

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Lisa Piper
Sent: Thursday, September 13, 2007 9:05 PM
To: john.havlicek@freescale.com; sv-ac@server.eda-stds.org
Subject: RE: [sv-ac] call to vote on 1728

 

Hi John and Ed,

 

I vote yes on 1728 "let" with the following friendly amendments:

 

 

Comment: normally in a package, don't you have to declare all variables
that are used, such that in the pex_gen9_common_expressions package
example shown, technically you should show declarations of req, vld, and
arb_override (or perhaps just show ... before the let statement).  

 

[Korchemny, Dmitry] I don't think so, they are formal arguments of let.

 

Comment: sequence and property types are added by 1549, not 1601. 1601
is for "untyped" only. Also, 1549 adds the "event" type, which should
also be excluded along with sequence and property.

 

[Korchemny, Dmitry] Fixed. I removed all references to the new type.

 

Comment: "see Clause 16.x.y" should be "see 16.x.y" (several instances)

 

[Korchemny, Dmitry] Fixed.

 

Comment: I think bold keywords and example code should be in courier new
9

 

[Korchemny, Dmitry] Fixed

 

Comment: cross-module - I think the terminology "hierarchical
references" is used elsewhere.

 

[Korchemny, Dmitry] Fixed

 

Comment: can a let expression contain the $sampled sampled value
function(even though it is perhaps redundant). Perhaps it would be
better to just reference the section so that as more are added we don't
have to update this.

 

[Korchemny, Dmitry] Done.

 

Comment: in let_list_of_arguments, the ")" should be red

 

[Korchemny, Dmitry] Fixed.

 

I did not analyze all the examples this pass.

 

lisa

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Wednesday, September 12, 2007 1:35 PM
To: sv-ac@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 <http://www.mailscanner.info/> , 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.