- :attribute width: FIXME: document
- :attribute id_wid: FIXME: document
- :attribute op_wid: FIXME: document
+ :attribute width: the IEEE754 FP bitwidth
+ :attribute id_wid: the Reservation Station muxid bitwidth
+ :attribute op_wid: an "operand bitwidth" passed down all stages
+ :attribute opkls: an optional class that is instantiated as the "operand"
+
+ See ieee754/fpcommon/getop FPPipeContext for how (where) PipelineSpec
+ is used. FPPipeContext is passed down *every* stage of a pipeline
+ and contains the Reservation Station multiplexer ID as well as
+ an optional "operand". This "operand" may be used to *change*
+ the behaviour of the pipeline. In RISC-V terminology it would
+ typically be set to e.g. funct7 or parts thereof.
+