[sv-ac] [SV-AC] Local Variables Flow Out Issue in and/or/intersect/implies

However, there is a need to be able to set and read local variables in one
sequence or property (the LHS), and to read those local variables in another
sequence / property (RHS).
Please see http://www.eda-stds.org/svdb/view.php?id=3195
I uploaded a proposal.
Ben Cohen

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