EDN

Synopsys gives equivalency checker a new look

MOUNTAIN VIEW, Calif. — In an effort to make formal equivalency checking more accessible to designers who aren't formal-verification experts, Synopsys Inc. this week will roll out a “flow-based” user ...
EDN

Synopsys Adds to Its Verify Arsenal

In a bid to keep its No. 1 position in the equivalence-checking software market, Synopsys Inc., Mountain View, Calif., today releases new “semiformal” technology with the latest version of its ...
CIOL

Centaur Technology deploys Synopsys' Formality Ultra to shorten design schedules

BANGALORE, INDIA: Synopsys, Inc., a provider of software, IP and services used to accelerate innovation in chips and electronic systems, today announced that Centaur Technology, a subsidiary of VIA ...
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., ...