[sv-cc] Mantis 1900 review, 17.5 - end

I reviewed these sections and have entered this in Mantis.


In 17.6.1, there is a link to F.3.4.6 that should be to “F.3.4.9 Checker variable assignment”

In 17.7.2, there is a reference to “non-const”  (2nd word of 3rd paragraph).  Const should be bold courier the way it is in the next paragraph.  The same applies to the word const in “is a const cast” in the 6th paragraph of that same section.

In 17.7.2, the paragraph that starts “The assume set of F1 consists of …”  should be split into two paragraphs starting at “When a solution attempt is made …”

In F.3.4.9, there exists two “=” signs that should be “≡” as shown below
— rand t u = e ≡ initial assume property (@1 u === e)
— always @c u <= e ≡ always assume property (@1 $future_gclk(u) === c ? e :
u)




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