1ns+0: value length 9 does not match subtype BV10 length 10
