Properties on Allchin Circuit