“验证组件”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

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

[实用新型]骨外验证组件、验证组件-CN202222148801.5有效
发明人：高梁斌;江旭;胡旭民;李波;曾梓亮;杨灿春;张志磊 -专利权人：中山大学孙逸仙纪念医院
申请日： 2022-08-15 - 公布日： 2023-06-23 - 主分类号： A61B17/17 文献下载
摘要：本实用新型公开了一种骨外验证组件、验证组件，应用于截骨手术，包括：连接部件、第一固定板以及第二固定板，所述第一固定板与所述第二固定板分别位于截骨开口的两侧，所述第一固定板和所述第二固定板设置有与截骨后的骨骼上的固定针通道连接的固定通道在所述骨骼上固定截骨导板形成固定针通道，在所述截骨手术前根据预设的目标撑开角度确定截骨后所述固定针通道的位置，根据所述固定针通道的位置确定固定通道的位置，根据本实用新型的技术方案，能够达到提高截骨后撑开程度的验证的准确性的目的
验证组件

[发明专利]一种基于生产验证组件和消费验证组件的验证方法-CN201610792407.1在审
发明人：宋元哲 -专利权人：西安飞行自动控制研究所
申请日： 2016-08-31 - 公布日： 2017-08-18 - 主分类号： G06F17/50 文献下载
摘要：本发明公开了一种基于生产验证组件和消费验证组件的验证方法，包括生产验证组件(1)，消费验证组件(2)，待测设计(3)，测试平台(4)，具体步骤包括步骤1，生产验证组件(1)将信息通过输入接口(5)输入到待测设计(3)中；步骤2，待测设计(3)将信息通过输出接口(6)传输至消费验证组件(2)；步骤3，生产验证组件(1)与消费验证组件(2)均将信息发送至测试平台(4)；步骤4，所述测试平台对生产验证组件(1)和消费验证组件(2)发送的信息进行比对验证。
一种基于生产验证组件消费方法

[发明专利]一种基于仿真技术的芯片开发验证系统台-CN202210224452.2在审
发明人：刘兴茂;刘丹;张桂琴;暴宇;徐国超;马婧;宋太洙;李俊华 -专利权人：江苏汤谷智能科技有限公司;北京汤谷软件技术有限公司
申请日： 2022-03-07 - 公布日： 2022-07-29 - 主分类号： G06F30/3308 文献下载
摘要：本发明公开了一种基于仿真技术的芯片开发验证系统台，包括：验证组件获取模块、验证组件拆分模块、拆分单元关联性验证模块、拆分单元优先级划分模块、仿真信息匹配模块及芯片验证结果判定模块，所述验证组件获取模块根据待测芯片的所需验证的功能，获取各个的验证功能对应的验证组件，进行得到待测芯片对应的验证组件集合；所述验证组件拆分模块根据待测芯片对应的验证组件集合中各个验证组件在不同阶段获取的验证数据，将每个验证组件拆分成不同的拆分单元；所述拆分单元关联性验证模块获取待测芯片对应的验证组件集合中每个验证组件分别对应的各个拆分单元
一种基于仿真技术芯片开发验证系统

[发明专利]软件功能验证方法及装置-CN201610114812.8在审
发明人：许磊杰 -专利权人：阿里巴巴集团控股有限公司
申请日： 2016-03-01 - 公布日： 2017-09-08 - 主分类号： G06F11/36 文献下载
摘要：本公开实施例提供了一种软件功能验证方法及装置，所述方法包括获取用于进行软件功能验证的验证组件集合中的待执行验证组件；获取与所述待执行组件对应的组件执行方法，以及，组件执行方法的输入参数；当所述待执行验证组件之前存在验证组件时，根据所述待执行验证组件之前的验证组件的输出参数值确定所述组件执行方法的输入参数值；在将所述组件执行方法的输入参数替换为输入参数值后，执行所述组件执行方法。本公开可以将软件验证过程中的每个步骤组件化，根据软件验证功能获取验证组件集合，通过对多个组件的编排，以及多个实现组件间的数据传递，完成软件功能验证，组件化的方式提高了验证组件的复用性。
软件功能验证方法装置

[发明专利]曲率验证装置-CN202111415522.4在审
发明人：张彦学;储周硕;曾勇;郭燕茹;仲超;秦蕾;曲则宇;李仲璘;包玉峰;张宇霆 -专利权人：京东方科技集团股份有限公司;成都中电熊猫显示科技有限公司
申请日： 2021-11-25 - 公布日： 2022-02-15 - 主分类号： G01B5/20 文献下载
摘要：本公开提供了一种曲率验证装置，包括：基座，包括基座主体、曲面验证组件和调节组件；曲面验证组件通过调节组件固定在基座主体上，曲面验证组件用于承载待验证的面板，调节组件用于调节曲面验证组件的曲率；压弯组件，用于向待验证的面板施加压力以使其贴合曲面验证组件。
曲率验证装置

[实用新型]基于区块链的成绩验证装置及基于区块链的成绩验证系统-CN201821018289.X有效
发明人：王勇;杨四化;吴涵渠 -专利权人：深圳市奥拓体育文化发展有限公司
申请日： 2018-06-28 - 公布日： 2019-07-19 - 主分类号： G06F16/901 文献下载
摘要：本实用新型涉及一种基于区块链的成绩验证装置及基于区块链的成绩验证系统，基于区块链的成绩验证系统包括：区块链装置，包括存储器，存储器的至少部分存储区作为区块链区块，多个区块链装置的区块链区块链接成区块链；验证装置，包括第一输入组件、反馈组件、验证组件及通信组件，第一输入组件及反馈组件均连接于验证组件，验证组件连接于通信组件，通信组件连接于区块链区块，验证组件从第一输入组件接收输入信息，并通过通信组件将输入信息上传到区块链区块，区块链区块通过通信组件向验证组件反馈验证结果，验证组件将验证结果传递至反馈组件。上述基于区块链的成绩验证系统及基于区块链的成绩验证装置可以提供准确的成绩认证，防止置成绩造假。
区块验证组件通信组件验证系统验证装置成绩反馈组件输入组件验证结果存储器链装置本实用新型成绩认证接收输入区块链接输入信息反馈传递

[发明专利]一种基于UVM的芯片验证系统及验证方法-CN202211063842.2有效
发明人：何礼昕;夏云;彭俊 -专利权人：南京芯驰半导体科技有限公司
申请日： 2022-09-01 - 公布日： 2023-01-06 - 主分类号： G06F30/33 文献下载
摘要：一种基于UVM的芯片验证系统及验证方法，所述验证方法包括：运行于片上系统上的测试程序通过第一接口向UVM的验证平台发送验证组件配置信号；所述UVM的验证平台解析所述验证组件配置信号，生成包括地址信息、信号内容和操作符信息的验证组件数据；与所述地址信息相对应的验证组件响应所述验证组件数据完成验证组件的配置；所述测试程序通过第二接口和UVM的验证平台上对应的验证组件连接并进行仿真测试。本申请还提供一种基于UVM的芯片验证系统，方便测试程序和UVM的验证平台协同工作，提高了芯片验证的效率。
一种基于 uvm 芯片验证系统方法

[发明专利]验证平台的生成方法及装置、电子设备与存储介质-CN202310037522.8在审
发明人：请求不公布姓名 -专利权人：上海壁仞智能科技有限公司
申请日： 2023-01-09 - 公布日： 2023-04-28 - 主分类号： G06F30/398 文献下载
摘要：一种初始验证平台的生成方法及装置、目标验证平台的生成方法、电子设备与存储介质。该初始验证平台的生成方法包括：从模板库中读取模板文件；基于模板文件，建立每个第一验证组件的共用层和功能层，以得到多个第一验证组件。功能层继承自共用层，共用层中包括所对应的第一验证组件与多个第一验证组件中除所对应的第一验证组件之外的第一验证组件所共用的共用子组件，功能层中包括所对应的第一验证组件的功能子组件，功能子组件中设置有可配置化参数该初始验证平台的生成方法可以用于动态生成用于实现特定功能的目标验证平台，从而减少了手动改写代码带来的重复工作，节省了验证工作的时间，提高了验证可靠性。
验证平台生成方法装置电子设备存储介质

[发明专利]一种交换电路路由算法的验证方法及装置-CN202210577174.9在审
发明人：尹堉洲;谢琰瑾;李川;邢程;杨阳;田琳;靳雪;肖刚;杨靓 -专利权人：西安微电子技术研究所
申请日： 2022-05-25 - 公布日： 2022-08-19 - 主分类号： G06F30/398 文献下载
摘要：本发明公开了一种交换电路路由算法的验证方法及装置，将第一路由验证组件数据包转换为第一总线验证组件数据包；将第一总线验证组件数据包发送给待测交换电路的每个输入端口，待测交换电路的每个输出端口输出第二总线验证组件数据包；获取第二总线验证组件数据包，并将第二总线验证组件数据包转化为第二路由验证组件数据包；获取待测交换电路的每个输入端口的第一总线验证组件数据包，并转化为第三路由验证组件数据包；根据待测交换电路的理论路由算法逻辑，对第三路由验证组件数据包进行预测，得到第四路由验证组件数据包；将第二路由验证组件数据包与第四路由验证组件数据包进行比对，本发明提高了验证的覆盖率和效率。
一种交换电路路由算法验证方法装置

[发明专利]一种组件库验证方法、系统、设备及存储介质-CN202310298163.1在审
发明人：秦茂军 -专利权人：北京商银微芯科技有限公司
申请日： 2023-03-24 - 公布日： 2023-06-23 - 主分类号： G06F11/36 文献下载
摘要：本发明实施例提供了一种组件库验证方法、系统、设备及存储介方质法，其中，方法包括：获得用户输入的目标组件库的存储地址，并基于存储地址对目标组件库进行信息核验，在信息核验的核验结果内容是核验通过的情况下，获得用户输入的组件库验证指令，对组件库验证指令的验证类型进行识别，并调用与验证类型对应的预设验证指令组，对目标组件库进行验证，输出验证结果。本发明提高了对组件库的验证效率。
一种组件验证方法系统设备存储介质

[发明专利]一种模块接口验证组件的生成方法-CN201711335277.X在审
发明人：何全;付彦淇;鲁毅 -专利权人：天津津航计算技术研究所
申请日： 2017-12-14 - 公布日： 2018-06-29 - 主分类号： G06F17/50 文献下载
摘要：本发明公开了一种模块接口验证组件的生成方法，其特征在于该方法包括以下步骤：步骤1、采用一套经过验证确认功能正确的接口验证组件模板，将所述模板的验证组件文件中涉及信号使用的位置采用特殊标记；步骤2、接口验证组件生成模块读入接口信号配置文件，再根据输入配置将接口验证组件模板中的特殊标记替换成接口信号配置文件中的信号，并完成这些信号的组件接口行为代码，从而生成一套该接口的全套验证组件；步骤3、重复步骤1和步骤2，完成所有接口的模块接口验证组件该方法避免因各验证人员经验差异而产生的接口基本组件的质量差异，提高项目验证效率，缩短开发周期，提高验证组件实现质量。
验证组件模块接口接口信号配置文件验证标记替换基本组件开发周期生成模块输入配置项目验证信号使用行为代码质量差异组件接口读入重复

[发明专利]一种嵌入式软件的可组合信息流验证系统及方法-CN201310462831.6有效
发明人：习宁;马建峰;孙聪;李亚晖;牛文生;张涛;宣杭;郭鹏 -专利权人：西安电子科技大学;中国航空工业集团公司第六三一研究所
申请日： 2013-09-29 - 公布日： 2014-01-01 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种嵌入式软件的可组合信息流验证系统，包括用于对嵌入式系统中单一组件的信息流安全属性进行验证的组件验证子系统；用于对组件间信息流安全属性进行验证的可组合验证子系统；用于存储验证通过的组件验证证书，向用户、组件验证子系统及组合验证子系统提供证书更新、调用接口的组件证书库；用于接收验证引擎输出的失败信息，将嵌入式系统中失败的反例输出给用户，指导用户修改嵌入式系统设计的失败结果分析器；组件验证子系统和可组合验证子系统分别接组件证书库和失败结果分析器，组件证书库与系统证书导入相接，失败结果分析器输出系统反例。本发明对组件间信息流安全进行验证，从而保证组件组合后系统的信息流安全性。
一种嵌入式软件组合信息验证系统方法

[发明专利]用于片上系统芯片验证的方法、系统及验证平台-CN202110266859.7在审
发明人：杨俊炜;薛茂盛;蔡伟 -专利权人：黑芝麻智能科技（上海）有限公司
申请日： 2021-03-11 - 公布日： 2021-06-29 - 主分类号： G06F30/3308 文献下载
摘要：用于片上系统芯片验证的方法，包括建立包括接口协议组件、总线协议组件和验证组件的组件库；创建控制文件以控制验证平台，控制文件包括控制参数；根据验证需求，建立用于片上系统芯片的各处理器运行的软件库，建立用于组件库中相应组件的激励库，软件库包括各处理器的执行软件，激励库包括能发出各通用接口协议的激励的发生器；基于验证需求和控制文件，建立包括多个脚本文件的脚本库，脚本库包括验证平台控制文件解析脚本；在验证场景被确定的情况下，脚本解析验证平台的控制文件，以获得验证平台的控制参数；根据控制参数，从组件库选取所需组件以及从激励库中选取需要的激励以生成验证平台；以及通过验证平台来验证片上系统芯片。
用于系统芯片验证方法平台

[发明专利]一种岩石单轴条件下凯泽效应方向独立性验证装置及方法-CN202210216270.0在审
发明人：马春德;阳文源;张俊杰;王子赫;吕志海;周亚楠 -专利权人：中南大学
申请日： 2022-03-07 - 公布日： 2022-06-03 - 主分类号： G01N29/14 文献下载
摘要：本发明公开一种岩石单轴条件下凯泽效应方向独立性验证装置及方法，包括加载装置和验证装置，验证装置包括岩石试样和设置在岩石试样顶部及底部的顶验证组件和底验证组件；顶验证组件和底验证组件结构相同；顶验证组件顶部通过固定组件安装在加载装置底部；顶验证组件的试验台与岩石试样抵接；顶验证组件内还设置有角度定位板；角度定位板与滑动块相啮合；滑动块靠近岩石试样的一侧与试验台固定连接。本发明能够实现避免因二次加工，两次加载之间的时间间隔等因素对岩石声发射信号检测造成的不利影响，在提高验证精度的同时，降低实验验证的难度及成本。
一种岩石条件下效应方向独立性验证装置方法

[发明专利]芯片集成验证组件开发方法、装置及计算机设备-CN202310369200.3有效
发明人：胡振波;彭剑英;郭瑜;卢骏;熊涛 -专利权人：芯来智融半导体科技（上海）有限公司
申请日： 2023-04-10 - 公布日： 2023-08-15 - 主分类号： G06F30/33 文献下载
摘要：本申请实施例提供一种芯片集成验证组件开发方法、装置及计算机设备。该方法获取目标设计模块所属的SoC工程的环境配置信息，通过脚本进行目标验证组件的顶层生成；获取SoC工程所在测试平台的路径，在路径下存放目标验证组件，并生成用于编译的目标验证组件编译文件列表；根据目标验证组件的实现信息在SoC工程的验证顶层进行对目标验证组件的挂载，并将编译文件列表自动加载至SoC工程的编译系统；基于SoC工程的验证环境进行仿真，并通过开关实现目标验证组件的挂载和关闭，以进行联合调试和测试仿真。本申请能够高效精准的完成部分SoC验证工作中测试平台的对验证组件的搭建工作，为SoC级的整体验证工作节约时间。
芯片集成验证组件开发方法装置计算机设备

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