Skip to content

Commit

Permalink
Clarify language about reference uses being above their targets.
Browse files Browse the repository at this point in the history
  • Loading branch information
dtzSiFive committed Mar 7, 2023
1 parent edea323 commit 78cef0c
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions spec.md
Original file line number Diff line number Diff line change
Expand Up @@ -645,9 +645,10 @@ internally, as described in this section.

Input probe references are allowed on internal modules, but they should be used
with care because they make it possible to express invalid reference paths.
When probe references are resolved they must target a single element at or
below the resolution point. Support for other scenarios are allowed as
determined by the implementation.
When probe references are used to access the underlying data (e.g., with a
`read`{.firrtl} or `force`{.firrtl}), they must target a statically known
element at or below the point of that use. Support for other scenarios are
allowed as determined by the implementation.

Input references are not allowed on public-facing modules: e.g., the top module
and external modules.
Expand Down

0 comments on commit 78cef0c

Please sign in to comment.