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

 

 

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Fais
Yaniv
Sent: Tuesday, August 14, 2007 11:26 AM
To: john.havlicek@freescale.com
Cc: sv-ac@eda-stds.org
Subject: Re: [sv-ac] call to vote on 1549

 

 

I vote yes on 1549 except for  friendly amendments on 

1549_new_types_14.pdf :

 

page 4 : "`define my_delay 2;" -  should not have semicolon at the end 

of  line.

[Lisa Piper >>>] done

sequence declarations page 5 : "sequence event_arg_example ( event arg) 

"- should have semicolon at end of line (in two places in that page)

 

[Lisa Piper >>>] done

I also like the usage of "$" as an actual argument in the example on 

page 4 but this usage is allowed in a kind of implicit way since in the 

LRM clause "6.20.2.1 $ as a parameter value" allows $ to be assigned to 

a SV "parameter" or untyped sequence/property argument, for example 

"parameter P = $;" is legal, I don't think "shortint i = $;" is a legal 

syntax, by this example it means $ can be passed to a shortint type
formal ?

[Lisa Piper >>>] Interesting.  You are right. I will change the example
as follows:

 

Typed formal arguments that are used to pass delay and repetition values
must be of a 2-state int type or untyped. An actual argument of $ shall
only be passed to an untyped argument. For example,:

 

            sequence delay_arg_example ( shortint delay1, delay2, min,
context max);

            x  ##delay1   y[*min:max]   ##delay2  z;

            endsequence

 

parameter my_delay=2;

            cover property ( delay_arg_example ( my_delay, my_delay-1,
3, $) );

 

which is equivalent to:

 

            cover property ( x  ##2  y[*3:$]   ##1  z);. 

 

 

 

Yaniv

 

 

 

John Havlicek wrote:

> All:

> 

> This is the call to vote on the proposal for Mantis 1549.

> 

> The proposal consists of two documents:

> 

>   1549_new_types_14.pdf

>   formal_semantics_arguments_passing.2007-08-06.pdf

> 

> Please vote if you are eligible.  See the details below.

> 

> J.H.

> 

>
------------------------------------------------------------------------
--

> 

> Ballot on Mantis 1549

> 

> - Called on 2007-08-13, final ballots due by 23:59 PDT on 2007-08-20.

> 

>  v[xx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Freescale)

>  v[xxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)  

>  n[---x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)

>  v[xxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)

>  t[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale - Chair)

>  v[xxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel - Co-Chair)

>  n[-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor
Graphics)

>  n[-----------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)

>  n[---x--xxx.....................] Joseph Lu (Altera)

>  n[--------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)

>  v[xxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)

>  v[xx-x-xxxxx-x..................] Erik Seligman (Intel)

>  n[----xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)

>  v[xxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)

>  v[xxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems)

>    |------------------------------ attendance on 2007-08-07

>  |-------------------------------- 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.