automated assembly verification