|
|
Magellan
Synopsys’ Magellan™ is a hybrid RTL formal property verification
product that allows engineers to find deep, corner-case bugs
quickly, resulting in a shortened functional verification cycle
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 costs by finding functional bugs early
in the verification cycle
- Raises verification productivity by enabling reuse of assertions
between dynamic and formal verification environments
- Increases verification confidence by proving
complex properties
  Back to Synopsys
|
|
Sitemap 
