“张茜歌”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

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

[发明专利]密码核的安全验证方法、装置、电子设备及存储介质-CN202310491843.5在审
发明人： 张茜歌;慕德俊;周佳慧;朱嘉诚;姜义初;沈利香;赵豪;任增民 -专利权人：北京智芯微电子科技有限公司;西北工业大学
申请日： 2023-05-04 - 公布日： 2023-09-05 - 主分类号： G06F21/64 文献下载
摘要：本说明书涉及一种密码核的安全验证方法、装置、电子设备及存储介质。其中，安全验证方法包括：以密码核的执行逻辑为参考，基于信息流模型库中的目标基础模型生成密码核对应的目标信息流模型；其中，密码核对应有逻辑函数，逻辑函数包括运算单元，目标基础模型用于描述在执行运算单元时对电路信号的运算过程；目标信息流模型用于描述在执行密码核时对电路信号的运算过程；针对密码核需要验证的安全属性构建对应的安全属性断言；其中，安全属性断言用于加入目标信息流模型中；通过执行加入安全属性断言后的目标信息流模型，对密码核进行安全验证。本说明书实施例能够基于信息流分析的方式，处理RTL级代码，具有更高的验证效率和验证精度。
密码安全验证方法装置电子设备存储介质

[发明专利]程序流监控方法、编译方法、装置、处理器及计算机设备-CN202310708268.X有效
发明人： 张茜歌;李德建;王于波;刘亮;张喆;郝晓鹏;周佳慧;孙玉峰;刘朋远;丁海丽 -专利权人：北京智芯微电子科技有限公司;国网宁夏电力有限公司营销服务中心（国网宁夏电力有限公司计量中心）;国家电网有限公司
申请日： 2023-06-15 - 公布日： 2023-08-18 - 主分类号： G06F11/10 文献下载
摘要：本发明公开了一种程序流监控方法、编译方法、装置、处理器及计算机设备，所述程序流对应有控制流和数据流；所述控制流包括若干基本块；基本块头部在编译阶段插入有控制流校验指令，以及基本块尾部在链接阶段插入有数据流校验指令；所述程序流监控方法包括：在所述程序流运行到当前基本块的情况下，执行所述当前基本块内的所述控制流校验指令以校验所述控制流的正确性；在所述当前基本块运行至所述数据流校验指令的情况下，确定所述当前基本块的所有指令的CRC签名值，以校验所述数据流的完整性。由此在数据流和控制流上对程序流进行双重监控，可以有效检测程序执行行为与预期不符的问题。
程序监控方法编译装置处理器计算机设备

[发明专利]电路的可靠性验证方法及验证工具、存储介质、验证装置-CN202310545676.8在审
发明人：张喆;慕德俊;张茜歌;朱嘉诚;孙玉峰;沈利香;马俊;刘俊 -专利权人：北京智芯微电子科技有限公司;西北工业大学
申请日： 2023-05-15 - 公布日： 2023-08-11 - 主分类号： G06F30/398 文献下载
摘要：本发明公开了一种电路的可靠性验证方法及验证工具、存储介质、验证装置，其中，方法包括：对电路的输入信号和输出信号添加故障属性标签；针对多个故障类型中的任意故障类型，基于输入信号、输出信号和故障属性标签，构建任意故障类型对应的基本逻辑门的故障效应传播模型；其中，多个故障类型包括位翻转故障类型、随机故障类型和固定故障类型中的一种或多种；基于任意故障类型对应的基本逻辑门的故障效应传播模型，构建任意故障类型对应的电路的故障效应传播模型；基于电路的安全属性，对任意故障类型对应的电路的故障效应传播模型进行形式化断言，以确定电路的可靠性漏洞。本方法能够实现对电路的高效、全面的可靠性验证功能。
电路可靠性验证方法工具存储介质装置

[发明专利]乘法器与芯片-CN202310316246.9在审
发明人：刘亮;莫柯凡;张喆;潘彪;孙玉峰;周佳慧;张茜歌;李雷 -专利权人：北京智芯微电子科技有限公司;北京航空航天大学
申请日： 2023-03-28 - 公布日： 2023-08-01 - 主分类号： G06G7/16 文献下载
摘要：本发明涉及芯片技术领域，公开一种乘法器与芯片。所述乘法器包括：存储阵列，用于存储权重矩阵；输入模块，用于按多个周期依次输入一向量中的每个元素中的多个数据块；编码器，用于对每个周期输入的每个数据块进行编码，以获得每个元素在每个周期内的编码数据；部分积生成模块，用于将编码数据与权重矩阵相乘，以得到每个周期内的多组部分积；加法模块，用于将每个周期内的每组部分积相加，以得到每个周期内的每组部分积的总和；以及累加器，用于将每组部分积的总和进行移位相加，由此实现了数字存算一体电路，消除存储器与处理器之间的数据搬移，极大地提高能效与算力。
乘法器芯片

[发明专利]指令转移预测系统、方法、装置、计算机设备及存储介质-CN202310215287.9在审
发明人：刘亮;张馨予;张茜歌;王春萌;李伟立;易江芳;孙玉峰;蔡昊 -专利权人：北京智芯微电子科技有限公司;北京大学;国网江苏省电力有限公司信息通信分公司;国家电网有限公司
申请日： 2023-02-28 - 公布日： 2023-05-23 - 主分类号： G06F9/38 文献下载
摘要：本发明公开了一种指令转移预测系统、方法、装置、计算机设备及存储介质，所述指令转移预测系统包括预测单元、预测目标地址队列和取指单元；其中：所述预测单元，用于对转移指令进行多级分支预测；所述预测目标地址队列，用于在接收到第一级预测结果的情况下记录对应的所述转移指令的指令地址以及所述第一级预测结果，并在接收到所述转移指令对应的第二级预测结果的情况下，利用所述第二级预测结果覆盖对应的所述第一级预测结果；所述取指单元，用于从所述预测目标地址队列获取目标预测地址以进行相应的取指操作。由此将预测单元从原来的耦合结构中分离出来，有效提升预测单元的解耦合效果。
指令转移预测系统方法装置计算机设备存储介质

[发明专利]程序的时间约束方法、装置、芯片、电子设备及存储介质-CN202310054470.5有效
发明人：刘亮;刘先华;张茜歌;赵秀嘉;李雷;程旭;孙玉峰;周永忠 -专利权人：北京智芯微电子科技有限公司;北京大学
申请日： 2023-02-03 - 公布日： 2023-05-23 - 主分类号： G06F11/07 文献下载
摘要：本发明公开了一种程序的时间约束方法、装置、芯片、电子设备及存储介质。程序包括目标代码块、设于目标代码块的开始位置的第一时间约束指令和设于目标代码块的结束位置的时间检测指令，方法包括：执行第一时间约束指令，得到目标代码块的最大允许执行时长；执行目标代码块；执行时间检测指令，以在基于最大允许执行时长确定目标代码块执行超时时，进行超时异常提醒。由此，能够及时进行目标代码块的超时提醒，更合理且高效地实现资源的调度，以保证不同关键级别的任务都能够满足时间约束，提升了时序控制的精确度。
程序时间约束方法装置芯片电子设备存储介质

[发明专利]指令存储系统、方法、装置、计算机设备及可读存储介质-CN202310181347.X在审
发明人：周佳慧;李德建;刘亮;李伟立;张茜歌;江凇 -专利权人：北京智芯微电子科技有限公司;国网江苏省电力有限公司信息通信分公司;国家电网有限公司
申请日： 2023-02-27 - 公布日： 2023-05-12 - 主分类号： G06F9/38 文献下载
摘要：本发明公开了一种指令存储系统、方法、装置、计算机设备及可读存储介质，所述指令存储系统包括暂存模块，用于在回填处理模块获得指令缓存模块的访问权限的情况下，存储所述回填处理模块发送的指令数据，以向所述取指流水线提供目标指令。由此通过增加暂存模块，用于暂存回填处理模块回填至指令缓存模块中的数据，并为取指流水线提供需要的数据，在不引起流水线停顿的前提下有效提高回填处理模块回填的速度。
指令存储系统方法装置计算机设备可读存储介质

[发明专利]电路形式化模型简化方法及系统-CN202211270682.9有效
发明人：刘亮;赵毅强;张茜歌;张启智;李雷;陈琦;姜义初 -专利权人：北京智芯微电子科技有限公司;天津大学
申请日： 2022-10-18 - 公布日： 2023-03-24 - 主分类号： G06F30/3308 文献下载
摘要：本发明实施例提供一种电路形式化模型简化方法及系统，用于集成电路设计过程中的电路形式化模型简化，属于集成电路验证技术领域。所述方法包括：获取集成电路的设计信息，并基于所述设计信息进行形式化模型构建；基于所述形式化模型进行电路模型解构，获得多个电路子模块并组成子模块集；基于所述子模块集中各子模块之间的信号联动关系提取出所有存在交互影响的信号，作为交互关键信号；基于所述交互关键信号进行所有子模块重构，删除其中冗余状态，完成电路模型简化。本发明方案可以实现完全的自动化，不需要验证人员的手动操作，能够降低时间成本，提高验证精度。
电路形式化模型简化方法系统

[发明专利]CPU功耗测试设备、方法、系统、控制芯片及测试芯片-CN202211468895.2在审
发明人：刘亮;唐明;张茜歌;胡玄宇;张尧;李雷;陈琦;刘朋远;丁海丽 -专利权人：北京智芯微电子科技有限公司;武汉大学;国网宁夏电力有限公司营销服务中心（国网宁夏电力有限公司计量中心）;国家电网有限公司
申请日： 2022-11-22 - 公布日： 2023-03-21 - 主分类号： G06F11/22 文献下载
摘要：本说明书公开了一种CPU功耗测试设备、方法、系统、控制芯片及测试芯片。首先，通过利用控制芯片的第一片内总线、第一通用输入输出控制器、片间总线、测试芯片的第二片内总线建立控制用CPU和测试芯片的第二存储单元之间的连接，接着，利用控制用CPU从控制芯片的第一存储单元中读取测试程序，且控制用CPU可以通过第一通用输入输出控制器和所述片间总线将读取到的测试程序写入至测试芯片的第二存储单元，实现针对CPU的功耗测试所需的快速方便的测试平台的构建，提升了测试平台重复使用性和广泛适配性。
cpu 功耗测试设备方法系统控制芯片

[发明专利]寄存器堆校验装置、处理器、写操作及读操作方法-CN202211468314.5在审
发明人：燕雪松;李德建;刘亮;张喆;张茜歌;李伟立;刘朋远;丁海丽 -专利权人：北京智芯微电子科技有限公司;国网宁夏电力有限公司营销服务中心（国网宁夏电力有限公司计量中心）;国家电网有限公司
申请日： 2022-11-22 - 公布日： 2023-03-07 - 主分类号： G06F9/30 文献下载
摘要：本发明公开了一种寄存器堆的校验装置、校验结构、处理器、写操作及读操作方法，寄存器堆设置有写端口，写端口接收写索引信号、写数据；装置包括：针对写端口设置的校验位生成电路；校验位生成电路的数量大于一个，且小于等于写端口的数量；其中，写端口传递写数据至校验位生成电路，校验位生成电路对写数据进行计算，得到第一校验位数据；其中，第一校验位数据用于与写数据进行拼接，以构成能够写入至写索引信号对应的写目标寄存器中的写目标数据。由此基于寄存器堆的每个写端口设置一套校验位生成电路，在不影响寄存器堆正常功能的情况下，使所有寄存器能够复用较少的校验位生成电路，可以有效节省电路资源。
寄存器校验装置处理器操作操作方法

[发明专利]电力设备处理加速方法、装置、设备、芯片及介质-CN202211420171.0有效
发明人：李德建;刘亮;种挺;任增民;马俊;张茜歌 -专利权人：北京智芯微电子科技有限公司
申请日： 2022-11-15 - 公布日： 2023-02-21 - 主分类号： G06N3/063 文献下载
摘要：本公开涉及计算机处理技术领域，具体涉及一种电力设备处理加速方法、装置、设备、芯片及介质，所述电力设备处理加速方法包括：根据所述智能芯片中神经网络的硬件结构、神经网络中神经元的关键性和所述神经网络处理的数据的数据类型特性，确定所述神经网络中各层的脆弱因子；根据所述神经网络中各层的权重，确定所述神经网络中各层的第一调节因子；根据所述神经网络中各层的脆弱因子和第一调节因子，确定所述神经网络中各层的量化位数；根据确定的所述量化位数对所述神经网络进行量化，以使包括具有所述神经网络的智能芯片的电力设备在实现处理加速的同时提高可靠性。
电力设备处理加速方法装置设备芯片介质

[发明专利]向量指令处理方法、微处理器、计算机设备及存储介质-CN202211301981.4在审
发明人：孙玉峰;李德建;刘亮;李伟立;姜义初;张茜歌;李雷;陈琦;汪大洋 -专利权人：北京智芯微电子科技有限公司;国网江苏省电力有限公司信息通信分公司;国家电网有限公司
申请日： 2022-10-24 - 公布日： 2022-12-30 - 主分类号： G06F9/30 文献下载
摘要：本发明公开了一种向量指令执行方法、处理器、计算机设备及存储介质。通过向量指令锁定机制，向量指令被第二流水线接收后设置为锁定状态。向量指令标识随第一流水线流到写回级时解除向量指令的锁定状态；向量指令的顺序在第二流水线内部维护；第二流水线在向量指令的执行过程中，若处于锁定状态的所述向量指令没有被解锁，不能将执行结果写入向量寄存器，等待锁定解除后进行向量寄存器的写操作；从而确保向量指令的写回操作晚于向量指令前面的非向量指令的写回操作，从而在高效的执行向量扩展指令集V中的向量指令的同时，防止主流水线被陷阱事件打断而向量指令超前更新向量寄存器导致的程序一致性问题。
向量指令处理方法微处理器计算机设备存储介质

[发明专利]程序缓存泄露的检测方法和检测装置、存储介质、处理器-CN202210489619.8在审
发明人： 张茜歌;刘亮;唐明;赵东艳;燕雪松;王梦醒;周永忠;姜义初;田瑞 -专利权人：北京智芯微电子科技有限公司;武汉大学;国网宁夏电力有限公司营销服务中心（国网宁夏电力有限公司计量中心）;国家电网有限公司
申请日： 2022-05-06 - 公布日： 2022-07-29 - 主分类号： G06F21/55 文献下载
摘要：本发明公开了一种程序缓存泄露的检测方法和检测装置、存储介质、处理器，所述方法包括：获取程序的控制流图，并确定控制流图中敏感结点的结点类型；根据敏感结点的结点类型获取相应的泄露检测算法；根据泄露检测算法确定敏感结点是否存在缓存泄露。本发明的检测方法，能够有效检测到程序中是否存在缓存泄露，保证程序的理论安全性和提高程序的扩展性。
程序缓存泄露检测方法装置存储介质处理器

[发明专利]处理器指令多发射方法、双发射方法、装置及处理器-CN202210046744.1有效
发明人：刘亮;王于波;李伟立;张海峰;张茜歌;金学明;杜君;孙玉峰;李雷 -专利权人：北京智芯微电子科技有限公司
申请日： 2022-01-17 - 公布日： 2022-04-19 - 主分类号： G06F9/38 文献下载
摘要：本发明涉及处理器领域，提供一种处理器指令多发射方法、双发射方法、装置及处理器。所述处理器指令多发射方法包括：判断待处理的连续N条指令执行时需要的资源是否冲突，其中N为大于等于3的整数；在确定待处理的N条指令执行时需要的资源不冲突的情况下，在同一个时钟周期内发射待处理的第一条指令至第N条指令。本发明通过判断待处理的多条指令执行所需要的资源是否冲突来确定是否多发射指令，在资源不冲突的情况下多发射指令，处理器只需要一套执行单元，在不增加额外的执行单元的情况下实现指令多发射，提升处理器执行效率。
处理器指令多发方法发射装置

[发明专利]伪数据处理方法、装置、执行单元以及处理器-CN202210217293.3在审
发明人：赵东艳;刘亮;张茜歌;李德建;原义栋;刘浩;张海峰;燕雪松;吴红梅;邵瑾;徐鲲鹏 -专利权人：北京智芯微电子科技有限公司;国家电网有限公司
申请日： 2022-03-07 - 公布日： 2022-04-12 - 主分类号： G06F7/57 文献下载
摘要：本公开实施例公开了一种伪数据处理方法、装置、执行单元以及处理器。其中，伪数据处理方法包括：伪数据获取步骤，执行单元获取伪数据；伪数据操作步骤，在执行单元的状态为空闲状态的条件下，执行单元根据获取的伪数据，执行特定操作，得到伪输出数据，伪数据包括以下的至少一项：输入常数信息、第一随机数，从而用伪数据处理模拟有效操作，防止执行单元在空闲状态下的电流、电压、功耗发生变化，而被外部检测，遭受攻击。输入常数信息作为伪数据易于实现，第一随机数作为伪数据可以更真实的模拟有效操作。
数据处理方法装置执行单元以及处理器

1
2
3
下一页»
尾页
共 36 条