1. A method comprising: solving, by one or more processors included in an equivalence checking system, a difference function that is based upon a first digital section included in a first mixed signal model and a second digital section included in a second mixed signal model, the solving resulting in a digital equivalence result; determining whether the first mixed signal model is equivalent to the second mixed signal model based upon the digital equivalence result and an analog equivalence verification between a first analog section included in the first mixed signal model and a second analog section included in the second mixed signal model; and generating, by at least one of the one or more processors, an equivalence notification based upon the determination.