行业资讯
AI news by Smartone AI
新思科技提供形式化验证收敛工具
重点：VC Formal数据通路验证应用基于形式化方法学，在C/C++算法和RTL设计实现之间的一致性检查方面比传统技术提高了100多倍。采用芯片业界公认的的HECTOR先进技术，并且集成了以Verdi界面为基础的VC Formal的多样化调试功能新思科技（Synopsys
AIGC热点
热点
-
19打开，有戏
有冇SmartoneAI，致力于通过分享全球优质AI工具、资源和资讯，帮助大家更早地、更好地了解和使用AI，让AI成为你的得力助手，工作更高效，生活更轻松。按下Ctrl+D或⌘+D收藏本站~
