mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-24 13:18:56 +00:00
Code Activity

Fixed creation of command reference in manual

Browse source
This commit is contained in:
Clifford Wolf 2015-02-09 13:24:29 +01:00
parent e0ff4d1152
commit a779a09771
3 changed files with 16 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

10
manual/command-reference-manual.tex
View file

@ -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]