Business Insider

STMicroelectronics Standardizes on Synopsys VC Formal for Faster Verification Closure of Leading Microcontroller Designs

MOUNTAIN VIEW, Calif., June 7, 2017 /PRNewswire/ -- Synopsys, Inc. (Nasdaq:SNPS), today announced that STMicroelectronics selected and standardized on Synopsys VC Formal, as their formal verification ...
Design-Reuse

Toshiba Selects Synopsys VC Formal Verification Solution

MOUNTAIN VIEW, Calif., June 15, 2017 --Synopsys, Inc. (Nasdaq: SNPS) today announced that Toshiba has deployed Synopsys' VC Formal ™ solution as their SystemVerilog Assertion (SVA) based formal ...
EDN

Synopsys Bridges Design and Verification with Next-Generation Static and Formal Technology for Verification Compiler

Next-generation static and formal verification technology now available as part of the Verification Compiler™ product and as standalone solutions Solutions provide 3X to 5X better performance and ...
Semiconductor Engineering

Formal Verification Becoming Critical To Auto Security, Safety

Formal verification is poised to take on an increasingly significant role in automotive security, building upon its already widespread use in safety-critical applications. Formal has been essential ...
Reuters

Synopsys says Toshiba deployed co's VC Formal solution

* Synopsys - announced Toshiba has deployed co's VC formal solution as their systemverilog assertion based formal verification solution Source text for Eikon: Further company coverage: ...