SyopOS-形式-支持Xilinx/Falm形式验证流

描述

关键词：形式化、验证、SyopSyS、形式化、Xilinx、支持

如何获得SyoSys/Xilinx形式化验证流程的技术支持？

解决方案

Xilinx提供与SyopSype的形式兼容的验证库。SyopSyS应联系有关流程或形式化工具的技术支持问题。Xilinx应与UNIISM和SIMPRIM验证库相关的问题进行联系。

SyopSeS技术支持可在：

电子邮件：SupvestCult:Syopopyscom
电话：1-800至245-800