Subject: Re: [sv-ec] final block proposal to SV-EC.
From: Dave Rich (David.Rich@synopsys.com)
Date: Mon Jan 27 2003 - 12:54:01 PST
Adam,
The answer to all three questions is no. 1 and 2 can't happen because
only function_statements are allowed in a final block. This means no
event controls, triggers, tasks enables, NBAs. fork/join.
#3 can't happen because $finish terminates all active processes. This
should have been explicitly stated.
I will wait a few days to see if there are any other comments, then send
out another version (also correcting the typo Stefan found).
Dave
Adam Krolnik wrote:
>
>
> Hi Mehdi;
>
> LRM content questions.
>
> 1. Can I create new events that go on the event queue? to wake up
> other code/blocks?
>
> final ->my_event;
>
> final my_sig <= ~my_sig;
>
> 2. It shall be an error to have delay in the final block?
>
> final
> #2 $display("Done");
>
> 3. The proposal stated that if another event that triggers the final
> block occurs
> while processing the final blocks, the current block will be
> disabled and the
> rest of the blocks on the queue.
>
> Is there a possible race between two events causing the final block
> to occur
> such that some final blocks may not run? Would it be safer to just
> say that
> the final blocks will not be placed on the queue again; once the
> queue empties
> the simulation terminates?
>
>
> Adam Krolnik
> Verification Mgr.
> LSI Logic Corp.
> Plano TX. 75074
>
>
>
>
>
-- -- Dave Rich Principal Engineer, CAE, VTG Tel: 650-584-4026 Cell: 510-589-2625 DaveR@Synopsys.com
This archive was generated by hypermail 2b28 : Mon Jan 27 2003 - 12:55:21 PST