Formality Ultra Video 

This video introduces Formality Ultra, a new add-on option to Formality, which extends its equivalency checking technology to significantly accelerate the implementation and verification of functional ECOs.

Antun Domic, General Manager, Implementation Group, Synopsys