diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-02-09 13:24:29 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-02-09 13:24:29 +0100 |
| commit | a779a09771f7373b8d1e77d7a9182fd3ed9008e5 (patch) | |
| tree | bcd5a4835ed0c8d783296a3277b74bbba345d961 /manual | |
| parent | e0ff4d1152bf517f51b7b2a5042a150a17ad0f21 (diff) | |
Fixed creation of command reference in manual
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/command-reference-manual.tex | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/manual/command-reference-manual.tex b/manual/command-reference-manual.tex index 047ec421..d653f409 100644 --- a/manual/command-reference-manual.tex +++ b/manual/command-reference-manual.tex @@ -346,7 +346,7 @@ evaluated in the other design. Copy modules from the current design into the soecified one. \end{lstlisting} -\section{dff2dffe -- transform $dff cells to $dffe cells} +\section{dff2dffe -- transform \$dff cells to \$dffe cells} \label{cmd:dff2dffe} \begin{lstlisting}[numbers=left,frame=single] dff2dffe [selection] @@ -420,7 +420,7 @@ Print all commands to log before executing them. Do not print all commands to log before executing them. (default) \end{lstlisting} -\section{equiv\_add -- add a $equiv cell} +\section{equiv\_add -- add a \$equiv cell} \label{cmd:equiv_add} \begin{lstlisting}[numbers=left,frame=single] equiv_add gold_sig gate_sig @@ -428,7 +428,7 @@ Do not print all commands to log before executing them. (default) This command adds an $equiv cell for the specified signals. \end{lstlisting} -\section{equiv\_induct -- proving $equiv cells using temporal induction} +\section{equiv\_induct -- proving \$equiv cells using temporal induction} \label{cmd:equiv_induct} \begin{lstlisting}[numbers=left,frame=single] equiv_induct [options] [selection] @@ -501,7 +501,7 @@ This creates a miter module for further analysis of the selected $equiv cells. Create compare logic that handles undefs correctly \end{lstlisting} -\section{equiv\_remove -- remove $equiv cells} +\section{equiv\_remove -- remove \$equiv cells} \label{cmd:equiv_remove} \begin{lstlisting}[numbers=left,frame=single] equiv_remove [options] [selection] @@ -516,7 +516,7 @@ used then only proven cells are removed. keep gate circuit \end{lstlisting} -\section{equiv\_simple -- try proving simple $equiv instances} +\section{equiv\_simple -- try proving simple \$equiv instances} \label{cmd:equiv_simple} \begin{lstlisting}[numbers=left,frame=single] equiv_simple [options] [selection] |