[sv-ac] P1800-2009 : restrictions on the use of the property "iff" and "implies" operators

From: ben cohen <hdlcohen_at_.....>
Date: Sat May 16 2009 - 18:55:41 PDT
What are the restrictions on the use of the property "iff" and
"implies" operators with
regards to start and end time?  Are they the same as the property and,
or property
operators?
LRM is ambiguous on that point.
Ben Cohen

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Sat May 16 18:56:39 2009

This archive was generated by hypermail 2.1.8 : Sat May 16 2009 - 18:57:44 PDT