pnsupport的博客

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

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

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

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

8月25日，中国—上海合作组织数字经济产业论坛圆满结束，2021中国国际智能产业博览会在礼嘉智慧公园智慧馆落下帷幕。本届智博会主题为“智能化：为经济赋能，为生活添彩”，以“线上线下结合，线上为主”原则举办，智汇八方、博采众长，为各类企业和各界友人提供了全新的数字体验。近年来，我国数字经济飞速发展，数字经济已成为国民经济中增速最快、最具活力的新经济形态，也代表着未来的产业发展方向，能够有效提升经济韧性和抗风险能力。从一定意义上说，数字经济的发展速度和水平将直接影响未来世界各国的经济格局和产业发展主导权。.

数字经济浪潮下，千行百业数字化转型风起云涌，人工智能、云计算作为数字底座，将为互联网行业的发展创造更为便捷的环境。由veriforma自主开发的新文本编辑器PNEdit于近日对外公布，主要应用于类似Visual Identity应用系统的文本编辑。此次新品发布聚焦PNFile的全新产品功能、发展战略，以及对产品未来形态的深入“编程”。无边界更自在，PNEdit文本编辑器问世PNEdit 是一个类似于Vi的功能多样、用户可定制的文本编辑器，在Vi的基础上改进和增加了很多特性。图形界面设计简洁方便让编辑

央广网上海7月30日消息（记者杨静）数字经济浪潮下，千行百业数字化转型风起云涌，人工智能、云计算作为数字底座，将为互联网行业的发展创造更为便捷的环境。近日，由上海弗摩电子科技有限公司(简称：veriforma)自主开发的文本编辑器PNEdit新版(V2021.03版本)正式上线，主要应用于类似VisualIdentity应用系统的高级文本编辑器，适用于Linux和UNIX两种操作系统。 PNEdit是一个类似于Vi的功能多样、用户可定制的文本编辑器，在Vi的基础上改...

1、界面概述PNCompare界面如下图1所示主要分成Title, Menu, Button, Compare, Result和Status这几个区域。Title区域用来显示当前查看的文件全路径。Menu区域有File, Directory, Compare, Tool和Help菜单，File菜单用来选择用于比较的两个目录结构的根目录节点，打开PNTree, PNDiff和PNEdit以及界面退出，Directory菜单可以对打开的目录结构做Delete, Hold, Paste, M...

1、界面概述PNFinder界面如下图1所示主要分成Title, Menu, Button, PNTree, PNPreview, Result和Status这几个区域。Title区域用来显示当前查看的文件全路径。Menu区域有File, Edit, View, Finder, Tool和Help菜单，File菜单用来选择搜索目录的根节点，打开PNTree和PNEdit以及文件的保存和界面退出，Edit菜单可以对打开的文件做一些简单的编辑，View菜单用来设置文件的颜色/字体/参数/语...

1、界面概述PNDiff界面如下图1所示主要分成Title, Menu, Button, Compare和status这几个区域。Title区域用来显示当前比较的文件全路径；Menu区域有File, Edit, View, Diff, Tool和Help菜单，File菜单用来打开/增加/减少用来比较的文件，Edit菜单可以对打开的文件做一些简单的编辑，View菜单用来设置文件的颜色/字体/参数/语法，Diff菜单用来设置/清除/比较/列表/跳转文本比对，Tool菜单用来打开查看系统信息...

1、界面概述PNEdit界面如下图1所示主要分成Title、Menu、Button、Edit和Status这5个区域。Title区域用来显示当前编辑的文件全路径。Menu区域有File、Edit、View、Buffers、Tool和Help这6个菜单项，Button区域有File、Edit、Search、View、Buffers、Tool和Help这7个按钮项，Edit区域为文本编辑窗口按Tab和Split的方式多窗口编辑文件内容，Status区域显示当前编辑的文件属性信息。...

1、界面概述PNTree界面如下图1所示主要分成Title, Button, Structure和Filter这几个区域。Title区域用来显示当前查看的目录根节点的全路径；Button区域有Tree Home, Tree History, Tree Up,和Tree Down这四个按钮主要用于设置当前目录结构的根节点, Tree Search Prev和Tree Search Next这两个按钮用于对Filter的结果做单步向前和向后查看；Structure区域用于当前根节点下的目...

1、界面概述PNFile界面如下图1所示主要分成Title, Menu, Button, PNTree, PNPreview和Status这几个区域。Title区域用来显示当前查看的文件全路径。Menu区域有File, Directory, Edit, View, Application, Tool和Help菜单，File菜单菜单用来选择PNTree的目录根节点，在PNPreview中打开文件以及文件的保存和界面退出，Directory菜单可以对打开的目录结构做Delete, Hold...

1、产品概述PNFile是一个平台型工具，在该平台上集成了多个应用程序和实用工具。下图1所示，在PNFile中有Directory Structure和PNPreview这两个窗口，PNTree、PNEdit、PNDiff、PNFinder和PNCompare这5个应用程序，以及System Information、Encrypt/Decrypt、Split/Join和Directory Print这4个实用工具。图1 PNFile产品概述Dire...

文章目录前言一、简介二、窗口设置三、编辑方式四、快捷命令五、应用插件六、版本信息七、下载地址前言PNEdit 是一个类似于Vi的功能多样、用户可定制的文本编辑器，在Vi的基础上改进和增加了很多特性。图形界面设计简洁方便让编辑窗口设置更加容易，快捷键和命令行操作方式使得文本编辑的速度和效率有所提高，内嵌的多个应用插件扩展了文本编辑功能。一、简介PNEdit是一个功能多样、用户可定制的文本编辑器，支持tab分页和横向/纵向分割窗口等方式可同时对多个文件进行编辑，文本窗口中的颜色、语法、字体和高亮等.

PNFile 百科前言一、产品概述二、安装和设置三、日志文件四、异常调试五、目录浏览六、应用程序七、插件九、下载地址前言PNFile是一个平台型工具，在该平台上集成了多个应用程序和插件。应用程序有目录结构树PNTree、文本编辑器PNEdit、文本比较器PNDiff、文件搜索器PNFinder以及目录比较器PNCompare。插件有系统信息查看System Information、文件加解密Encrypt/Decrypt、文件分解合并Split/Join以及目录列表打印Directory Print.