usb-tools/amaranth
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

docs/reference: describe out-of-bounds behavior of bit_select/word_select.

Browse source
This commit is contained in:
Catherine 2024-02-13 05:40:05 +00:00
parent 2dea83cffd
commit 3867623727
1 changed files with 12 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
amaranth/hdl/_ast.py
View file

@ -1056,8 +1056,12 @@ class Value(metaclass=ABCMeta):
"""Part-select with bit granularity.
Selects a constant width, variable offset part of :pc:`self`, where parts with successive
offsets overlap by :pc:`width - 1` bits. When :pc:`offset` is a constant integer, this
operation is equivalent to :pc:`self[offset:offset + width]`.
offsets overlap by :pc:`width - 1` bits. Bits above the most significant bit of :pc:`self`
may be selected; they are equal to zero if :pc:`self` is unsigned, to :pc:`self[-1]` if
:pc:`self` is signed, and assigning to them does nothing.
When :pc:`offset` is a constant integer and :pc:`offset + width <= len(self)`,
this operation is equivalent to :pc:`self[offset:offset + width]`.
Parameters
----------
@ -1086,8 +1090,12 @@ class Value(metaclass=ABCMeta):
"""Part-select with word granularity.
Selects a constant width, variable offset part of :pc:`self`, where parts with successive
offsets are adjacent but do not overlap. When :pc:`offset` is a constant integer, this
operation is equivalent to :pc:`self[offset * width:(offset + 1) * width]`.
offsets are adjacent but do not overlap. Bits above the most significant bit of :pc:`self`
may be selected; they are equal to zero if :pc:`self` is unsigned, to :pc:`self[-1]` if
:pc:`self` is signed, and assigning to them does nothing.
When :pc:`offset` is a constant integer and :pc:`width:(offset + 1) * width <= len(self)`,
this operation is equivalent to :pc:`self[offset * width:(offset + 1) * width]`.
Parameters
----------