Removed old doc references to $safe_pmux

diff --git a/manual/CHAPTER_CellLib.tex b/manual/CHAPTER_CellLib.tex
index f09c49298a5a5e40d3aafb65accfc2724f6132fb..f05c1b7ada4f9965982de48e02b1997064c72c06 100644 (file)
--- a/manual/CHAPTER_CellLib.tex
+++ b/manual/CHAPTER_CellLib.tex
@@ -125,10 +125,6 @@ than one bit from \B{S} is set the output is undefined. Cells of this type are u
 ``parallel cases'' (defined by using the {\tt parallel\_case} attribute or detected by
 an optimization).
 
-The {\tt \$safe\_pmux} behaves similarly to the {\tt \$pmux} cell type. But when more than one bit
-of \B{S} is set, it is guaranteed that this cell type will output the value of the \B{A} input instead of
-an undefined value.
-
 Behavioural code with cascaded {\tt if-then-else}- and {\tt case}-statements
 usually results in trees of multiplexer cells. Many passes (from various
 optimizations to FSM extraction) heavily depend on these multiplexer trees to

diff --git a/manual/CHAPTER_Optimize.tex b/manual/CHAPTER_Optimize.tex
index c562650b8a183e76ddabc13cac7b0890e30ddcd0..af8e2249775a755227ac7f57493ef11f4bb77503 100644 (file)
--- a/manual/CHAPTER_Optimize.tex
+++ b/manual/CHAPTER_Optimize.tex
@@ -136,7 +136,7 @@ This pass performs trivial resource sharing. This means that this pass identifie
 with identical inputs and replaces them with a single instance of the cell.
 
 The option {\tt -nomux} can be used to disable resource sharing for multiplexer
-cells ({\tt \$mux}, {\tt \$pmux}, and {\tt \$safe\_pmux}). This can be useful as
+cells ({\tt \$mux} and {\tt \$pmux}. This can be useful as
 it prevents multiplexer trees to be merged, which might prevent {\tt opt\_muxtree}
 to identify possible optimizations.