y+=a[i]*b[i] за один цикл. Аппаратная поддержка циклической адресации должна быть. Битреверсная адресация - больше на любителя:-)