申请/专利权人：西安润道智检科技有限公司

申请日：2023-12-28

公开（公告）日：2024-04-12

公开（公告）号：CN117875239A

主分类号：G06F30/343

分类号：G06F30/343;G06F30/31;G06F8/36;G06F8/71;G06F8/76

优先权：

专利状态码：在审-实质审查的生效

法律状态：2024.04.30#实质审查的生效;2024.04.12#公开

摘要：本发明公开了一种基于HDLDesigner的规则集生成方法：步骤1：打开HDLdesigner工具，选择Edit＝DesignChecker＝ManagePoliciesRuleSets；步骤2：打开的Setup窗口的三个目录为Policies、RuleSets、BaseRules；步骤3：在RuleSets目录单击右键，选择并修改NewRuleSet名字；步骤4：从BaseRules窗口中选取基本规则集，粘贴到新建规则集中；步骤5：将复制到步骤3中的规则集进行配置；步骤6：重复步骤4和步骤5直到所有条目添加完毕；步骤7：将保存的规则集导出；步骤8：保存修改后的规则集；步骤9：重复步骤8直至所有规则条目的配置与需求完全一致。本发明针对不同的设计订制自己的规则集，并且订制的规则集可以移植和复用，极大节约了在代码审查过程中所消耗的人力成本和时间成本。

主权项：1.基于HDLDesigner的规则集生成方法，其特征在于，包括如下步骤：步骤1：打开HDLdesigner工具，选择Edit＝DesignChecker＝ManagePoliciesRuleSets；步骤2：通过步骤1打开的Setup窗口中包含三个目录分别为Policies、RuleSets、BaseRules，其中Policies目录的作用是存放当前使用的规则集，在此处选择规则集的有效与否与规则集中的条目有效与否；RuleSets放置的是HDLdesigner工具内置的规则集，包括：DO-254、Safety-Critical，该位置后续也会用来存放所述基于HDLDesigner的规则集生成方法制作的规则集；BaseRules放置的是HDLDesigner所提供的基本规则，在制作规则集时从该目录中选取基本规则进行调整和修改；步骤3：在RuleSets目录单击鼠标右键，选择NewRuleSet，修改NewRuleSet名字为本次制作规则集的名称；步骤4：依据被制作的规则集的内容，从BaseRules窗口中选取基本规则集，其中的基本规则集的分类包括Allow、Assignments、Case、ClocksResets、Comments、Complexity、Conditions、Configurations、DeadLogic、Declarations、Directives、FSM、Gates、Hierarchy、Instances、Labels、LogicOptimization、Naming、Order、Partition、RaceConditions、Ranges、Registers、Report、Sensitivity、Style、Sub-programs、Verification、VITAL；将筛选出的规则条目复制粘贴到步骤3中新建的规则集中；步骤5：将复制到步骤3中的规则集进行配置，依据被制作规则集的名称、严重程度、针对语言、等要素在ParametersofConfiguredRule窗口中对所制作的规则条目进行配置；若制作规则时ParametersofConfiguredRule窗口提供的条目与需求条目不符，导致没法在ParametersofConfiguredRule窗口中直接选取对应的条目则执行到步9，否则执行到步骤7；步骤6：重复步骤4和步骤5直到规则集中所有条目添加完毕，保存当前规则集；步骤7：将保存的规则集导出，在HDLDesigner工具程序的数据文件夹下进入目录“HDLDesignerSeries\dc_user\rulesets\v“工具版本号”，在该目录下可以看到名称与步骤3命名相同的文件名称后缀为_ruleset，将此文件拷贝出，该文件为制作的规则集文件；步骤8：步骤5中的规则条目配置时缺少部分要素，将步骤7导出的规则集用文本查看工具打开，根据缺少要素的规则条目名称定位到文本查看工具打开的规则集中的位置，将缺少的条目依据规则集的编码格式添加到对应的规则集代码行中，保存修改后的规则集；步骤9：重复步骤8直至所有规则条目的配置与需求完全一致，完成规则集的制作。

全文数据：

权利要求：

百度查询： 西安润道智检科技有限公司 基于HDLdesigner的规则集生成方法

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD