Cdc commentary

Changes

@@ -3,7 +3,7 @@ Revision history for Verilator
 The contributors that suggested a given feature are shown in [].  [by ...]
 indicates the contributor was also the author of the fix; Thanks!
 
-* Verilator 3.7**
+* Verilator 3.800***
 
 **   Support SystemVerilog types "byte", "chandle", "int", "longint",
      "shortint", "time", "var" and "void" in variables and functions.
@@ -13,6 +13,7 @@ indicates the contributor was also the author of the fix; Thanks!
 **   Support typedef and enum.  [by Donal Casey]
 
 **   Support direct programming interface (DPI) "import" and "export".
+     Includes an extension to map user $system PLI calls to the DPI.
 
 ***  Support "reg [1:0][1:0][1:0]" and "reg x [3][2]", bug176.  [Byron Bradley]
 

bin/verilator

@@ -314,12 +314,11 @@ Specifies C++ without SystemC output mode; see also --sc and --sp.
 
 Experimental.  Perform some clock domain crossing checks and issue related
 warnings.  Additional warning information is written to the file
-{prefix}__cdc.txt.  Generally used with --lint-only.
+{prefix}__cdc.txt.  Generally used with --lint-only.  Enables CDCRSTLOGIC
+warning.
 
-Currently only checks that asynchronous flop reset terms come from primary
-inputs (a check that most other CDC tools missed, so it was put here).  If
-you have interest in adding more traditional CDC checks, please contact the
-authors.
+Currently only checks some items that other CDC tools missed; if you have
+interest in adding more traditional CDC checks, please contact the authors.
 
 =item --compiler I<compiler-name>
 
@@ -2026,6 +2025,12 @@ instead intended is to use a casez with C<?>.
 Ignoring this warning will only suppress the lint check, it will simulate
 correctly.
 
+=item CDCRSTLOGIC
+
+With --cdc only, warns that asynchronous flop reset terms come from other
+than primary inputs or flopped outputs, creating the potential for reset
+glitches.
+
 =item CMPCONST
 
 Warns that you are comparing a value in a way that will always be constant.