EDN

Synopsys Announces Formal Verification Tool

Magellan Combines Formal Verification Engines with VCS to Find Deep Corner-Case Bugs and Enable Design for Verification MOUNTAIN VIEW, Calif.–May 12, 2003–Synopsys, Inc., the world leader in ...
EDN

Synopsys want to push OpenVera into mainstream tools

Synopsys now wants to push the OpenVera verification language into mainstream tools, after putting support for two pieces of the language into its VCS Verilog simulator. The move could be instrumental ...
Design-Reuse

Using Synopsys Tools, Complex AI SoC Achieves Verification in 5 Weeks

At Hot Chips 2025, Rebellions announced its newest AI accelerator, the Rebel-Quad. It delivers up to 2,048 teraflops on 8-bit Floating Point (FP8) computation with 50% lower power draw, making it a ...
Nasdaq

Synopsys VCS Used by Graphcore to Verify Next-Generation Colossus GC200 IPU

MOUNTAIN VIEW, Calif., July 20, 2020 /PRNewswire/ -- Synopsys, Inc. (Nasdaq: SNPS) today announced that Graphcore used the Synopsys VCS® simulation solution with Verdi® debug to verify its recently ...
Electronic Design

Xilinx And Synopsys Collaborate On Tool Flow For Platform FPGAs

Time-saving verification tools have been added to an advanced tool flow for high-end FPGA design. The flow, a collaboration between Xilinx Inc. of San Jose and Synopsys Inc. of Mountain View, Calif., ...