图说：PNFlib 产品概述 来源/采访对象提供（下同）
新民晚报讯（记者 张钰芸）让高精尖技术真正实现自主可控化，“十四五” 期间我国集成电路要有“芯”发展。记者昨天从上海弗摩电子科技有限公司获悉，由其自主研发的库产品PNFlib及仿真验证调试工具PNDebug正式发布，打破了欧美在这领域的垄断，为我国集成电路产业的发展提供有力的底层支撑。
《上海市先进制造业发展“十四五”规划》提出，在集成电路方面，以自主创新、规模发展为重点，提升芯片设计、制造封测、装备材料全产业链能级。《规划》提出，在芯片设计领域，推动骨干企业芯片设计能力进入3纳米及以下，打造国家级电子设计自动化(EDA)平台，支持新型指令集、关键核心IP等形成市场竞争力。
在当前的发展形势下，国内集成电路领域的工作重点是致力于突破智能芯片、算法模型、文本编辑技术等关键核心技术的“卡脖子”问题。目前上海从事集成电路的企业高达700余家，其中上海弗摩电子科技有限公司是一家操作系统应用及集成电路设计自动化软件供应商，公司团队均由来自芯片设计、算法软件和系统开发的资深工程师组成，致力于操作系统应用软件研发及集成电路设计自动化软件研发和咨询服务，产品线分别为集成电路设计自动化软件研发和操作系统应用软件开发。
图说：PNEdit产品界面
在集成电路设计自动化软件方面，弗摩电子正式发布了一套形式验证解决方案的库产品PNFlib及仿真验证调试工具PNDebug（EDA仿真验证调试工具）。目前PNFlib该系列形式验证解决方案库已经经过内部测试和多个大型IC公司项目实测，PNFlib库的性能和易用性相比于业内所有同类的产品，拥有多个独特的业内唯一的高效率的库和形式验证方案，能够从数学上完备地证明“电路的实现方案是否满足了设计规范所描述的功能”。
记者了解到，PNFlib新一代形式化验证解决方案可验证某些最艰巨的 SoC 设计挑战，它包括值注释、原理图查看、源代码浏览和分析报告速度分析，涵盖了整个形式验证领域的大部分典型设计案例和常规应用流程。
PNDebug电子设计自动化软件工具可以有效解决芯片在设计、建模、模拟、验证等一系列工作，减少芯片设计在物理模拟验证和重复修复之间的bug，减少企业人工投入、缩短芯片验证周期，为系统验证和软件开发提供大容量、高性能、自动实现、可调试、高可用的新一代智能设计自动化系统，成为我国自主研发集成电路产业生态的重要部分。
在操作系统应用软件方面，弗摩电子已经发布了一站式的文件处理平台PNFile以及文本编辑器PNEdit，该工具软件正在当前市面上的主流操作系统上做配套测试及投入使用。这些高质量集成电路设计自动化软件和操作系统应用软件及解决方案，将加速中国集成电路产业生态的发展。
