形式化方法 最新动态
新思科技为人工智能、图形和处理器设计提供快100倍的形式化验证收敛工具重点：VC Formal数据通路验证应用基于形式化方法学，在C/C++算法和RTL设计实现之间的一致性检查方面
2019-06-26
热度值：68
标签：科技,形式化方法,芯片,算法
新思科技为人工智能、图形和处理器设计提供快100倍的形式化验证收敛工具重点：VC Formal数据通路验证应用基于形式化方法学，在C/C++算法和RTL设计实现之间的一致性检查方面
2019-06-26
热度值：68
标签：科技,形式化方法,芯片,算法