乘以1/2，就是除以2。可以采用将被乘数右移一位的方法来实现，但要根据被乘数的数据类型不同，运用不同的运算符来描述。例如Bit_vector类型的无符号被乘数，要用SRL运算；Bit_vector类型的有符号被乘数，要用SRA运算；signed类型或者Unsigned的被乘数，要用SHR运算符等等。
