[发明专利]跨平台通信中间件可视化建模方法在审
| 申请号： | 202011468725.5 | 申请日： | 2020-12-14 |
| 公开（公告）号： | CN112464595A | 公开（公告）日： | 2021-03-09 |
| 发明（设计）人： | 刘巍;陈勇;李寿阳 | 申请（专利权）人： | 中国电子科技集团公司第十四研究所 |
| 主分类号： | G06F30/33 | 分类号： | G06F30/33;G06F30/337 |
| 代理公司： | 南京知识律师事务所 32207 | 代理人： | 熊敏敏;高娇阳 |
| 地址： | 210039 江*** | 国省代码： | 江苏;32 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明属于数字电路设计技术领域，公开了一种跨平台通信中间件可视化建模方法。本发明的方法通过图形化方式生成跨平台通信用模板，包括：在处理器架构模板中，根据异构分布式系统平台的处理器架构，确定在处理器的地址和数据访问时的数据和地址对齐方式，以及处理器通信时的端序；在操作系统模板中，对跨平台通信中间件实现过程中涉及到的异构分布式系统平台操作系统调用接口进行定义；在通信方式模板中，定义跨平台通信中间件与异构分布式系统平台通信时使用的通信接口接口，包括常规通信接口模板、辅助通信配置接口模板。采用本发明能够快速准确地对通信中间件进行升级、扩展和移植，普适性好、开发周期短、效率高、可维护性好。 | ||
| 搜索关键词： | 平台 通信 中间件 可视化 建模 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国电子科技集团公司第十四研究所，未经中国电子科技集团公司第十四研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202011468725.5/，转载请声明来源钻瓜专利网。
- 同类专利
- 一种基于深度学习的芯片供电网络凸块电流估算方法及系统-202110505699.7
- 卓成;陈宇飞;温晨怡 - 浙江大学
- 2021-05-10 - 2023-10-27 - G06F30/33
- 本发明公开了一种基于深度学习的芯片供电网络凸块电流估算方法及系统，包括：生成不同底层电流激励和不同去耦电容密度和区域的电源网；通过数据增强的方式构造多样化的训练数据；构建轻量级卷积神经网络并利用之前构造的数据集进行训练获得训练模型；利用训练好的模型，针对不同的激励进行Bump电流分布快速评估。该方法通过针对不同的电源网训练Bump电流分布模型，对电路在工程变更顺序(ECO)阶段的查看每次变换结果具有重要意义。
- 一种门级时序电路输入向量的可靠性评估方法-202310836080.3
- 江建慧;施展辉;张颖 - 同济大学
- 2023-07-07 - 2023-10-24 - G06F30/33
- 本发明涉及一种门级时序电路输入向量的可靠性评估方法，包括以下步骤：S1、构建电路完整性链表；S2、判断待评估的输入向量是否是单输入向量，若是，则执行步骤S3；若否，则执行步骤S9；S3、构建单次评估矩阵；S4、构建待评估的单输入向量矩阵和基准单输入向量矩阵；S5、生成注入位置；S6、注入至单次评估矩阵；S7、计算原始输出信号故障次数；S8、计算单输入向量的可靠性，执行步骤S12；S9、构建待评估多输入向量矩阵；S10、计算故障次数；S11、计算多输入向量的平均可靠值；S12、返回可靠性评估结果。与现有技术相比，本发明首次对时序电路的输入向量的可靠性进行评估，不仅支持多个输入向量的平均可靠性评估还支持单个输入向量的可靠性评估。
- 对用于耦合到片上系统的组件的校准参数的引导时间确定-202310987516.9
- D·帕克阿里;S·R·沙拉麦克哈拉;R·帕雷赫;D·戴维斯科拉;D·帕特尔;E·塔塞斯基;Y·李;A·甘特曼 - 高通股份有限公司
- 2018-03-29 - 2023-10-24 - G06F30/33
- 对用于耦合到片上系统的组件的校准参数的引导时间确定方法。本文描述了各种另外的和替代的方面。在一些方面中，本公开内容提供了一种对组件进行校准的方法。该方法包括：在辅助SoC处从主要SoC接收用于外部组件的先前校准参数，其中，辅助SoC耦合到外部组件并且被配置为对外部组件进行校准。该方法还包括：由辅助SoC确定先前校准参数的有效性。该方法还包括：由辅助SoC基于所确定的先前校准参数的有效性来操作外部组件。
- 用于生成和存储电路仿真过程中的波形数据的方法、电子设备和存储介质-202210369305.4
- 詹宏;邵宸晟 - 华为技术有限公司
- 2022-04-08 - 2023-10-24 - G06F30/33
- 本公开涉及一种用于生成和存储电路仿真过程中的波形数据的方法。该方法包括：对用于表示电路的电路文件进行编译，以在编译数据库中生成针对电路的层级数据集。该方法还包括基于层级数据集和电路文件，对电路进行仿真，以在波形数据库中选择性地生成目标波形数据集。波形数据库被配置为提供接口以对编译数据库进行访问。该方法还包括在存储器中存储目标波形数据集的至少一部分。由于在编译阶段设置专用的编译数据库以存储层级数据集，并且在仿真阶段可以通过专用的波形数据库访问编译数据库来基于数字电路业务特征在仿真过程中选择性地生成相应波形数据并且选择性地存储波形数据，因此可以减少仿真过程中所生成和保存的波形数据量并且相应地减少仿真时间。
- 用于计算设备的验证方法及装置、电子设备及存储介质-202210364406.2
- 请求不公布姓名 - 上海壁仞智能科技有限公司
- 2022-04-07 - 2023-10-24 - G06F30/33
- 一种用于计算设备的验证方法及装置、电子设备及存储介质，计算设备包括互连模块以及至少一个计算单元，该验证方法包括：提供用于验证计算设备的验证环境，其中，验证环境包括请求队列、回复队列以及主总线功能模块；以及，利用请求队列和回复队列，并行执行多个验证线程，其中，多个验证线程包括测试线程、主线程和计算设备线程，主线程运行主总线功能模块进行对于计算设备的接口驱动与采样操作，通过互连模块与至少一个计算单元通信，测试线程向计算设备发送驱动信号以及从计算设备接收响应信号，计算设备线程运行计算设备以进行运算。该方法具有多线程并行仿真的优势，能够加快仿真速度，明显加快芯片开发速度。
- 一种验证方法、装置、电子设备及可读存储介质-202311188183.X
- 管明星;梁森;何伟;莫贞霞;穆洋 - 北京开源芯片研究院
- 2023-09-14 - 2023-10-24 - G06F30/33
- 本发明实施例提供一种验证方法、装置、电子设备及可读存储介质，涉及计算机技术领域。该方法包括：确定被测设计中各被测单元之间的传输信号；根据传输信号，建立被测设计对应的数据流模型；根据被测设计中传输信号的时序特征，建立被测设计对应的功能模型；基于数据流模型和功能模型，对被测设计进行验证。本发明实施例在保证被测设计验证过程的可靠性的同时，也降低了参考模型搭建的难度，提高了本发明实施例提供的验证方法可实现性。
- 基于自适应控制的晶闸管器件的参数估计方法及系统-202110976150.6
- 宗西举;刘福裕;安治豪;王国滨;焦志涛;马松祥;杨淑英;郑泽阳;郑江涛;葛浩 - 济南大学;山东中尧电力科技有限公司
- 2021-08-24 - 2023-10-24 - G06F30/33
- 本发明公开了基于自适应控制的晶闸管器件的参数估计方法及系统，针对晶闸管器件电路图求出传递函数；根据铭牌上阻尼电阻值和阻尼电容值得到传递函数的系数初始值；基于系数初始值和传递函数得到参数化模型；基于输入电压计算出参数化模型的理论输出值；基于输入电压得到晶闸管器件的实际测量输出值；将实际测量输出值与理论输出值进行对比得到误差模型；利用归一化梯度算法计算出待估计参数的更新率；基于误差模型运用归一化梯度算法计算出下一个待估计参数；对误差模型进行更新利用更新率反复迭代计算出传递函数的系数最终值；根据传递函数的系数最终值求解晶闸管器件阻尼电阻估计值和阻尼电容估计值。提高计算效率加快参数辨识的速度。
- 一种电压波形获取方法和存储介质-202310718887.7
- 曾宪强;诸葛晓婷;史凯 - 杭州行芯科技有限公司
- 2023-06-16 - 2023-10-24 - G06F30/33
- 本申请提供一种电压波形获取方法和存储介质，所述电压波形获取方法包括：确认电路的输入电流的电流函数；根据所述电路的结构信息生成传递函数；根据所述电流函数和所述传递函数，基于卷积算法生成所述电路的输出电压的电压波形。本申请提供的电压波形获取方法和存储介质基于卷积算法能够快速求解输入电流经过电路后生成的输出电压的电压波形，不仅精度高，还具有高效性的优点。
- 用于逻辑系统设计的仿真的方法、电子设备和存储介质-202310601280.0
- 袁宸;刘军;余胜蛟;齐正华 - 芯华章科技（厦门）有限公司
- 2023-05-25 - 2023-10-20 - G06F30/33
- 本申请提供一种用于逻辑系统设计的仿真的方法、电子设备和存储介质，方法包括：获取用于逻辑系统设计的仿真的约束条件，所述约束条件包括由多个原始变量构成的多个表达式；根据所述约束条件确定所述约束条件的命题骨架，其中，所述多个表达式分别用多个布尔变量替代；求解满足所述命题骨架的所述多个布尔变量的值的多个组合；以及基于所述多个组合分别求解满足所述约束条件的多个原始变量的值，采用本方法能够满足目前的用于逻辑系统设计的仿真的约束条件的求解需求。
- UVM验证平台的自动配置生成方法及相关设备-202310691737.1
- 俞挺 - 珠海星云智联科技有限公司
- 2023-06-13 - 2023-10-20 - G06F30/33
- 本申请公开了一种UVM验证平台的自动配置生成方法及相关设备，该方法包括：获取UVM验证平台中的待验证模块的用户手册，用户手册用于描述各类寄存器和表项的信息；根据用户手册生成UVM配置文件，UVM配置文件用于传递配置变量信息；基于UVM配置文件，配置m个寄存器读写函数；通过n个寄存器读写函数调用k个寄存器功能函数，通过该k个寄存器功能函数将UVM配置文件中的结构体赋值传递给与n个寄存器读写函数对应的寄存器，m个寄存器读写函数包括n个寄存器读写函数。采用本申请可以提升UVM验证平台的自动配置。
- 带DMA接口的SPI模块验证平台和方法-202310846508.2
- 刘昱玮;刘功哲;冯华;冷勇;蒋晓倩 - 上海芯钛信息科技有限公司
- 2023-07-11 - 2023-10-17 - G06F30/33
- 本申请涉及一种带DMA接口的SPI模块验证平台和方法。所述验证平台包括：仿真测试顶层文件，用于验证平台的初始化，以及连接验证平台和待测模块DUT，并启动测试用例；基础测试组件，用于创建平台环境以及SPI配置组件，以及提供用于测试用例实用的公用任务；测试用例组件，用于为所述待测模块DUT的功能测试提供测试用例，在所述测试用例中完成所述SPI配置组件的随机化、测试激励产生以及数据包启动与运行，并且调用所述基础测试组件的所述公用任务进行传输数据比较；环境创建组件，用于对AHB验证系统进行组件封装、对AHB验证系统的代理组件进行组件参数配置以及设置SPI代理组件；采用本方法能够提高带DMA接口的SPI模块验证效率。
- 构建SystemVerilog对象多层结构的按需加载方法、电子设备和介质-202310892683.5
- 林航 - 北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司;成都融见软件科技有限公司
- 2023-07-20 - 2023-10-17 - G06F30/33
- 本发明涉及芯片技术领域，尤其涉及一种构建SystemVerilog对象多层结构的按需加载方法、电子设备和介质，方法包括步骤S1、获取SV子类对象需要构建的数据对应的构建数据类型和构建关键字，将多层结构中的SV子类对象对应的层级作为当前层级，执行步骤S2；步骤S2、判断内存中是否存在对应的缓存数据，若是，执行步骤S4，否则，执行步骤S3；步骤S3、加载当前层级中的构建数据类型对应的所有数据，并缓存至内存中；步骤S4、基于构建关键字进行匹配，若成功，则返回目标数据，结束流程，否则，执行步骤S5；步骤S5、将当前层级所对应的父类作为当前层级，返回步骤S2。本发明降低了大部分数据建模时间以及内存占用。
- 一种芯片测试设备及寄存器数据读写方法-202310871350.4
- 喻志伟;银磊;王锋 - 新华三半导体技术有限公司
- 2023-07-14 - 2023-10-13 - G06F30/33
- 本发明实施例提供了一种芯片测试设备及寄存器数据读写方法，涉及芯片验证技术领域，包括：在RGM接收到向虚拟寄存器中写入数据的写入指令的情况下，RGM确定上述写入指令指示的写寄存器模块的标识和目标传输变量；RGM基于对应关系，确定写寄存器模块的标识和目标传输变量的组合对应的写地址；RGM通过总线向DUT发送目标传输变量与写地址，其中，目标传输变量的取值为待写入数据；DUT将目标传输变量的取值写入写地址所指示的位置。应用本发明实施例提供的方案可以便于进行向寄存器写入数据的流水线操作。
- 一种高频忆阻仿真器电路-202310145998.3
- 周磊;王春娥 - 盐城工学院
- 2023-07-07 - 2023-10-13 - G06F30/33
- 本发明公开了一种高频忆阻仿真器电路，包括场效应管M0，场效应管M1和场效应管M2。M0的栅极M0.G与M1的漏极M1.D及M2的漏极M2.D相连。M1的栅极M1.G和M0的漏极M0.D均与输入v
- 一种基于同轴TSV的芯粒电-热-力多场协同设计方法-202310705763.5
- 谌东东;赵彦博;李迪;张启东 - 西安电子科技大学
- 2023-06-14 - 2023-10-10 - G06F30/33
- 本发明涉及一种基于同轴TSV的芯粒电‑热‑力多场协同设计方法，包括：建立单个的同轴TSV的电磁场有限元模型和热应力场耦合有限元模型；根据同轴TSV的电磁场有限元模型和热应力场耦合有限元模型，利用正交设计试验获取多组同轴TSV的设计参数与对应的性能指标值；根据多组同轴TSV的设计参数与对应的性能指标值，构建同轴TSV的设计参数与性能指标之间的映射关系模型；构建同轴TSV的多目标优化函数；根据映射关系模型和多目标优化函数，利用智能优化算法优化同轴TSV的设计参数，得到优化后的同轴TSV的设计参数。本发明的设计方法，可以提高芯粒系统电路设计效率，能快速确定最优的同轴TSV设计尺寸参数，降低研发成本，缩短芯粒系统研发周期。
- 一种嵌入式的逻辑优化验证流程框架及验证方法-202211059782.7
- 刘奎;唐兴达 - 山东启芯软件科技有限公司
- 2022-08-31 - 2023-10-10 - G06F30/33
- 本发明属于芯片验证的技术领域，公开一种嵌入式的逻辑优化验证流程框架及验证方法，包括：逻辑优化框架和验证框架；在所述逻辑优化框架中包括：保存逻辑优化前网表数据节点、保存逻辑优化后网表数据节点、标记优化关键点的节点；还包括所述优化前网表数据节点、优化后网表数据节点和优化关键点在并联后作为所述验证框架的输入。本发明按照上述流程，既完成了逻辑优化的操作，又高效的验证了优化操作的正确性，同时在出现问题时能够输出问题的关键点，以方便查找并确定问题原因，整个框架并不限定拓扑排序的方法，不限定功能对比数据的方式方法，强调整个逻辑优化及验证框架的创新。
- 一种编解码验证系统、方法、设备及可读存储介质-202310782255.7
- 朱佳齐;杨崇朋;黄运新 - 深圳大普微电子科技有限公司
- 2023-06-28 - 2023-10-03 - G06F30/33
- 本申请公开了计算机技术领域内的一种编解码验证系统、方法、设备及可读存储介质。本申请提供的编解码验证系统能够使编码模块和解码模块独立运行，设计完成的编码模块或解码模块可以单独部署于该系统中，使得相应编码模块或解码模块在该系统内被单独调用来进行芯片验证工作，降低了芯片验证工作的滞后性，缩短芯片开发的整体时间。同时，该系统提供的对比端便于定位编码模块和/或解码模块中存在的设计漏洞。而且，该系统使编码模块和解码模块在同一环境中进行验证，可以实现相同测试数据在不同模块中的复用，由此简化了芯片验证流程，可节约验证所用的计算机资源。
- 集成电路设计的验证方法、验证装置以及存储介质-202011514297.5
- 张剑峰;王斌;鄢传钦 - 海光信息技术股份有限公司
- 2020-12-21 - 2023-10-03 - G06F30/33
- 一种集成电路设计的验证方法、验证装置及存储介质。该验证方法包括根据使用测试用例组对该集成电路设计进行仿真得到的功能覆盖率报告确定该测试用例组中的重复测试用例。该集成电路设计的预期功能对应多个功能覆盖单元，该测试用例组包括多个测试用例，该多个测试用例的每个覆盖该多个功能覆盖单元中的至少一个，该重复测试用例所覆盖的功能覆盖单元被其它测试用例完全覆盖。该验证方法可以有效提高验证效率。
- 一种源文件修改定位系统及可读存储介质-202310844661.1
- 冯通 - 北京云枢创新软件技术有限公司;上海合见工业软件集团有限公司;成都融见软件科技有限公司
- 2023-07-11 - 2023-09-29 - G06F30/33
- 本发明涉及芯片验证技术领域，特别是涉及一种源文件修改定位系统及可读存储介质，其通过测试失败的测试用例查找第二子数据库，得到相应的关联信息列表；分别根据关联信息列表中所有的关联映射关系查找第一子数据库中的二级映射关系，得到与每个关联映射关系匹配的二级映射关系；根据每个二级映射关系所属的一级映射关系，得到修改列表的候选身份标识集合；根据候选身份标识集合中每个候选身份标识绑定的文件在修改前后测试的数据变化，确定目标身份标识。通过该方法能够快速定位到目标身份标识，在得到目标身份标识之后就能够快速查找测试失败的原因，进而缩短验证周期，提高验证效率。
- 拓扑结构的信号质量计算方法、装置、设备及介质-202310797007.X
- 刘波;邵绪晨;李楠 - 苏州浪潮智能科技有限公司
- 2023-06-30 - 2023-09-29 - G06F30/33
- 本发明提供了拓扑结构的信号质量计算方法、装置、设备及介质。包括：获取信号质量计算任务；确定目标拓扑结构当前各个关键结构对应的目标关键参数；获取各个关键结构对应的目标权重值，目标权重值是基于目标拓扑结构的样本关键参数以及样本眼图参数训练得到的；利用目标关键参数与目标权重值计算目标拓扑结构的当前眼图参数，并基于当前眼图参数确定信号质量。本申请解决了现有通过仿真的方式进行质量评估过程复杂的问题。由于用于计算眼图参数的权重值是预先训练得到的，所以当拓扑结构中关键结构的参数发生变化时，无需进行复杂的仿真操作，减少了时间消耗。只需输入关键结构的参数即可预测出拓扑结构的眼图参数，提高了信号质量计算效率。
- 功率器件失效率评估方法、计算机设备以及存储介质-202010613779.X
- 彭超;雷志锋;张战刚;何玉娟;黄云;恩云飞 - 中国电子产品可靠性与环境试验研究所（（工业和信息化部电子第五研究所）（中国赛宝实验室））
- 2020-06-30 - 2023-09-29 - G06F30/33
- 本申请涉及一种功率器件失效率评估方法、计算机设备以及存储介质。功率器件失效率评估方法包括：获取重离子的阈值能量；模拟沉积能量大于或者等于阈值能量的重离子入射至待测态功率器件的过程，确定功率器件的敏感区域；模拟辐射粒子入射至待测态功率器件而产生次级重离子的过程，获取辐射粒子产生的进入敏感区域的次级重离子的沉积能量；根据进入敏感区域的次级重离子的沉积能量与阈值能量的关系，获取待测态功率器件发生单粒子烧毁事件的次数；根据单粒子烧毁事件的次数，评估辐射粒子导致待测态功率器件的失效率情况。本申请可以有效降低测试成本。
- 用于验证待测设计的接口连接方法及相关设备-202111229988.5
- 马骁 - 杭州云合智网技术有限公司
- 2021-10-21 - 2023-09-26 - G06F30/33
- 本公开提供一种用于验证待测设计的接口连接方法及相关设备，方法包括：调用第一层验证环境的第一接口文件；基于所述第一接口文件和bind语句生成第一连接文件，并基于第一连接文件将所述第一层验证环境连接至所述待测设计对应的第一层模块，以实现所述第一层验证环境与述第一层模块之间的数据传输；以及基于所述第一连接文件和所述第二层模块的接口设置生成第二层验证环境的接口配置文件，并将所述接口配置文件经由配置数据库传递至所述第二层验证环境。根据本公开，以实现接口的自动声明、连接和配置传递，从而提升开发效率，加快项目进度。
- 一种电力边缘计算芯片的可靠性校验方法及系统-202310795679.7
- 辛明勇;徐长宝;李鹏;王宇;高吉普;祝健杨;习伟;何雨旻;姚浩;杨婧;张历;陈军健;刘德宏;冯起辉 - 贵州电网有限责任公司
- 2023-06-30 - 2023-09-22 - G06F30/33
- 本发明公开了一种电力边缘计算芯片的可靠性校验方法及系统，涉及芯片测试技术领域，包括获取预设的可靠性校验策略；对电力边缘计算芯片中的引脚进行可靠性校验，确定引脚在执行校验前后的输出信号变化量；针对输出信号变化量超过预设阈值的目标引脚，确定目标引脚对应映射到目标接口；确定配置参数，并按照配置参数调整目标接口的配置信息；触发目标接口执行预设功能进行功能加载处理，并基于反馈的加载处理结果校核电力边缘计算芯片的可靠性。本发明综合考虑了多个校核指标，可以提供更全面准确的可靠性评估，对于需要较高的可靠性评估和全面性评估的应用非常有价值。
- 衡量量子线路对应矩阵相似度的方法、装置及存储介质-202210241553.0
- 方圆;陈博颖;王晶 - 本源量子计算科技（合肥）股份有限公司
- 2022-03-11 - 2023-09-22 - G06F30/33
- 本申请提供一种衡量量子线路对应矩阵相似度的方法、装置及存储介质，解决了相关技术中矩阵相似度的度量方法不适用于衡量哈密顿量模拟效果的判断的技术问题，可以有效地衡量哈密顿量模拟的有效性。该衡量量子线路对应矩阵相似度的方法包括：获取模拟哈密顿量H的量子线路的模拟数据；其中，所述模拟数据包括量子线路对应的线路矩阵U以计算结果矩阵A；线路矩阵U和计算结果矩阵A均为方阵；根据线路矩阵U或计算结果矩阵A的维度、线路矩阵U以及计算结果矩阵A，获取计算结果矩阵A到线路矩阵U的过程保真度；根据线路矩阵U或计算结果矩阵A的维度以及计算结果矩阵A到线路矩阵U的过程保真度，计算线路矩阵U和计算结果矩阵A的相似度。
- 一种基于大数据的开发板数据分析管理系统及方法-202311094797.1
- 暴宇;李银斯;郝智翔 - 北京汤谷软件技术有限公司
- 2023-08-29 - 2023-09-22 - G06F30/33
- 本发明涉及芯片验证技术领域，具体为一种基于大数据的开发板数据分析管理系统及方法，包括：芯片分割模块、大数据预测模块、电平管理模块、数据传输模块和解复用模块，芯片分割模块用于对输入的芯片设计进行分割，大数据预测模块用于对开发板之间的互联信号数量作出预测，电平管理模块用于确认系统的复用级别数量、电平调整系数和电平调整值，数据传输模块用于对初始信号分组，把调整后的信号合并为一组进行信号传输，解复用模块用于在接收端将信号重新排列，还原为初始信号，本发明能够实现开发板之间端口的复用，进行一次信号传输就可以传输大量信号，提高了FPGA开发板的运行频率。
- 用于调试逻辑系统设计的方法及电子设备-202211150883.5
- 连凯;黄世杰 - 芯华章科技（北京）有限公司
- 2022-09-21 - 2023-09-22 - G06F30/33
- 本申请涉及计算机应用技术领域，具体公开了一种用于调试逻辑系统设计的方法及电子设备，所述方法包括：接收在图形化调试工具中选定调试对象的指令，所述调试对象包括一个或多个设计要素；确定所述一个或多个设计要素的特征描述；根据所述特征描述在所述调试工具中生成图形窗口，所述图形窗口用于显示所述一个或多个设计要素在拖拽操作中的信息。本申请通过图形化界面显示选定的调试对象的一个或多个设计要素在拖拽操作中的信息，便于用户判断当前选定的调试对象是否包括需要调试的设计要素，使得用户可以调整选定的调试对象，减少了不必要的拖拽到功能窗口查看信号的操作，提高了调试效率，减少了用户的时间成本。
- 对集成电路设计进行分析的方法、装置、终端及存储介质-201911324052.3
- 胡伟;朱岩 - 北京天下行知科技有限公司
- 2019-12-20 - 2023-09-22 - G06F30/33
- 本申请实施例提供了一种对集成电路设计进行分析的方法、装置、终端及存储介质。其中方法：确定与待测试的集成电路设计对应的时间信息流模型；基于多个测试条件，确定时间信息流模型输出的与多个测试条件分别对应的输出时间属性标签，任一测试条件包括多个测试输入信号各自的值，以及相应的输入时间属性标签；依据时间信息流模型输出的与多个测试条件分别对应的输出时间属性标签，对集成电路设计的时间信息流进行分析。本申请实施例将时间属性标签的唯一性作为判断集成电路设计时间信息流安全性的标准，解决了现有技术中因无法对时间信息流进行精确建模与分析，导致的攻击者利用信息流的时间信道流向来窃取用户信息的问题，提高了硬件设备的安全性。
- 一种集成芯片的被动模式验证方法及系统-202310757356.9
- 宣琦;邵佳飞;谢幼群;王磊;梁峰 - 杭州市滨江区浙工大网络空间安全创新研究院
- 2023-06-26 - 2023-09-19 - G06F30/33
- 本发明公开了一种集成芯片的被动模式验证方法及系统，涉及芯片验证技术领域，包括搭建基于UVM的SV域验证平台、基于Mealy状态机的CPP域验证平台以及信号传输通道；SV域验证平台将第三方VIP提供的测试序列作为待测设计激励，接收待测设计的输出信号并周期采样，将采样后的信号封装成第一事务；第一事务在CPP域验证平台进行检测；将检测结果通过信号传输通道传输给SV域验证平台进行报错或警告处理并在验证结束时输出验证报告。本发明基于被动模式全面且客观地监测不同测试案例下待测设计输出信号与通信协议要求的匹配度，对主端和从端之间收发情况进行规范约束，并且对信号中出现的时间或状态转换问题进行警告或报错处理。
- 一种芯片验证方法、装置及相关设备-202310799052.9
- 邹东斌 - 海光信息技术股份有限公司
- 2023-06-30 - 2023-09-19 - G06F30/33
- 本申请实施例提供一种芯片验证方法、装置及相关设备，所述方法包括：获取待测设计的输入请求事务包，所述输入请求事务包对应的操作类型为浮点原子操作或普通操作；获取待测设计的输出请求事务包，所述输出请求事务包为待测设计基于所述输入请求事务包的测试结果信息；若所述输入请求事务包的操作类型为浮点原子操作，基于所对应的输出请求事务包确定对应该浮点原子操作的操作完成时间，其中，所述输出请求事务包至少包括对应浮点原子操作的读操作返回事务包，基于所述读操作返回事务包确定对应该浮点原子操作的读操作完成时间；判断所述输入请求事务包对应的完成时间是否满足操作规则，本方案能够实现对浮点原子操作的顺序验证。
- 集成电路设计验证-202111498735.8
- 朱嘉华 - 芯华章科技股份有限公司
- 2021-12-09 - 2023-09-19 - G06F30/33
- 本申请提供用于验证IC设计(诸如超大规模集成电路(VLSI)设计)的方法和设备。该方法包括：获得IC设计的描述；基于所述描述确定所述IC设计是否包括组合回路，其中所述组合回路包括输出和连接到所述输出的输入；响应于所述IC设计包括所述组合回路，展开所述组合回路为展开回路，所述展开回路包括：连接以形成所述展开回路的第一迭代和第二迭代，其中所述第一迭代包括第一输出和第一输入，所述第二迭代包括第二输出和第二输入，并且所述第二输出连接到所述第一输入；以及连接在所述第一输入和所述第二输出之间的寄存器；以及验证具有所述展开回路的IC设计，其中所述第一迭代和所述第二迭代中的每一个包括与所述组合回路相同的组件。
- 专利分类
