RE: [sv-ac] comment about 1995

Eric,

Here is an example where an argument to the sequence is automatic
variable which is used in the sequence to pass to a task. You can
imagine this type of assertion inside a for loop and in1 being the loop
iterator.

task my_task(input in);
reg t;

  t = in;

endtask

sequence s(f1, f2);
  (f1, my_task(f2));
endsequence

always @(posedge clk)
begin
  automatic reg in1;
assert property (s(a, in1));
end

Manisha

-----Original Message-----
From: Seligman, Erik [mailto:erik.seligman@intel.com] 
Sent: Monday, January 21, 2008 11:04 PM
To: Kulshrestha, Manisha; Korchemny, Dmitry;
john.havlicek@freescale.com; sv-ac@server.eda.org
Subject: RE: [sv-ac] comment about 1995

Hi Manisha--

I'm not quite sure I understand.  Can you give me a small example code
fragment that should be legal, but is not currently covered properly by
the text of 1995?   Thanks!

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Kulshrestha, Manisha
Sent: Monday, January 21, 2008 9:07 AM
To: Kulshrestha, Manisha; Korchemny, Dmitry;
john.havlicek@freescale.com; sv-ac@server.eda.org
Subject: [sv-ac] comment about 1995

Hi Eric,

As you can see from the discussion below Dimitry asked me to say
explicitly that automatic loop iterator variables should be allowed in
subroutine calls. I know you allow them in action blocks in 1995 but I
donot see any mention of them in subroutine calls in the proposal for
1995. I think it will be good to say it explicitly in 1995 if we want to
allow them in subroutine calls. I'll modify my proposal based on that.

Thanks.
Manisha

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Kulshrestha, Manisha
Sent: Monday, January 21, 2008 3:22 PM
To: Korchemny, Dmitry; john.havlicek@freescale.com; sv-ac@server.eda.org
Subject: RE: [sv-ac] call to vote on 2150

Hi,

My comments are included.

Thanks.
Manisha

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Korchemny, Dmitry
Sent: Monday, January 21, 2008 2:30 PM
To: john.havlicek@freescale.com; sv-ac@server.eda.org
Subject: RE: [sv-ac] call to vote on 2150

I vote yes on 2150 with the following friendly amendments:

* Region names should be capitalized. "the reactive region" -> "the
Reactive region" throughout the proposal.

MK> I'll fix this.

* The LRM usually does not explain limitation reasons, therefore I
believe that the explanation why the automatic variables are disallowed
is redundant.

E.g.,

"Since the action block of an assert statement executes in the reactive
region, the automatic variables referenced in the action block may not
be valid when the action block executes. Therefore the action block of
an assert statement shall not refer to an automatic variable declared
outside of the action block with an exception: An automatic loop
iterator variable may be used in the action block of the assert
statement that is within a for or foreach loop."

may be rewritten as:

"The action block of an assert statement shall not refer to an automatic
variable declared outside of the action block with an exception: An
automatic loop iterator variable may be used in the action block of the
assert statement that is within a for or foreach loop."

Also, should the part of a sentence after a colon be capitalized? Maybe
to rewrite it as:

"The action block of an assert statement shall not refer to an automatic
variable declared outside of the action block with the following
exception: an automatic loop iterator variable may be used in the action
block of the assert statement that is within a for or foreach loop."

MK> I see different things being done at different places in the current
LRM. Here is an example from 20.3.2: "These counterpart tasks-$fdisplay,
$fwrite, $fmonitor, and $fstrobe-accept the same type of arguments as
the tasks upon which they	are based, with one exception: The first
argument shall be either a multichannel descriptor or a file descriptor,
which indicates where to direct the file output. Multichannel
descriptors are described in detail in 20.3.1.
A multichannel descriptor is either a variable or the result of an
expression that takes the form of a 32-bit"

I am not sure which one is correct.

* The same exception (about for loops) should apply to clause 16.10.

MK> I'll fix this.

Thanks,
Dmitry
-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of John Havlicek
Sent: Wednesday, January 16, 2008 4:08 AM
To: sv-ac@server.eda.org
Subject: [sv-ac] call to vote on 2150

Hi Folks:

This is the call to vote on the proposal for Mantis 2150.

The document on Mantis is

   automatics_2150_01_11_08.pdf

Please vote if you are eligible.  See details below.

J.H.

------------------------------------------------------------------------
----------
Ballot on Mantis 2150

- Called on 2008-01-15, final ballots due by 2008-01-21 T 23:59-08:00.

 v[xxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
(Intel)
 v[xxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
(Synopsys)     
 n[----------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani
(Synopsys)
 v[xxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
(Freescale)
 t[xxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
(Freescale - Chair)
v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny
(Intel - Co-Chair)  v[xxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx]
Manisha Kulshrestha (Mentor Graphics)
n[------------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor
Graphics)
 n[---------x------------x--xxx.....................] Joseph Lu (Altera)
v[xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson
(Jasper)
 n[---------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
(Freescale)
 v[xxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
(Cadence)
 v[xxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman
(Intel)
 n[-------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor
Graphics)
 v[xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
(Synopsys)
 v[xxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun
Microsystems)
   |------------------------------------------------- attendance on
2008-01-15
 |--------------------------------------------------- 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 a 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.



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