From 8ca6901f1fd776ac6c00eda6612ea31dd195bb13 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Wed, 17 Jan 2007 19:56:39 +0000
Subject: [PATCH] Commentary

git-svn-id: file://localhost/svn/verilator/trunk/verilator@869 77ca24e4-aefa-0310-84f0-b9a241c72d87
---
 bin/verilator | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)

diff --git a/bin/verilator b/bin/verilator
index 17ead560f..bb2d1042a 100755
--- a/bin/verilator
+++ b/bin/verilator
@@ -1343,6 +1343,26 @@ List of all warnings:
 
 =over 4
 
+=item BLKANDNBLK
+
+Error that a variable comes from a mix of blocked and non-blocking
+assignments.  Generally, this is caused by a register driven by both combo
+logic and a flop:
+
+      always @ (posedge clk)  foo[0] <= ...
+      always @* foo[1] = ...
+
+Simply use a different register for the flop:
+
+      always @ (posedge clk)  foo_flopped[0] <= ...
+      always @* foo[0] = foo_flopped[0];
+      always @* foo[1] = ...
+
+This is good coding practice anyways.
+
+It is also possible to disable this error when one of the assignments is
+inside a public task.
+
 =item CASEINCOMPLETE
 
 Warns that inside a case statement there is a stimulus pattern for which