看啥推荐读物
专栏名称: 电子工程专辑
电子工程专辑是中国创建较早的电子工程类网站,是《电子工程专辑》杂志的有力补充。专注为工程师提供最新技术及实用方法的专业平台。包括:16个热门技术栏目在内的,新品信息和新闻报道、专题报道以及厂商应用报告、行业重要新闻的信息速递。
今天看啥  ›  专栏  ›  电子工程专辑

新思科技为人工智能、图形和处理器设计提供快100倍的形式化验证收敛工具

电子工程专辑  · 公众号  ·  · 2019-07-22 12:04
新思科技为人工智能、图形和处理器设计提供快100倍的形式化验证收敛工具VC Formal数据通路验证应用支持HECTOR技术广泛的市场采用美通社加州山景城2019年5月23日• VC Formal数据通路验证应用基于形式化方法学,在C/C++算法和RTL设计实现之间的一致性检查方面比传统技术提高了100多倍。• 采用芯片业界公认的的HECTOR先进技术,并且集成了以Verdi界面为基础的VC Formal的多样化调试功能新思科技(Synopsys, Inc.,纳斯达克股票代码:SNPS)近日推出了数据通路验证(DPV)应用,这是其VC Formal®解决方案的一部分。数据通路验证应用采用芯片业界公认的HECTOR™先进技术,在设计和验证周期内为广大的数据通路密集型设计市场用户提供完备的形式化验证收敛。该应用基于形式化方法学,其在 ………………………………

原文地址:访问原文地址
快照地址: 访问文章快照