“逻辑综合”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果470576个，建议您升级VIP下载更多相关专利

[发明专利]FPGA逻辑综合中逻辑优化的实现方法及装置、系统-CN201911375726.2有效
发明人：刘奎;王宁;王维;王勇麟;宋宁;刘建华 -专利权人：广东高云半导体科技股份有限公司
申请日： 2019-12-27 - 公布日： 2022-10-28 - 主分类号： G06F30/343 文献下载
摘要：本发明公开了FPGA逻辑综合中逻辑优化的实现方法及装置、系统，包括：后端处理装置在读取综合后网表后判断综合后网表中的逻辑优化结果与后端需求是否匹配；若否，则生成逻辑优化导向信息以提供给前端逻辑综合装置；当获取到逻辑优化导向信息时，前端逻辑综合装置根据逻辑优化导向信息对综合后网表中的逻辑优化结果执行逻辑优化操作得到目标逻辑优化结果，并根据目标逻辑优化结果生成新的综合后网表，前端逻辑综合装置生成的综合后网表用于提供给后端处理装置可见，实施本发明能够通过后端需求多次引导FPGA逻辑综合中的逻辑优化方向，不仅提高了逻辑优化控制方式的通用性以及优化效率，还提高了逻辑优化后的结果与后端需求的匹配度。
fpga 逻辑综合优化实现方法装置系统

[发明专利]FPGA逻辑综合的优化方法及装置、系统-CN201910972542.8有效
发明人：宋宁;刘建华;刘奎;王宁;王维;张青 -专利权人：广东高云半导体科技股份有限公司
申请日： 2019-10-14 - 公布日： 2020-01-21 - 主分类号： G06F30/327 文献下载
摘要：本发明公开了一种FPGA逻辑综合的优化方法及装置、系统，包括：前端逻辑综合装置生成综合后网表；后端处理装置获取前端逻辑综合装置生成的综合后网表并判断接收到的综合后网表是否需要进行优化；若是，则生成优化指示信息并反馈至前端逻辑综合装置，若否，则根据综合后网表输出布局布线结果；当接收到优化指示信息时，前端逻辑综合装置根据优化指示信息对综合后网表执行优化操作以生成新的综合后网表，其中，前端逻辑综合装置生成的综合后网表用于提供给后端处理装置可见，实施本发明能够根据后端反馈的优化指示信息实现对逻辑综合的优化，提高了前端逻辑综合的结果与后端实际需求的匹配度，进一步提高了逻辑综合的通用性以及逻辑综合的质量。
后网前端逻辑综合装置逻辑综合指示信息优化后端处理装置实际需求优化操作反馈表输出匹配度布线

[发明专利]FPGA逻辑综合中逻辑平衡控制方法及装置、系统-CN201911106124.7有效
发明人：刘奎;张青;王维;王宁;宋宁;刘建华 -专利权人：广东高云半导体科技股份有限公司
申请日： 2019-11-13 - 公布日： 2022-06-17 - 主分类号： G06F8/41 文献下载
摘要：本发明公开了FPGA逻辑综合中逻辑平衡控制方法及装置、系统，包括：后端处理装置读取前端逻辑综合装置生成的综合后网表并判断综合后网表中的逻辑平衡结果与后端需求是否匹配，若否，则生成逻辑平衡导向信息并反馈至前端逻辑综合装置；当接收到逻辑平衡导向信息时，前端逻辑综合装置对综合后网表执行逻辑平衡优化操作以生成新的综合后网表，其中，生成的综合后网表用于提供给后端处理装置。可见，实施本发明能够根据后端处理装置反馈的逻辑平衡导向信息实现对综合后网表中逻辑平衡结果的优化，提高了逻辑平衡结果优化方式的通用性以及优化效率，还提高了逻辑平衡优化后的结果与后端需求的匹配度，进而提升了设计时序并降低功耗
fpga 逻辑综合平衡控制方法装置系统

[发明专利]基于结果导向的逻辑推理控制方法及装置、系统-CN201911375727.7在审
发明人：刘奎;张青;曹保健;宋宁;刘建华 -专利权人：广东高云半导体科技股份有限公司
申请日： 2019-12-27 - 公布日： 2020-05-26 - 主分类号： G05B19/042 文献下载
摘要：本发明公开了基于结果导向的逻辑推理控制方法及装置、系统，包括：后端处理装置读取综合后网表后判断综合后网表中的逻辑推理结果与后端需求是否匹配；若否，则生成逻辑推理导向信息，以提供给前端逻辑综合装置；当获取到逻辑推理导向信息时，前端逻辑综合装置根据逻辑推理导向信息对综合后网表执行逻辑推理优化操作得到逻辑推理优化结果，并根据逻辑推理优化结果生成新的综合后网表。可见，实施本发明能够根据后端处理装置提供的逻辑推理导向信息实现对综合后网表中逻辑推理结果的多次迭代优化，不仅提高了逻辑推理结果优化方式的通用性以及优化效率，还提高了优化后的逻辑推理结果与后端需求的匹配度，进而有利于提高逻辑综合的质量。
基于结果导向逻辑推理控制方法装置系统

[发明专利]多线程综合的控制方法及装置-CN202011503742.8有效
发明人：王宁;李元策;刘奎;张青 -专利权人：广东高云半导体科技股份有限公司
申请日： 2020-12-18 - 公布日： 2021-11-26 - 主分类号： G06F9/50 文献下载
摘要：本发明公开了多线程综合的控制方法及装置，包括：在解析RTL设计文件得到原始网表后，判断原始网表包括的所有类型的逻辑器件中是否存在满足预设器件分组条件的目标类型的逻辑器件；若是，则根据确定出的器件分组参数将目标类型的所有逻辑器件拆分成多个逻辑器件组；当需要对目标类型的所有逻辑器件进行逻辑综合时，启动预先为所有逻辑器件组创建的所有子线程并行执行对所有逻辑器件组的逻辑综合操作。可见，本发明能够在原始网表包括的逻辑器件中存在需要拆分的逻辑器件时，将其拆分成多个逻辑器件组并进行并行逻辑综合，有利于减少逻辑综合时间，提高逻辑综合效率，还能够提高CPU处理资源的利用率。
多线程综合控制方法装置

[发明专利]以逻辑综合结果为导向的层级结构优化方法及装置、系统-CN201911105850.7有效
发明人：刘奎;王宁;王维;宋宁;刘建华 -专利权人：广东高云半导体科技股份有限公司
申请日： 2019-11-13 - 公布日： 2022-07-12 - 主分类号： G06F15/78 文献下载
摘要：本发明公开了一种以逻辑综合结果为导向的层级结构优化方法及装置、系统，包括：前端逻辑综合装置生成综合后网表；后端处理装置读取前端逻辑综合装置生成的综合后网表并判断读取到的综合后网表的层级结构是否需要进行优化；若是，则生成层级结构优化指示并反馈至前端逻辑综合装置；当接收到层级结构优化指示时，前端逻辑综合装置根据层级结构优化指示对综合后网表的层级结构执行优化操作以生成新的综合后网表。可见，实施本发明能够根据后端处理装置反馈的层级结构优化指示实现对综合后网表的层级结构的优化，提高了前端逻辑综合的质量以及前端逻辑综合生成的综合后网表中层级结构与后端实际需求的匹配度，进而有利于提升设计时序并降低功耗
逻辑综合结果导向层级结构优化方法装置系统

[发明专利]逻辑综合方法、设备和存储介质-CN202010868667.9在审
发明人：刘宇朝;田宾馆;徐华锋;郭彬 -专利权人：深圳市中兴微电子技术有限公司
申请日： 2020-08-25 - 公布日： 2022-03-01 - 主分类号： G06F30/33 文献下载
摘要：本发明实施例公开一种逻辑综合方法、设备和存储介质，属于通信技术领域。该方法包括：根据目标配置文件中的模块综合配置信息，获取目标模块的综合输入数据，向第一目标服务器发送目标模块的综合输入数据以及逻辑综合工具的启动命令，获取第一目标服务器运行逻辑综合工具，对目标模块的综合输入数据进行逻辑综合后的网表文件及第一报告文件，当确定第一报告文件满足目标配置文件中的综合结果跟踪信息时，向第二目标服务器发送网表文件，向第三目标服务器发送网表文件以及综合输入数据。该逻辑综合方法，提高了逻辑综合的效率。
逻辑综合方法设备存储介质

[发明专利]逻辑更正方法、装置、设备及存储介质-CN202310819508.3在审
发明人：林德基;魏星;刁屹 -专利权人：奇捷科技（深圳）有限公司
申请日： 2023-07-06 - 公布日： 2023-08-04 - 主分类号： G06F30/327 文献下载
摘要：本申请涉及数字芯片设计技术领域，提供了逻辑更正方法、装置、设备及存储介质，其中，该方法通过逻辑设计阶段生成的初始RTL文件、对数字芯片的设计逻辑进行更改后，在所述逻辑设计阶段生成的目标RTL文件、在所述逻辑综合阶段基于所述初始RTL文件生成的通用技术网表、在所述逻辑综合阶段基于所述目标RTL文件生成的通用技术网表、在所述逻辑综合阶段基于所述初始RTL文件生成的门级网表、在所述逻辑综合阶段基于所述目标RTL文件生成的门级网表生成所述逻辑更正文本，并基于所述逻辑更正文本对所述第一门级网表进行更正，得到所述逻辑综合阶段的目标门级网表，提高了对逻辑综合阶段的初始门级网表进行更正的成功率。
逻辑更正方法装置设备存储介质

[发明专利]逻辑综合方法、装置、电子设备及存储介质-CN202110695130.1有效
发明人：张吉锋;邵中尉 -专利权人：上海国微思尔芯技术股份有限公司
申请日： 2021-06-23 - 公布日： 2021-10-01 - 主分类号： G06F30/327 文献下载
摘要：本发明提供一种逻辑综合方法、装置、电子设备及存储介质，应用于电子设计自动化技术领域，其中逻辑综合方法包括：获取设计文件中所有逻辑模块的实例化信息，确定唯一化实例模块列表，自下而上遍历唯一化实例模块列表，并对每个唯一化实例模块进行综合获得网表结果，合并各网表结果生成设计文件对应的综合网表。通过自下而上地对每个唯一化实例模块进行逻辑综合处理，可提高芯片设计中的逻辑综合效率。
逻辑综合方法装置电子设备存储介质

[发明专利]基于模型的综合导航监视模拟培训系统-CN201710787055.5在审
发明人：黄干明;吴敏;李裕;朱会柱;彭文攀 -专利权人：中国航空无线电电子研究所
申请日： 2017-09-04 - 公布日： 2018-02-02 - 主分类号： G09B9/00 文献下载
摘要：本发明公开了一种基于模型的综合导航监视模拟培训系统，包含综合导航监视系统逻辑行为模型、参与者模型、场景模型和交互界面；交互界面用于提供与综合导航监视系统逻辑行为模型、参与者模型和场景模型交互的手段；场景模型用于为综合导航监视系统逻辑行为模型和参与者模型提供与场景相关的状态的数据；参与者模型为综合导航监视系统逻辑行为模型提供驱动运行的数据。综合导航监视系统逻辑行为模型用于模拟综合导航监视系统的逻辑行为。本发明模拟了综合导航监视系统与用户以及维护工程师的所有交互，可以用于对用户和维护工程师进行直观高效的培训。
基于模型综合导航监视模拟培训系统

[发明专利]一种基于变异的FPGA逻辑综合工具模糊测试方法-CN202110687838.2有效
发明人：江贺;张漪;施重阳;刘辉 -专利权人：北京理工大学
申请日： 2021-06-21 - 公布日： 2022-11-08 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种基于变异的FPGA逻辑综合工具模糊测试方法，属于计算机软件测试技术领本发明针对FPGA逻辑综合器的特点，首先构建合适的逻辑综合器的测试用例集；然后，在符合Verilog HDL语法规则的前提下，设定变异算子并对测试用例种子程序执行变异操作，得到更有效的测试用例；之后，执行待测FPGA逻辑综合工具，对测试用例程序进行综合，转换与硬件资源相匹配的综合网表netlist；最后，通过验证网表netlist与综合前Verilog设计的等价性结果来判断FPGA工具是否存在缺陷。本方法通过设计变异算子执行变异产生更多有效的FPGA逻辑综合工具测试的测试用例程序，增加了测试用例的多样性，可以帮助FPGA设计开发者更好的找到检测逻辑综合工具中存在的故障，提高FPGA逻辑综合器的质量
一种基于变异 fpga 逻辑综合工具模糊测试方法

[发明专利]一种电网设备综合事件的混合分析方法-CN201710995066.2有效
发明人：刘路登;朱义贤;陈存林;王媛玥;李新;付洪波 -专利权人：国网安徽省电力公司;济南真正科技有限公司;国家电网公司
申请日： 2017-10-23 - 公布日： 2020-07-14 - 主分类号： G06Q10/06 文献下载
摘要：本发明公开了一种电网设备综合事件的混合分析方法，首先建立综合事件的特征库，根据各类综合事件所包含的信号类型，建立电气设备信号与综合事件类型的关联关系；然后分别建立穷举法和推理法的分析逻辑单元；根据电气设备信号特征，建立穷举法的分析逻辑单元和推理法的分析逻辑单元的选择逻辑；基于选择逻辑对接收到的电气设备信号进行混合分析，得到综合事件。本发明采用穷举法和推理法的分析逻辑单元相结合方法对电网综合事件进行分析，根据电气设备信号特征选择适当的分析逻辑单元，对系统接收到的电气设备信号进行自动分析，从而达到综合事件自动分析的目的。
一种电网设备综合事件混合分析方法

[发明专利]一种层次化逻辑综合方法、装置、设备和存储介质-CN202310417258.0有效
发明人：冯勇;田斌 -专利权人：太初（无锡）电子科技有限公司
申请日： 2023-04-19 - 公布日： 2023-07-11 - 主分类号： G06F30/327 文献下载
摘要：本发明公开了一种层次化逻辑综合方法、装置、设备和存储介质。包括：根据芯片逻辑设计功能模块所关联的各功能分块的逻辑综合结果，对功能模块进行设计处理获取各功能分块的外部约束；根据外部约束对各功能分块进行增量逻辑综合获取各功能分块对应的更新门级代码；根据更新门级代码对功能模块进行逻辑综合在对功能模块进行逻辑综合时获取各功能分块的外部约束，并根据外部约束对各功能分块进行优化获取更新门级代码，由于更新门级代码参考了外部实际的约束，从而在基于更新门级代码对功能模块进行逻辑综合时，无需对功能模块进行多次迭代逻辑综合
一种层次逻辑综合方法装置设备存储介质

[发明专利]一种战斗教练机中的前后舱飞控系统指令综合方法-CN201711293218.0有效
发明人：陶炬;万天才;孔红华;宋嘉赟;王怀;闫泓宇 -专利权人：中国航空工业集团公司成都飞机设计研究所
申请日： 2017-12-08 - 公布日： 2020-06-30 - 主分类号： G05B23/02 文献下载
摘要：本发明属于飞控系统技术，涉及一种战斗教练机中的前后舱飞控系统指令综合方法。本发明包括飞控超控权限开关综合逻辑、飞控超控开关综合逻辑、前后舱驾驶杆/脚蹬综合逻辑和座舱开关综合逻辑。本发明解决了前后舱无机械交联飞控系统的操纵问题，提高了飞控系统安全性，实现了正常情况下前后舱操纵指令叠加和开关指令综合。
一种战斗教练机中的后舱系统指令综合方法

[发明专利]快速逻辑等价性验证方法、装置、设备及存储介质-CN202310875980.9在审
发明人：刁屹;魏星;林德基 -专利权人：奇捷科技（深圳）有限公司
申请日： 2023-07-18 - 公布日： 2023-08-15 - 主分类号： G06F30/327 文献下载
摘要：本发明涉及集成电路等价性验证领域，公开了一种快速逻辑等价性验证方法、装置、设备及存储介质，用于提高逻辑等价性验证的效率。包括：读取目标电路的RTL文件及第一综合门级网表，将RTL文件作为参考文件；对第一综合门级网表进行数据提取，生成第一信息集合，通过第一信息集合进行中间操作逻辑分析，生成中间操作逻辑集合；通过中间操作逻辑集合进行模块数据提取，生成子模块逻辑数据集合；通过子模块逻辑数据集合对参考文件进行代码匹配，得到对应的RTL代码；过预置的内部综合器对RTL代码进行代码重组，生成第二综合门级网表；对第一综合门级网表及第二综合门级网表进行逻辑等价性验证，得到对应的逻辑等价性验证结果。
快速逻辑等价验证方法装置设备存储介质

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 100000 条