Skip to content

Commit

Permalink
Some \lstinline cleanup in definition of 'previous'
Browse files Browse the repository at this point in the history
  • Loading branch information
henrikt-ma committed Sep 7, 2020
1 parent 0a99c6a commit 8671392
Showing 1 changed file with 5 additions and 7 deletions.
12 changes: 5 additions & 7 deletions chapters/synchronous.tex
Expand Up @@ -557,13 +557,11 @@ \section{Clocked State Variables}\label{clocked-state-variable}

\begin{longtable}[]{|l|p{12cm}|}
\hline \endhead
\lstinline!previous(u)! & The input argument is a \emph{component expression} (see
\cref{argument-restrictions-component-expression}) or a parameter expression. The return argument has the
same type as the input argument. Input and return arguments are on the
same clock. At the first tick of the clock of u or after a reset
transition (see \cref{reset-handling}), the start value of u is returned, see
\cref{initialization-of-clocked-partitions}. At subsequent activations of the clock of u, the value of
u from the previous clock activation is returned.\\ \hline
\lstinline!previous(u)! &
The input argument is a \emph{component expression} (see \cref{argument-restrictions-component-expression}) or a parameter expression. The return argument has the same type as the input argument.
Input and return arguments are on the same clock. At the first tick of the clock of \lstinline!u! or after a reset transition (see \cref{reset-handling}), the start value of \lstinline!u! is
returned, see \cref{initialization-of-clocked-partitions}. At subsequent activations of the clock of \lstinline!u!, the value of \lstinline!u! from the previous clock activation is returned.\\
\hline
\end{longtable}

\section{Partitioning Operators}\label{partitioning-operators}
Expand Down

0 comments on commit 8671392

Please sign in to comment.