央广网上海1月30日消息（记者杨静）近年来，上海集成电路产业规模快速增长，销售收入从2017年的约1180亿元增长到2021年的约2500亿元，年均增长超过20%。

　　集成电路是高度全球化的一个产业，中国是全球最大的集成电路市场。日前，上海市政府颁布《新时期促进上海市集成电路产业和软件产业高质量发展的若干政策》，将集成电路产业放在更加突出的位置。

　　面对集成电路规模不断扩大、复杂度日益提高，如何保证快速、高效地实现对更大规模集成电路，进行全面有效的验证是目前芯片设计行业不得不去面对并解决的痛点。

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

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

　　总体实测结果表明，形式化验证技术效率高，完备性强，是发现人类正常思维以外的corner bug的利器，有利于尽快、尽早的发现并协助改正电路设计中的错误，提高设计质量，缩短芯片设计周期。

　　未来，veriforma一方面保持专注，致力于提供更高质量IC形式验证解决方案，另一方面灵活求变，积极拥抱中国集成电路产业生态，研发出更加丰富的功能和智能解决方案。

　　转载申请事宜以及报告非法侵权行为，请联系我们

　　日前，上海市政府颁布《新时期促进上海市集成电路产业和软件产业高质量发展的若干政策》，将集成电路产业放在更加突出的位置。据介绍，近年来上海集成电路产业规模快速增长，销售收入从2017年的约1180亿元增长到2021年的约2500亿元，年均增长超过20%。

产业招商/厂房土地租售：400 0123 021
或微信/手机：13524678515; 13564686846; 13391219793 
请说明您的需求、用途、税收、公司、联系人、手机号，以便快速帮您对接资源。 
长按/扫一扫加葛毅明的微信号

扫一扫关注公众号