1. A computer program product embodied in a non-transitory computer readable medium for design analysis comprising: code for obtaining a first representation and a second representation for a semiconductor design; code for applying a set of inputs to the first representation and the set of inputs to the second representation of the semiconductor design; code for comparing outputs of the first representation and outputs of the second representation, based on the set of inputs that were applied, to look for mismatch between the outputs of the first representation and the outputs of the second representation; and code for evaluating, in response to detecting a mismatch, a starting point for the first representation to determine whether the starting point for the first representation is reachable.