< Back to list
Magellan
Synopsys, Inc.
Hybrid RTL Formal Verification Overview 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.
Industry
Industrial R&D
Red Hat Certifications
This product has been certified to run on the following Red Hat products and technologies:
| Target Product | Level |
|---|---|
| Red Hat Enterprise Linux 6.x | Self-Certified |