记者体验新一代IC形式验证解决方案库产品PNFlib_形式验证工具自动提取属性(aep)-优快云博客

本文链接：https://blog.youkuaiyun.com/pnsupport/article/details/122970257

本文介绍了veriforma公司发布的PNFlib，新一代IC形式验证解决方案库产品，旨在解决集成电路验证的挑战。PNFlib涵盖多种验证工具和解决方案，提供权威、全面、可靠且易用的服务，能有效缩短验证周期，提高设计质量。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

国家发展改革委、商务部26日发布的关于深圳建设中国特色社会主义先行示范区放宽市场准入若干特别措施的意见明确，支持深圳优化同类交易场所布局，组建市场化运作的电子元器件和集成电路国际交易中心，打造电子元器件、集成电路企业和产品市场准入新平台，促进上下游供应链和产业链的集聚融合、集群发展。

集成电路是高度全球化的一个产业，中国是全球最大的集成电路市场。面对集成电路规模不断扩大、复杂度日益提高，使得对确保芯片功能正确性、完整性最重要一环的验证技术面临一系列的巨大挑战。如何保证快速、高效地实现对更大规模电路，进行全面有效的验证是目前芯片设计行业不得不去面对并解决的痛点。

新一代形式化验证

SoC 设计的复杂性要求快速全面的验证方式，以便加速验证和调试，缩短总进度周期，提高可预测性。近日，由上海弗摩电子科技有限公司(简称：veriforma)权威的形式验证领域专家团队经过多年的积累和研发出新一代IC形式验证解决方案库产品PNFlib正式发布，其覆盖了当前整个形式验证领域的大部分典型设计案例和常规的应用流程，目前有4大类库，共计200多个解决方案。PNFlib解决方案包括一整套正式应用程序，包括属性验证 (FPV)、自动提取属性 (AEP)、覆盖分析器 (FCA)、连接性检查 (CC)、时序等效性检查 (SEQ)、寄存器验证 (FRV)、测试平台分析仪 (FTA)、形式导航器 (NAV) 以及用于验证标准总线协议的一组断言 IP (AIP）。

PNFlib 产品概述

PNFlib新一代形式化验证解决方案拥有出色的权威性、全面性、可靠性和易用性，可验证某些最艰巨的 SoC 设计挑战，它包括值注释、原理图查看、源代码浏览和分析报告速度分析，涵盖了整个形式验证领域的大部分典型设计案例和常规应用流程。自动分析未连接的连接性检查的根本原因，可以大大节省调试时间。整个过程不依赖于人工定义function coverage，这极大程度地避免了因人为失误导致的覆盖率准确度不高的风险。

形式化验证基于数学思维进行验证求解，具备极高的可靠性，可以大大缩短开发周期。在芯片验证上，工程师利用SVA断言描述清楚需要证明的设计规格，通过编译RTL和基于SVA的断言语言，建立Formal模型。一方面根据设计spec的要求，提取需要验证的功能点，进而通过SVA断言语言，逐个描述与定义待检查的功能场景。另一方面约束非法场景的发生，并自动进行数学分析和证明，通过对所有可能的激励空间进行遍历，保证逻辑没有死角。

经过内部测试和国内最大的IC公司等多个公司项目实测，PNFlib库的性能和易用性相比于业内所有同类的产品，拥有多个独特的业内唯一的高效率的库和形式验证方案，能够从数学上完备地证明“电路的实现方案是否满足了设计规范所描述的功能”。常用的如ScoreBoard和AXI等性能比目前Jasper和VCFormal的同类的要高出10倍以上。