Synopsys的MagellanTM是一种混合式的RTL设计规则形式验证产品，有助于工程师快速查找隐藏较深且不易发现的错误，缩短功能验证周 期，保证高质量的设计。Magellan独特的混合式架构结合了先进的形式分析引擎和内置VCS仿真引擎可以处理复杂的大规模Verilog和VHDL的 设计。
主要优点：
- 查找不易发现的功能错误，提高设计质量
- 在验证周期的初期，查出功能错误，降低验证成本
- 通过重用动态和形式验证环境之间的断言，提高验证的工作效率
- 通过验证复杂的设计规则以提高验证的可信
Synopsys的MagellanTM是一种混合式的RTL设计规则形式验证产品，有助于工程师快速查找隐藏较深且不易发现的错误，缩短功能验证周 期，保证高质量的设计。Magellan独特的混合式架构结合了先进的形式分析引擎和内置VCS仿真引擎可以处理复杂的大规模Verilog和VHDL的 设计。