Small fixes

diff --git a/README.md b/README.md
index 08d4cb0d770c859003542f9c2f1930f5cbde6178..79801d23f9f83916b2a05d06fd546a143136892f 100644 (file)
--- a/README.md
+++ b/README.md
@@ -364,13 +364,13 @@ Verilog Attributes and non-standard features
   it as the external-facing pin of an I/O pad, and prevents ``iopadmap``
   from inserting another pad cell on it.
 
-- The module attribute ``abc9_lut`` is an integer attribute marking to `abc9`
-  that this module describes a LUT with propagation delays described using
-  `specify` statements.
+- The module attribute ``abc9_lut`` is an integer attribute indicating to
+  `abc9` that this module describes a LUT with an area cost of this value, and
+  propagation delays described using `specify` statements.
 
-- The module attribute ``abc9_box`` is a boolean specifying a blackbox or
-  whitebox definition, with propagation delays described using `specify`
-  statements, for use by `abc9`.
+- The module attribute ``abc9_box`` is a boolean specifying a black/white-box
+  definition, with propagation delays described using `specify` statements, for
+  use by `abc9`.
 
 - The port attribute ``abc9_carry`` marks the carry-in (if an input port) and
   carry-out (if output port) ports of a box. This information is necessary for

diff --git a/kernel/timinginfo.h b/kernel/timinginfo.h
index 5a6f4aa2885dc4e2b683e16ea93c123eae8a0339..4b77c02e82456fe578af0020b645e5e5ac25e438 100644 (file)
--- a/kernel/timinginfo.h
+++ b/kernel/timinginfo.h
@@ -18,8 +18,8 @@
  *
  */
 
-#ifndef TIMINGARCS_H
-#define TIMINGARCS_H
+#ifndef TIMINGINFO_H
+#define TIMINGINFO_H
 
 #include "kernel/yosys.h"