Synopsys:新的 RTL 形式验证工具提升 Dis-covery 验证平台Synopsys 公司推出的混合形式验证工具 Magellan,将新的高性能形式验证工具引擎与内置的 VCS 仿真工具引擎的强大功能相结合,帮助工程师发现可能掩藏的可设计深层需要仿真几千个周期才能发现的设计错误。Magellan 独特的混合型结合设计考虑,是为了处理数百万门级的设计和提供排除了会产生不利影响的误报之后的确定性结果。Magellan 通过实现层次化验证,加强了 Synopsys 的 Discovery 验 Synopsys: New RTL Formal Validation Tool Boosts Dis-covery Validation Platform Magellan, a hybrid formal verification tool from Synopsys, combines the power of the new high-performance formal verification engine with the powerful capabilities of the built-in VCS simulation engine to help engineers find potential Hidden design can require deep simulation of thousands of cycles to find design mistakes. Magellan’s unique hybrid design is designed to handle millions of gate designs and provide definitive results that eliminate false positives that could have adverse effects. Magellan stepped up Synopsys’ discovery by implementing hierarchical verification