diff options
| author | Clifford Wolf <clifford@clifford.at> | 2013-12-28 12:10:32 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2013-12-28 12:10:32 +0100 |
| commit | fe8ec32a1c401f54e0791d8d241ef583e09257dc (patch) | |
| tree | d77e63a7efeac2b677533490f7bae880886b5654 /manual | |
| parent | c69c416d28015e496045d1b4529c465fbaad42e2 (diff) | |
| download | yosys-fe8ec32a1c401f54e0791d8d241ef583e09257dc.tar.gz yosys-fe8ec32a1c401f54e0791d8d241ef583e09257dc.tar.bz2 yosys-fe8ec32a1c401f54e0791d8d241ef583e09257dc.zip | |
Added new cell types to manual
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/CHAPTER_CellLib.tex | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/manual/CHAPTER_CellLib.tex b/manual/CHAPTER_CellLib.tex index 09be0870e..61713e74d 100644 --- a/manual/CHAPTER_CellLib.tex +++ b/manual/CHAPTER_CellLib.tex @@ -97,6 +97,12 @@ The width of the output port \B{Y}. Table~\ref{tab:CellLib_binary} lists all cells for binary RTL operators. +The additional cell type {\tt \$bu0} is similar to {\tt \$pos}, but always +extends unsigned arguments with zeros. ({\tt \$pos} extends unsigned arguments +with {\tt x}-bits if the most significant bit is {\tt x}.) This is used +internally to correctly implement the {\tt ==} and {\tt !=} operators for +constant arguments. + \subsection{Multiplexers} Multiplexers are generated by the Verilog HDL frontend for {\tt @@ -147,6 +153,9 @@ Verilog & Cell Type \\ \hline \lstinline[language=Verilog]; Y = A && B; & {\tt \$logic\_and} \\ \lstinline[language=Verilog]; Y = A || B; & {\tt \$logic\_or} \\ +\hline +\lstinline[language=Verilog]; Y = A === B; & {\tt \$eqx} \\ +\lstinline[language=Verilog]; Y = A !== B; & {\tt \$nex} \\ \end{tabular} \hfil \begin{tabular}[t]{ll} |