Std Logic Vectorstd Logical Reasoning