diff options
| author | Sequencer | 2020-01-16 06:49:57 +0800 |
|---|---|---|
| committer | mergify[bot] | 2020-01-15 22:49:57 +0000 |
| commit | 0aa0ba8fac56fc81f57b24b6e0694d93de2b66df (patch) | |
| tree | 7cbc157891d8b52492e57ff938ccd27961d64744 /spec | |
| parent | 6b21b7df6f70ed753abe03814c88ef9010259303 (diff) | |
improve the tail ir usability. (#1241)
Co-authored-by: Jim Lawson <ucbjrl@berkeley.edu>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/spec.pdf | bin | 274502 -> 274485 bytes | |||
| -rw-r--r-- | spec/spec.tex | 4 |
2 files changed, 2 insertions, 2 deletions
diff --git a/spec/spec.pdf b/spec/spec.pdf Binary files differindex 833fb8cf..8b7fd125 100644 --- a/spec/spec.pdf +++ b/spec/spec.pdf diff --git a/spec/spec.tex b/spec/spec.tex index 6bbd798f..68a404a8 100644 --- a/spec/spec.tex +++ b/spec/spec.tex @@ -1579,7 +1579,7 @@ head & (e) & (n) & (UInt) & UInt & n\\ }} \end{figure} -The result of the head operation are the \vv{n} most significant bits of \vv{e}. \vv{n} must be positive and less than or equal to the bit width of \vv{e}. +The result of the head operation are the \vv{n} most significant bits of \vv{e}. \vv{n} must be non-negative and less than or equal to the bit width of \vv{e}. \subsection{Tail} @@ -1595,7 +1595,7 @@ tail & (e) & (n) & (UInt) & UInt & w\ts{e}-n\\ }} \end{figure} -The tail operation truncates the \vv{n} most significant bits from \vv{e}. \vv{n} must be non-negative and strictly less than the bit width of \vv{e}. +The tail operation truncates the \vv{n} most significant bits from \vv{e}. \vv{n} must be non-negative and less than or equal to the bit width of \vv{e}. \section{Flows}\label{flows} |