[sv-ec] Re: [sv-cc] PDF version of clean Scheduling Proposal

Hi Cliff,

many thanks for sending this.

This email contains some feedback about this document, and it is split 
into an official part
(discussed within SV-CC) and a second part containing just feedback from 
myself.

*Official part:*
After reviewing the current proposal I have raised the request to add an 
additional PLI
region (proposed name Pre-Observed) that has the following behavior:
 - it is a PLI-only region
 - it is called immediately before entering the Observed region
 - it has similar semantics than the Pre-Active region, in particular it 
can not schedule any
   event into the same time step (there is no path back to the Active 
region). I am not sure
   what is the best phrasing here; the one in the Preponed region might 
be too restrictive ...

We have discussed this within SV-CC and this request has been accepted 
by the committee.

The reason for this request is that I believe a callback is required and 
useful when the
design has fully settled, but there is not yet any activity created by 
the testbench
or assertion side. Post-NBA is not useful, because you don't know 
whether this is the
last iteration of the 'inner' design loop. Post-Observed is not useful, 
because the assertions
may have created new events already. This new region must not create new 
event for the
same time step to avoid situations where two tools are fighting to be 
the last one invoked
after the design has settled.

I hope this is sufficient. Let me know when you want to have an update 
in the official format.

*Second part:*

There was some focus on creating a consistent naming of the regions. 
However I don't understand
why the region "Reactive" was not renamed to be "Re-Active". All regions 
but this one use the Re-
prefix. I am not really religious here, but this looks interesting to me.

That's all.

Best regards,
-Michael


Clifford E. Cummings wrote:
> Sorry -
>
> I meant to send the PDF version of the clean event scheduling 
> proposal. Attached.
>
> Regards - Cliff
>
> ----------------------------------------------------
> Cliff Cummings - Sunburst Design, Inc.
> 14314 SW Allen Blvd., PMB 501, Beaverton, OR 97005
> Phone: 503-641-8446 / FAX: 503-641-8486
> cliffc@sunburst-design.com / www.sunburst-design.com
> Expert Verilog, SystemVerilog, Synthesis and Verification Training
>



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