| http://www.w3.org/ns/prov#value | - This subset means that the multiplexer control signal can be, for example, one of the following: The result of an unsigned comparison (less than, greater than), via carry out, The result of a signed comparison (less than, greater than), via the sign signal, The sign of a signed arithmetic operation, to be used for sign extension (again via sign signal), An overflow from an unsigned arithmetic oper
|
