A method for performing verification is disclosed. The method includes
selecting a first computer-design constraint for simplification and
applying structural reparameterization to simplify the first
computer-design constraint. In response to determining that the first
computer-design constraint is not eliminated, the first computer-design
constraint is set equal to a dead-end state of the constraint. A
structural preimage of the first computer-design constraint is created,
in response to determining that a combination of a target and the
dead-end state of the first computer-design constraint is equal to a
combination of the target and the structural preimage of the first
computer-design constraint, the first computer-design constraint is set
equal to the structural preimage.