Good morning all;
It may be best to provide a table listing the legal contexts for each of the methods
in question (.ended, .matched, .triggered) and any others if necessary.
There is a fine line between .ended and .triggered and users will appreciate a summary
of the legal contextx for each.
contexts include:
wait / @()
sequences/properties
disable
argument to sequence/property
local variable rhs
others?
Adam Krolnik
Verification Mgr.
LSI Logic Corp.
Plano TX. 75074
Co-author "Assertion-Based Design"
Received on Fri Nov 12 09:17:26 2004
This archive was generated by hypermail 2.1.8 : Fri Nov 12 2004 - 09:17:30 PST