Magellan Hybrid Formal

Synopsys的MagellanTM是一种混合式的RTL设计规则形式验证产品，有助于工程师快速查找隐藏较深且不易发现的错误，缩短功能验证周期，保证高质量的设计。Magellan独特的混合式架构结合了先进的形式分析引擎和内置VCS仿真引擎可以处理复杂的大规模Verilog和VHDL的设计。