Synopsys Formality vO-2018.06 SP1Synopsys Formality vO-2018.06 SP1 Formality and Formality UltraVerifies the Toug...