新思科技 VC Formal DPV是CPU、GPU和AI/ML设计数据路径验证的不二之选,,验证,数据路径,之选,数据,我们生活在大数据的世界中:B站日均播放量17亿次,微信每天发送约500亿条信息。预计到2025年,全球每天生成的数据量有望达到463EB。 如此庞大的数据量,需要采用浮点算术运算的芯片才能够以最快的速度和最高的精度进行处理、存储、分析和共享。而验证这些芯片上的数据处理逻辑(数据路径)的正确性至关重要。历史证明,未能及时发...
2022-05-09 16:27:00行业信息验证 数据路径 之选