记者体验 新一代IC形式验证解决方案库产品PNFlib

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

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

新一代形式化验证

SoC 设计的复杂性要求快速全面的验证方式，以便加速验证和调试，缩短总进度周期，提高可预测性。近日，由上海弗摩电子科技有限公司(简称：veriforma)权威的形式验证领域专家团队经过多年的积累和研发出新一代IC形式验证解决方案库产品PNFlib正式发布，其覆盖了当前整个形式验证领域的大部分典型设计案例和常规的应用流程，目前有4大类库，共计