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

Hi Tom,

In any case I would delete:

Inside a checker,
the call to sample() may not occur directly in initial_check or always
check procedures, or from any function
called from an assignment in one of these procedures. However, calls to
sample() may appear in final
procedures, sequence match items, and assertion action blocks"

since it is confusing.

Thanks,
Dmitry

-----Original Message-----
From: Thomas.Thatcher@Sun.COM [mailto:Thomas.Thatcher@Sun.COM] 
Sent: Saturday, February 02, 2008 1:33 AM
To: Korchemny, Dmitry
Cc: john.havlicek@freescale.com; sv-ac@eda.org; Bustan, Doron;
eduard.cerny@synopsys.com; yaniv.fais@freescale.com;
Manisha_Kulshrestha@mentor.com; johan.martensson@jasper-da.com;
piper@cadence.com; Seligman, Erik; bassam.tabbara@synopsys.com
Subject: Re: [sv-ac] RE: call to vote on 2088

Hi Dmitry,

I don't believe there is any restriction on calling a void function from

a typed function.  In fact this following example compiles and runs just

fine:

module void_func ();

     int a;
     int b;
     int c;

     initial begin
	a=0; b=0;
	#10;
	a=5;
	#10;
	b=2;
	#10;
	b=3;
	#10;
     end

     assign c = sum_of_squares(a,b);

     function int sum_of_squares(int a, int b);
	int result;
	result = a*a + b*b;
	print_result(result);

	return result;
     endfunction


     function void print_result(int result);
	$display("The result is: %d\n", result);
     endfunction
endmodule

That is why I believed we needed text restricting calling sample() from 
a function called from an always_check procedure.  Otherwise, it would 
be permitted by the language.

Tom

Korchemny, Dmitry wrote:
> Hi Tom,
> 
> I think that there is no need to mention the following:
> 
> "A covergroup may also be triggered by a procedural call to its
sample()
> method (see 18.8). Inside a checker,
> the call to sample() may not occur directly in initial_check or always
> check procedures, or from any function
> called from an assignment in one of these procedures. However, calls
to
> sample() may appear in final
> procedures, sequence match items, and assertion action blocks"
> 
> It will just confuse most of the users. This scenario seems occurs
only
> when a sampled() function called from a typed function contained in an
> always/initial_check. I am not sure that calling a void function from
a
> typed function is valid. Even if it is, this is not an intuitive
usage,
> and whoever does it certainly deserves facing races in covergroups.
> 
> One minor comment:
> 
> Page 4, before 18.2 final() should be in courier 9.
> 
> Thanks,
> Dmitry
> 
> -----Original Message-----
> From: John Havlicek [mailto:john.havlicek@freescale.com] 
> Sent: Wednesday, January 30, 2008 5:22 AM
> To: sv-ac@eda.org
> Cc: Bustan, Doron; eduard.cerny@synopsys.com;
yaniv.fais@freescale.com;
> john.havlicek@freescale.com; Korchemny, Dmitry;
> Manisha_Kulshrestha@mentor.com; johan.martensson@jasper-da.com;
> piper@cadence.com; Seligman, Erik; bassam.tabbara@synopsys.com;
> thomas.thatcher@sun.com
> Subject: call to vote on 2088
> 
> Hi Folks:
> 
> This is the call to vote on the revised proposal for 2088.
> 
> The proposal on Mantis is
> 
>    2088_covergroups_20080129.pdf
> 
> Please vote if you are eligible.  See details below.
> 
> J.H.
> 
>
------------------------------------------------------------------------
> ----------
> Ballot on Mantis 2088
> 
> - Called on 2008-01-29, final ballots due by 2008-02-04 T 23:59-08:00.
> 
>  v[xxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan
> (Intel)
>  v[xxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny
> (Synopsys)     
>  n[------------------------x-xxx---------x-x-xxx-x---x] Surrendra
Dudani
> (Synopsys)
>  v[-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais
> (Freescale)
>  t[xxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek
> (Freescale - Chair)
>  v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry
Korchemny
> (Intel - Co-Chair)
>  v[xxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha
> Kulshrestha (Mentor Graphics)
>  n[-x-------------------------------------------------] Ah-Lam Lee
> (Qualcomm)
>  n[--------------------------------xxxxx-------x-xx-x-] Jiang Long
> (Mentor Graphics)
>  n[-----------x------------x--xxx.....................] Joseph Lu
> (Altera)
>  n[--xxxxxxxxxxxxxxxxxxx..............................] Johan
Martensson
> (Jasper)
>  n[-----------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller
> (Freescale)
>  v[xxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper
> (Cadence)
>  v[xxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman
> (Intel)
>  n[---------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh
> (Mentor Graphics)
>  v[x-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara
> (Synopsys)
>  v[xxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher
> (Sun Microsystems)
>    |--------------------------------------------------- attendance on
> 2008-01-29
>  |----------------------------------------------------- voting
> eligibility for this ballot
> |------------------------------------------------------ e-mail votes
> 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
> 
---------------------------------------------------------------------
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.