Next-generation Formal Verification Technology Uniquely Positioned for Performance and Capacity Required for Complex SoCs Bangalore, June 16, 2017  — Synopsys, Inc. (Nasdaq: SNPS) today announced that Toshiba has deployed Synopsys’ VC Formal™ solution as their SystemVerilog Assertion (SVA) based formal verification solution. VC…