Verification scheme for pipelined vector architecturesRoy ArmoniDaniel Geistet al.1995IEEEI 1995Conference paper