RE: [sv-bc] Figure 9-1 blue arrow

I am not sure.

The arrow does appear in the change document for Mantis 794
(http://www.eda.org/mantis/file_download.php?file_id=1134&type=bug),
although it is not mentioned in the discussion.

But the algorithm does say, 
"if (all regions in [active ... re-inactive] are empty)
	execute_region (pre-postponed);"

And another question:

The algorithm says, 
"while (any region in [reactive ... re-inactive] is nonempty) {
	execute_region (reactive);
	R = first nonempty region in [reactive ... re-inactive];
	if (R is nonempty)
		move events in R to the reactive region;
}
if (all regions in [active ... re-inactive] are empty)
	execute_region (pre-postponed);"

Is the line,
"if (all regions in [active ... re-inactive] are empty)" redundant?

Thanks,
Shalom


> -----Original Message-----
> From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On
> Behalf Of Brad Pierce
> Sent: Tuesday, January 03, 2006 3:12 AM
> To: sv-bc@eda.org; sv-ec@eda.org
> Subject: Re: [sv-bc] Figure 9-1 blue arrow
> 
> Shalom,
> 
> I don't think the blue arrow in Fig. 9-1 is supposed to be
> there.  CC'ing in the sv-ec, because it is their issue, Mantis
> 722.
> 
> -- Brad
> 
> -----Original Message-----
> From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On
> Behalf Of Bresticker, Shalom
> Sent: Sunday, January 01, 2006 4:50 AM
> To: sv-bc@eda.org
> Subject: [sv-bc] Figure 9-1 blue arrow
> 
> In Figure 9-1, "The SystemVerilog flow of time slots and event
> regions", there is a blue arrow from after re-inactive to
> before active.
> 
> Should it be there?
> 
> If so, why is it blue and what does the arrow represent?
> 
> Thanks,
> Shalom
> 
> Shalom Bresticker
> Intel Jerusalem LAD DA
> +972 2 589-6852
> +972 54 721-1033
> I don't represent Intel