(redirected from Formal verification)
Also found in: Dictionary, Thesaurus, Wikipedia.
Mentioned in ?
References in periodicals archive ?
Native integration of simulation, static and formal verification, verification IP (VIP), debug, and coverage technologies into a single product boosts performance and productivity
Sugar has been an integral part of IBM's formal verification toolset since 1995, and is used in tools made available to IBM ASIC customers as part of the Blue Logic Design Methodology flow.
OneSpin Solutions, an EDA company that provides innovative formal assertion-based verification solutions, today announced Quantify MDV, the industry's first formal metric-driven verification (MDV) solution that automatically and comprehensively analyzes and measures formal verification progress and quality in register transfer level (RTL) designs.
a world leader in semiconductor design software, today announced that the Synopsys Magellan(TM) hybrid RTL formal verification tool, a key component of its Discovery(TM) Verification Platform, was honored as a recipient in the first annual International Engineering Consortium (IEC) DesignVision Awards program.
Because our customer designs are complex and highly advanced, we need to offer a high-speed and reliable formal verification solution," says Nobuyuki Nishiguchi, NEC's department manager of design methodology, Systems LSI Design Engineering Division.
0 unleashes the power of formal verification for highly complex SoC design," said Claudionor Coelho, vice president of engineering.
Tuxedo LEC combines speed, performance, capacity and ease of use for the rapid and reliable formal verification of full-chip designs.
Jasper Design Automation, the leader in successful deployment of production proven formal verification solutions, today announced its plans to provide a limited number of demo suite demonstrations of its Formal Verification Unleashed[TM] - an advanced verification methodology supported by best-in-class formal verification solutions, to exhaustively verify complex designs at any stage in the design flow, from architecture-level down to first silicon.
Verix is Real Intent's Intent-Driven formal verification system for the verification of RTL designs.
the most advanced formal verification technology in the marketplace," said Gerald C.
Jasper Design Automation, the leader in successful deployment of production-proven formal verification solutions, today named Tom Melham and Moshe Vardi as the newest members of its Technical Advisory Board (TAB).

Full browser ?