diff options
Diffstat (limited to 'spec/spec.tex')
| -rw-r--r-- | spec/spec.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/spec.tex b/spec/spec.tex index f30ba22a..3dc1716e 100644 --- a/spec/spec.tex +++ b/spec/spec.tex @@ -462,7 +462,7 @@ For a connection to be legal, the types of the two expressions must match exactl However, the widths of the types do not need to be equivalent. If the {\em output} expression has a smaller width than the {\em input} expression, the {\em output} is padded according to its type. -If the {\em output} expression has a larger width than the {\em input} expression, the lower bits of the {\em output} are extracted and assigned to the {\em input}. +If the {\em output} expression has a larger width than the {\em input} expression, this triggers an error. If the {\em input} width is unknown, it is inferred to be the width of the largest {\em output} that it is connected to. If the {\em output} width is unknown, it cannot inferred from this connection. |