abstract red circuit design