synopsys 软件启动问题

需要用vc static做学习formal 验证,按照论坛上方法把工具特性做到license.dat.启动报了一个连接不了的问题, 望高手指点该如何解决. 万分的感谢.

Hello,
Can you share VC static?