SAN MATEO, Calif. Synopsys Inc. hopes to hold on to a slight lead in the formal verification market as it moves customers from the Design Verifyer tool to its internally developed Formality ...

Magellan is Synopsys' first formal property-checking tool, said Stephen Meier, senior director of R&D for Synopsys' verification group. He said the underlying technology is drawn from such sources as ...

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 ...