Magellan
Device Family Support
- Artix-7
- Kintex-7
- Spartan-3
- Spartan-6 LX
- Virtex-4 LX
- Virtex-5 LX
- Virtex-6 LXT
- Virtex-7
- Zynq
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 Features
- •Elimination of false-negative errors
- •Formal verification of automatically extracted structural properties
- •Formal verification of user-specified properties
- •High-capacity formal verification using hybrid architecture
- •Support for hierarchical verification of assertions
Target Markets
- Broadcast
- Automotive
- High Performance Computing
- Consumer
- Aerospace & Defense
- Industrial Scientific Medical
- Industrial Scientific Medical
- Wired Communications
- Wireless Communications
Products and/or services provided by Alliance Program Members are sold or licensed solely by the Member and not Xilinx. Please be advised that Xilinx hereby disclaims any warranties, express or implied, including warranties of merchantability, fitness for a particular purpose, or noninfringement with respect to any such products and/or services.