Subject: Re: [sv-ec] Minutes from today's meeting -EXT 7
From: Adam Krolnik (krolnik@lsil.com)
Date: Tue Nov 18 2003 - 13:06:13 PST
Hi David;
The minutes as read:
>Arturo: The next section, triggered method of a sequence, some
> discussion whether ended or triggered should be used.
> David: Has there been any conclusion on the ended vs. triggered?
> Arturo: Do not know. The discussion is between Adam and Surrendra.
> But no disagreement on the semantics.
There is one question I have about the semantics of the triggered
method.
The triggered method is partly boolean, but only for the reactive region.
Thus use of this method in regular verilog (non-program block) will always
return false. So this functionality is only useful for program blocks - unless
forced to execute in the reactive region. *
Thus, the question - should we make a feature that does not work with
normal verilog code?
* It is stated that one can make normal verilog code execute
in the reactive region by performing this trick.
program trick;
assign s_detect = ! s_detect;
endprogram
always @(posedge clk)
begin
@(s_detect);
// Switched to reactive region now!
... // use .triggered, or other reactive region only things...
end
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
This archive was generated by hypermail 2b28 : Tue Nov 18 2003 - 13:08:12 PST