pnsupport的博客

在集成电路设计自动化软件方面，弗摩电子正式发布了一套形式验证解决方案的库产品PNFlib及仿真验证调试工具PNDebug（EDA仿真验证调试工具）。目前PNFlib该系列形式验证解决方案库已经经过内部测试和多个大型IC公司项目实测，PNFlib库的性能和易用性相比于业内所有同类的产品，拥有多个独特的业内唯一的高效率的库和形式验证方案，能够从数学上完备地证明“电路的实现方案是否满足了设计规范所描述的功能”。

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

截至发稿，PNEdit文本编辑器累计使用下载次数已过万。有别于国外传统编辑软件，在PNEdit的形态下文本编辑不再是单一的界面，而是可自由组合任意排列的内容聚合体。在PNEdit中可以支持同时对多个文件进行文本编辑，在编辑窗口中打开的文本内容其颜色、语法、字体和高亮等属性都可以根据不同需求做相应的设置，开发工程师可以在PNEdit工具打开之后在界面中的菜单或按钮打开对应的设置窗口做设置，也可以将需要设置的参数记录在设置文件中，如此，可以大大加快智能软件的代码编辑。

提高关键领域自主创新能力，加快研发具有自主知识产权的核心技术成为本次大会关注焦点。日前，由国内企业上海弗摩电子科技有限公司完全自主研发的高级文本编辑器PNEdit正式上线，打破了欧美在这领域的垄断，为我国人工智能领域的发展提供有力底层支撑。