Synopsys - Magellan Hybrid Formal Verification

Synopsys

Magellan Hybrid Formal Verification

RTL (Front End) Tools

Product Description

Magellan™ is a hybrid RTL formal verification product that allows engineers to find deep, corner-case bugs, quickly, resulting in shortened functional verification cycles and high-quality designs. Magellan’s unique hybrid architecture combines the strengths of new, advanced formal engines with the strengths of a built-in VCS® simulation engine to verify properties on large and complex designs.

Key Benefits
• Increases design quality by finding corner-case functional bugs
• Reduces verification cost by finding functional bugs early in the verification cycle
• Raises verification productivity by enabling reuse of assertions between dynamic and formal verification environments
Key Features
• High-capacity formal verification using hybrid architecture
• Formal verification of user-specified properties
• Formal verification of automatically extracted structural properties
• Elimination of false-negative errors
• Support for hierarchical verification of assertions

http://www.synopsys.com

Market Segment(s)

• Embedded
• Enterprise
• Home
• Mobile
• Emerging Applications

System IP

• AMBA

 Contact Us