[sv-ac] Mantis 0003559: 16.13.6 Implication

Updated the mantis. http://www.eda-stds.org/svdb/view.php?id=3559
Made many changes to that section because the example in Figure 16-14 fails
to demonstrate the concepts and impact of multi-threading in a property
that has an implication operator. The text does not properly address the
concepts of attempts and threads, and when an assertion ends. In addition,
the current text addresses properties as having success or failure, and does
not address vacuity. However, success/failure/vacuity should be addressed by
assertions, not a properties.
Ben Cohen

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