Symbolic Computer Algebra and SAT Based Information Forwarding for Fully Automatic Divider Verification.