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
> 

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