Field Properties#
Note
Any properties not explicitly listed here are either implicitly supported, or are not relevant to the busdecoder exporter and are ignored.
Software Access Properties#
onread/onwrite#
All onread/onwrite actions are supported (except for ruser/wuser)
rclr/rset#
See onread. These are effectively aliases of the onread property.
singlepulse#
If set, field will get cleared back to zero after being written.
sw#
All sw access modes are supported except for w1 and rw1.
swacc#
If true, infers an output signal hwif_out..swacc that is asserted when
accessed by software. Specifically, on the same clock cycle that the field is
being sampled during a software read operation, or as it is being written.
swmod#
If true, infers an output signal hwif_out..swmod that is asserted as the
field is being modified by software. This can be due to a software write
operation, or a software read operation that has clear/set side-effects.
swwe/swwel#
Provides a mechanism that allows hardware to override whether the field is writable by software.
- boolean
If True, infers an input signal
hwif_in..swweorhwif_in..swwel.- reference
Single-bit reference controls field’s behavior.
woclr/woset#
See onwrite. These are effectively aliases of the onwrite property.
Hardware Access Properties#
anded/ored/xored#
If true, infers the existence of output signal: hwif_out..anded,
hwif_out..ored, hwif_out..xored
hw#
Controls hardware access to the field.
If readable, enables output signal hwif_out..value. If writable, enables
input hwif_in..next.
Hardware-writable fields can optionally define the next property which replaces
the inferred hwif_in..next input with an alternate reference.
hwclr/hwset#
If both hwclr and hwset properties are used, and both are asserted at
the same clock cycle, then hwset will take precedence.
- boolean
If true, infers the existence of input signal:
hwif_in..hwclr,hwif_in..hwset- reference
Reference to any single-bit internal object to drive this control.
hwenable/hwmask#
Reference to a component that provides bit-level control of hardware writeability.
we/wel#
Write-enable control from hardware interface.
If true, infers the existence of input signal: hwif_in..we, hwif_in..wel
- boolean
If true, infers the existence of input signal
hwif_in..weorhwif_in..wel- reference
Reference to any single-bit internal object to drive this control.
Counter Properties#
counter#
If true, marks this field as a counter. The counter direction is inferred based based on which properties are assigned. By default, an up-counter is implemented. If any of the properties associated with an up-counter are used, then up-counting capabilities will be implemented. The same is true for down-counters and up/down counters.
Unless alternate control signals are specified, the existence of input signals
hwif_in..incr and hwif_in..decr will be inferred depending on the type
of counter described.
incr#
Assign a reference to an alternate control signal to increment the counter.
If assigned, the inferred hwif_in..incr input will not be generated.
incrsaturate/saturate#
If assigned, indicates that the counter will saturate instead of wrapping. If an alternate saturation point is specified, the counter value will be adjusted so that it does not exceed that limit, even after non-increment actions.
- boolean
If true, saturation point is at the counter’s maximum count value. (2^width - 1)
- integer
Specify a static saturation value.
- reference
Specify a dynamic saturation value.
incrthreshold/threshold#
If assigned, infers a hwif_out..incrthreshold output signal. This signal is
asserted if the counter value is greater or equal to the threshold.
- boolean
If true, threshold is the counter’s maximum count value. (2^width - 1)
- integer
Specify a static threshold value.
- reference
Specify a dynamic threshold value.
incrvalue#
Override the counter’s increment step size.
- integer
Specify a static increment step size.
- reference
Reference a component that controls the step size.
incrwidth#
If assigned, infers an input signal hwif_in..incrvalue. The value of this
property defines the signal’s width.
overflow#
If true, infers an output signal hwif_out..overflow that is asserted when
the counter is about to wrap.
decr#
Assign a reference to an alternate control signal to decrement the counter.
If assigned, the inferred hwif_in..decr input will not be generated.
decrsaturate#
If assigned, indicates that the counter will saturate instead of wrapping. If an alternate saturation point is specified, the counter value will be adjusted so that it does not exceed that limit, even after non-decrement actions.
- boolean
If true, saturation point is when the counter reaches 0.
- integer
Specify a static saturation value.
- reference
Specify a dynamic saturation value.
decrthreshold#
If assigned, infers a hwif_out..decrthreshold output signal. This signal is
asserted if the counter value is less than or equal to the threshold.
- boolean
If true, threshold is 0.
- integer
Specify a static threshold value.
- reference
Specify a dynamic threshold value.
decrvalue#
Override the counter’s decrement step size.
- integer
Specify a static step size.
- reference
Reference to a component that controls the step size.
decrwidth#
If assigned, infers an input signal hwif_in..decrvalue. The value of this
property defines the signal’s width.
underflow#
If true, infers an output signal hwif_out..underflow that is asserted when
the counter is about to wrap.
Interrupt Properties#
intr#
If set, this field becomes an interrupt field.
The enclosing register infers an output signal hwif_out..intr which denotes
that an interrupt is active. This is an or-reduction of all interrupt fields
after applying the appropriate enable or mask to the field value.
- level (default)
Interrupt is level-sensitive. If a bit on the field’s
hwif_in..nextinput is ‘1’, it will trigger an interrupt event.- posedge
If a bit on the field’s
hwif_in..nextinput transitions from ‘0’ to ‘1’, it will trigger an interrupt event. This transition shall still be synchronous to the register block’s clock.- negedge
If a bit on the field’s
hwif_in..nextinput transitions from ‘1’ to ‘0’, it will trigger an interrupt event. This transition shall still be synchronous to the register block’s clock.- bothedge
If a bit on the field’s
hwif_in..nextinput transitions from ‘0’ to ‘1’ or ‘1’ to ‘0’, it will trigger an interrupt event. This transition shall still be synchronous to the register block’s clock.- nonsticky
Interrupt event is not sticky.
enable#
Reference to a field or signal that, if set to 1, define which bits in the field are used to assert an interrupt.
mask#
Reference to a field or signal that, if set to 1, define which bits in the field are not used to assert an interrupt.
haltenable#
Reference to a field or signal that, if set to 1, define which bits in the field are used to assert the halt output.
If this property is set, the enclosing register will infer a hwif_out..halt output.
haltmask#
Reference to a field or signal that, if set to 1, define which bits in the field are not used to assert the halt output.
If this property is set, the enclosing register will infer a hwif_out..halt output.
stickybit#
When an interrupt trigger occurs, a stickybit field will set the corresponding bit to ‘1’ and hold it until it is cleared by a software access.
The interrupt trigger depends on the interrupt type. By default, interrupts are level-sensitive, but the interrupt modifiers allow for edge-sensitive triggers as well.
The waveform below demonstrates a level-sensitive interrupt:
sticky#
Unlike stickybit fields, a sticky field will latch an entire value. The
value is latched as soon as hwif_in..next is nonzero, and is held until the
field contents are cleared back to 0 by a software access.
Misc#
encode#
If assigned a user-defined enumeration, the resulting package file will include
its definition. Due to limitations from type-strictness rules in SystemVerilog,
the field will remain as a logic datatype.
next#
If assigned, replaces the inferred hwif_in..next input with an explicit reference.
paritycheck#
If set, enables parity checking for this field.
Adds a parity_error output signal to the module.
Note
If this field does not implement storage, the partycheck property is ignored.
precedence#
Control whether hardware or software has precedence when field value update contention occurs. Software has precedence by default.
reset#
Control the reset value of the field’s storage element. If not specified, the field will not be reset.
- integer
Static reset value
- reference
Reference to a dynamic reset value.
resetsignal#
Provide an alternate reset trigger for this field.