kernel: TimingInfo to clamp -ve setup/edge-sensitive delays to zero

[yosys.git] / manual / CHAPTER_Auxprogs.tex

diff --git a/manual/CHAPTER_Auxprogs.tex b/manual/CHAPTER_Auxprogs.tex
index a008938282d56bd5e45041bc4f4c959a391677d0..f09b18f76108bd6989f3f3131bf23b5899e5582f 100644 (file)
--- a/manual/CHAPTER_Auxprogs.tex
+++ b/manual/CHAPTER_Auxprogs.tex
@@ -1,5 +1,5 @@
 
-\chapter{Auxilary Programs}
+\chapter{Auxiliary Programs}
 
 Besides the main {\tt yosys} executable, the Yosys distribution contains a set
 of additional helper programs.
@@ -19,7 +19,8 @@ for details.
 
 \section{yosys-abc}
 
-This is a unmodified copy of ABC \citeweblink{ABC}. Not all versions of Yosys
-work with all versions of ABC. So Yosys comes with its own yosys-abc to avoid
+This is a fork of ABC \citeweblink{ABC} with a small set of custom modifications
+that have not yet been accepted upstream. Not all versions of Yosys work with
+all versions of ABC. So Yosys comes with its own yosys-abc to avoid
 compatibility issues between the two.