集成电路（IC）设计软件厂商Synopsys公司( SNPS)正式宣布，推出新的混合形式验证工具Magellan™。Magellan将新的高性能形式工具引擎和内置VCS™仿真工具引擎的强大能力相结合，以帮助工程师发现可能掩藏于设计深层的需要仿真几千个周期才能发现的设计错误。Magellan独特的混合型结构的设计考虑，是为了处理数百万门级的设计和提供排除了会产生不利影响的误报之后的确定性结果。新增的Magellan通过实现层次化验证（一种可以使设计的设定和断言功能重复使用的强大的可验证设计技术），加强了Synopsys 的Discovery™验证平台的能力。Magellan支持用Verilog 和VHDL所做的设计，并被构建成符合正在成熟的SystemVerilog标准的工具。
Magellan的混合型结构使得这一工具能够在大规模的数百万门级设计中应用形式验证技术。这一结构独特地将VCS达到设计深层的能力和形式验证引擎进行高级数学分析的能力相结合，来进行寻找设计错误的工作。将Magellan内置的VCS和形式验证引擎相互适应地和明确地彼此利用，使得设计者能够发现可能掩藏于深层设计需要几千个仿真周期才能发现的情况复杂的设计错误，从而节省了时间并减少了反复次数。
Magellan通过排除会产生不利影响的误报并发送确定性结果，进一步提升验证能力。与传统的寄存器转换级（register transfer level ，RTL）形式验证工具不同的是，Magellan帮助确保通过使用其内置的VCS引擎对其形式工具引擎所发现的特性违反进行验证，使这些特性违反在被报告之前，能够在真实仿真环境中被复制。
新增了Magellan之后，现在Synopsys的Discovery 验证平台实现了层次化验证，这是强大的DFV（可验证设计）技术，其中通过VCS 和Vera将模块级设定和断言作为芯片级监控手段自动地重复使用。这一在统一验证平台下进行层次化验证的能力，确保了设计设定的彻底验证，同时提升了设计者的整体验证能力和水平。
漏洞Magellan 目前在控制供应的基础上部署在一些选定客户中，计划于2003年第四季度向所有客户供应，使用Magellan一年期技术授权的价格初步定为73500美元。
Magellan的混合型结构使得这一工具能够在大规模的数百万门级设计中应用形式验证技术。这一结构独特地将VCS达到设计深层的能力和形式验证引擎进行高级数学分析的能力相结合，来进行寻找设计错误的工作。将Magellan内置的VCS和形式验证引擎相互适应地和明确地彼此利用，使得设计者能够发现可能掩藏于深层设计需要几千个仿真周期才能发现的情况复杂的设计错误，从而节省了时间并减少了反复次数。
Magellan通过排除会产生不利影响的误报并发送确定性结果，进一步提升验证能力。与传统的寄存器转换级（register transfer level ，RTL）形式验证工具不同的是，Magellan帮助确保通过使用其内置的VCS引擎对其形式工具引擎所发现的特性违反进行验证，使这些特性违反在被报告之前，能够在真实仿真环境中被复制。
新增了Magellan之后，现在Synopsys的Discovery 验证平台实现了层次化验证，这是强大的DFV（可验证设计）技术，其中通过VCS 和Vera将模块级设定和断言作为芯片级监控手段自动地重复使用。这一在统一验证平台下进行层次化验证的能力，确保了设计设定的彻底验证，同时提升了设计者的整体验证能力和水平。
漏洞Magellan 目前在控制供应的基础上部署在一些选定客户中，计划于2003年第四季度向所有客户供应，使用Magellan一年期技术授权的价格初步定为73500美元。
