Update CHANGELOG and README
Signed-off-by: David Shah <dave@ds0.me>
diff --git a/CHANGELOG b/CHANGELOG
index 1fc139d..a49c27b 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -51,6 +51,8 @@
- "synth_ice40 -dsp" to infer DSP blocks
- Added latch support to synth_xilinx
- Added "check -mapped"
+ - Added checking of SystemVerilog always block types (always_comb,
+ always_latch and always_ff)
Yosys 0.8 .. Yosys 0.9
----------------------
diff --git a/README.md b/README.md
index db7810c..e469715 100644
--- a/README.md
+++ b/README.md
@@ -371,6 +371,11 @@
for example, to specify the clk-to-Q delay of a flip-flop for consideration
during techmapping.
+- The frontend sets attributes ``always_comb``, ``always_latch`` and
+ ``always_ff`` on processes derived from SystemVerilog style always blocks
+ according to the type of the always. These are checked for correctness in
+ ``proc_dlatch``.
+
- In addition to the ``(* ... *)`` attribute syntax, Yosys supports
the non-standard ``{* ... *}`` attribute syntax to set default attributes
for everything that comes after the ``{* ... *}`` statement. (Reset
