diff options
| author | azidar | 2015-07-23 18:03:08 -0700 |
|---|---|---|
| committer | azidar | 2015-07-23 18:03:08 -0700 |
| commit | e4552dcbc844b00e7e4799c882eb00a8be165e9f (patch) | |
| tree | e1cd13ec820fdf5a96d776988dbf05e88a95dc62 /spec | |
| parent | 96527dadba6e4b1613b8dedaac5c3cbbfaaf3ed9 (diff) | |
Updated spec
Diffstat (limited to 'spec')
| -rw-r--r-- | spec/spec.pdf | bin | 245847 -> 245788 bytes | |||
| -rw-r--r-- | spec/spec.tex | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/spec/spec.pdf b/spec/spec.pdf Binary files differindex 1c324e3d..4149c9a3 100644 --- a/spec/spec.pdf +++ b/spec/spec.pdf 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. |