RHS Property References

SystemRDL allows some properties to be referenced in the righthand-side of property assignment expressions:

some_property = my_reg.my_field -> some_property;

The official SystemRDL spec refers to these as “Ref targets” in Table G1, but unfortunately does not describe their semantics in much detail.

The text below describes the interpretations used for this exporter.


Field

field -> swacc

Single-cycle strobe that indicates the field is being accessed by software (read or write).

field -> swmod

Single-cycle strobe that indicates the field is being modified during a software access operation.

field -> swwe/swwel

Represents the signal that controls the field’s swwe/swwel behavior.

field -> anded/ored/xored

Represents the current and/or/xor reduction of the field’s value.

field -> hwclr/hwset

iWARN Experimental

Represents the signal that controls the field’s hwclr/hwset behavior.

field -> hwenable/hwmask

Represents the signal that controls the field’s hwenable/hwmask behavior.

field -> we/wel

Represents the signal that controls the field’s we/wel behavior.

field -> next

iWARN Experimental

field -> reset

Represents the value that was assigned to this property.

field -> resetsignal

Represents the value that was assigned to this property.


Field Counter Properties

field -> incr

Represents the signal that controls the field’s counter increment control.

field -> incrsaturate/saturate

Represents the internal 1-bit event signal that indicates whether the counter is saturated at its saturation value.

field -> incrthreshold/threshold

Represents the 1-bit event signal that indicates whether the counter has met or exceeded its incrthreshold.

field -> incrvalue

Represents the value that was assigned to this property.

field -> overflow

Represents the event signal that is asserted when the counter is about to wrap.

field -> decr

Represents the signal that controls the field’s counter decrement control.

field -> decrsaturate

Represents the internal 1-bit event signal that indicates whether the counter is saturated at its saturation value.

field -> decrthreshold

Represents the 1-bit event signal that indicates whether the counter has met or exceeded its incrthreshold.

field -> decrvalue

Represents the value that was assigned to this property.

field -> underflow

Represents the event signal that is asserted when the counter is about to wrap.


Field Interrupt Properties

field -> enable

Represents the value that was assigned to this property.

field -> mask

Represents the value that was assigned to this property.

field -> haltenable

Represents the value that was assigned to this property.

field -> haltmask

Represents the value that was assigned to this property.


Register

reg -> intr

References the register’s hwif_out..intr signal.

reg -> halt

References the register’s hwif_out..halt signal.