关于FormalPro的使用与下载

我现在需要对Verilog HDL代码综合后的网表与RTL级源码通过FormalPro进行LEC逻辑等效性检查，来检查综合前后功能是否一致。
目前遇到的问题就是FormalPro这个软件还没有找到安装包，不知道从哪下载，各位专家有没有破解版的安装包可以发我下呀，什么版本的无所谓，只要能做等效性检查就可以，以及这个软件的使用方法，先谢谢大家了。
噢对，我在SIEMENS官网上只找到了这个软件的情况说明书，如下图，没有找到下载链接。

FormalPro的下载及使用方法目前并不能公开提供，您可以通过联系SIEMENS公司来获得正版的安装包，同时可以询问关于FormalPro的使用方法。另外，您也可以在网上搜索一些FormalPro的教程，了解如何使用FormalPro，以及它的一些功能。