Validation test for the block Buildings.Controls.OBC.CDL.Routing.BooleanExtractSignal.
The instance extBooSig has the input vector with
dimension of 4 and the extracting vector is [3, 2, 4].
Thus the output vectors is [u[3], u[2], u[4]].
The instance extBooSig1 has the input vector with
dimension of 4 and the extracting vector is [3, 2, 4, 1,
1]. Thus the output vectors is [u[3], u[2], u[4],
u[1], u[1]].
Note that when the extracting vector extract has
any element with the value that is out of range [1,
nin], e.g. [1, 4] for instance in
extBooSig. It will issue error and the model will not
translate.