Synopsys Formality v2012.06OverviewFormality® is an equivalence-checking (EC) solution that uses formal, st...