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
Korchemny, Dmitry
Sent: Tuesday, August 14, 2007 3:15 PM
To: john.havlicek@freescale.com; sv-ac@eda-stds.org
Subject: RE: [sv-ac] call to vote on 1549

 

I vote yes in 1549 with the following friendly amendments:

 

1549_new_types_14.pdf:

 

* Page 3. It is written: "Argument passing is done by substitution

(refer to the section on formal semantics Refer to [Note to Editor - I

think this is F.2.3]".

 

Should be:

 

"Argument passing is done by substitution (refer to [Note to Editor - I

think this is F.2.3])".

 

Note also the closing parenthesis.

[Lisa Piper >>>] done

 

* Page 4 & 6. The fonts of the keywords sequence and property need to b

Fixed

[Lisa Piper >>>] done, I think (see below)

 

REPLACE  A.2.10 Assertion declarations 

 

property_formal_type ::= 

            sequence_formal_type

 

...

 

sequence_formal_type ::= 

            data_type_or_implicit

            | context

 

 

WITH

 

property_formal_type ::= 

            sequence_formal_type

            | property

 

...

 

sequence_formal_type ::= 

            data_type_or_implicit

            | context

            | sequence

            | event

 

 

 

* Page 4. I don't think it is a good style to use `define directive in

this example. When we have let statement, it can be used here. For now I

would use literal constants.

[Lisa Piper >>>] Actually the whole point is to show that you can pass
compiler directives and parameters, or constant expressions that are
derived from them. Whether I use let or `define or a parameter is
dependent on a lot of things. I would be more apt to use let to show a
derived value, assuming it is used repeatedly in the code. As far as the
"style" goes, it is true that the `define would not likely be a line of
code in the same file, but it is the concept here that is important. I
think this is ok as is.

 

Dmitry

 

 

-----Original Message-----

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On

Behalf Of John Havlicek

Sent: Monday, August 13, 2007 4:22 PM

To: sv-ac@server.eda-stds.org

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

 

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.

 

 


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.