Document
拖动滑块完成拼图
专利交易 商标交易 积分商城 国际服务 IP管家助手 科技果 科技人才 会员权益 需求市场 关于龙图腾 更多
 /  免费注册
到顶部 到底部
清空 搜索
最新专利技术
  • 本申请涉及一种跨进程仿真方法、装置、计算机设备和可读存储介质。基于内存配置信息在多个功能模块的其中一个功能模块中创建共享内存,并基于远程过程调用,建立多个功能模块的多个仿真进程之间的跨进程通信,进而运行多个仿真进程以对多个功能模块进行并行仿...
  • 本发明公开了一种物理信息神经网络驱动的集成芯粒热性能预测方法,包括:构建待预测集成芯粒系统的参数化几何模型,参数化几何模型包括固体域和流体域的几何模型;基于参数化几何模型,获取待预测集成芯粒系统的设计参数,设计参数包括固体域的几何参数和流体...
  • 本发明涉及脚本引擎嵌入技术领域,提供了一种在建模领域中嵌入脚本引擎的方法,包括:S1:选定脚本引擎的嵌入模式;S2:若为分离进程模式,宿主进程创建并启动带有脚本引擎的子进程;若为共用进程模式,宿主进程调用脚本引擎提供的函数;S3:若为分离进...
  • 本发明公开了一种ISO自动化验证方法,包括:创建归一化文档,所述归一化文档至少记录有需隔离信号的属性信息,所述属性信息包括:隔离使能信号、信号层级、信号名称及预期的隔离值;利用解析工具读取并解析所述归一化文档,以提取所述属性信息;基于所提取...
  • 本发明公开了一种生成CRG checker的方法、系统、电子设备及存储介质,涉及数字芯片技术领域,所述方法包括:创建并填写CRG表格文件,包括时钟表格和复位表格,将填写好的CRG表格文件作为参数输入到脚本中,通过脚本生成CRG checke...
  • 本发明公开了一种用于unknown状态信号的检测方法、系统及介质,涉及数字芯片验证技术领域,所述方法包括:利用包含设定参数的脚本获取需要处于unknown状态的信号列表,然后生成用于检查unknown信号的未知信号检查器unknown_ch...
  • 本申请涉及一种内存模型的配置方法、装置、计算机设备和存储介质,该方法应用于芯粒验证,其中芯粒包括多个芯片组,每个芯片组具有对应的验证环境;其方法通过获取每个芯片组在芯粒验证过程中发生访问内存模型的访问总次数;将访问总次数最大的芯片组对应的验...
  • 本发明公开了一种结构感知的双阶段强化学习SAT求解方法及相关装置,属于芯片设计领域,在变量初始化阶段引入芯片信号极性与逻辑一致性信息,构建结构感知的初始特征向量,突破传统图建模仅能表示局部逻辑关系的限制;设计主路径与采样路径组成的双阶段强化...
  • 本发明涉及芯片设计领域,具体公开了一种统计芯片设计功耗的验证方法,包括步骤:优化验证用例,确认后端提供的网表与 SDF 文件一致且反标正常,设定网表仿真采用 TT corner,搭建高效仿真基础;启动网表仿真,结束后检查 setuphold...
  • 本发明公开了一种基于双向混合查找的硬件符号执行方法,属于硬件安全验证领域。该方法通过前向符号执行和后向逆向推导的协同策略,优化传统硬件符号执行中的路径爆炸问题。具体包括:将硬件描述语言转换为LLVM中间表示;执行前向符号化探索并记录路径约束...
  • 本发明涉及电子自动化设计技术领域,特别是涉及一种覆盖率数据的通用合并方法、电子设备及存储介质,其通过加载包括模块映射和实例映射的映射文件,判断第一实例所属模块的抽象语法树结构和待合并的第二实例所属模块的抽象语法树结构是否相同,当相同时,若第...
  • 本发明公开了一种基于PVT条件的快速芯片性能预测方法及装置,采用Sobol序列采样方法在PVT空间中均匀采样,获取初始采样点集合并进行仿真,获得对应的性能指标数据;基于所述采样点及其性能数据构建高斯过程模型,实现对芯片性能在非采样点处的预测...
  • 本发明涉及定制化数据处理技术领域,提供了一种支持用户定制化数据的处理方法,包括:S1:特殊标志位体系定义与用户配置,定义通用的特殊标志位体系规范,同时提供用户配置接口;S2:进行用户定制化数据生成,用户依据定制化数据格式,在数据中嵌入规范的...
  • 本发明涉及仿真波形比对技术领域,提供了一种面向仿真波形文件的自动化对比方法,包括:S1:解析并获取测试结果数据,解析日志以获取潜在错误信号;S2:对专有格式的信号数据进行并发预处理,将其导出为PWL纯文本数据格式;S3:对每组result信...
  • 本发明公开了一种基于UVM的crg‑agent搭建方法及系统,涉及芯片验证技术领域,所述方法包括以下步骤:S1、配置输入参数,生成时钟复位接口;S2、创建配置对象;S3、对输入参数进行动态配置,实现动态传输;S4、根据步骤S3传输的配置产生...
  • 本发明具体涉及一种基于MaxSAT实现故障诊断的方法,通过迭代应用故障定位模型和MaxSAT算法,缩减候选组件集,实现故障组件的精确识别,同时提出增强型模型诊断方法,通过利用MaxSAT算法逐步约简故障定位模型,实现故障诊断。本方法可以识别...
  • 本申请公开了一种基于精确综合的图映射方法,包括:构建基于NPN等价类的精确综合结构库,并输入布尔网络;对输入布尔网络进行k‑Cut切割枚举并计算真值表,通过布尔匹配将切割与精确综合结构库中结构匹配,结合NPN分类实现快速查找;通过多轮映射优...
  • 本申请适用于电子设计自动化技术领域,提供了一种跨设计软件的网表数据协同处理方法,包括:获取第一网表数据;其中,第一网表数据用于表征第一原理图中多个电器元件之间逻辑连接关系和所述电器元件对应的封装库信息等;其中,第一原理图为基于第一设计软件构...
  • 一种基于关键路径的数字电路老化仿真方法,步骤包括:使用静态时序分析工具提取数字电路的关键路径;利用老化最坏情况分析法筛选潜在关键路径;获取关键路径及其激励的网表文件;通过老化前仿真获取关键路径不包含老化的延时;改变关键路径的激励并生成动态仿...
  • 本发明提供了基于图神经网络与状态空间模型的时序电路表征学习方法,属于电子设计自动化领域,该方法包括:获取时序电路图,通过设计四极嵌入空间,构建得到图神经网络推理模块;利用图神经网络推理模块,对时序电路图进行动态功能建模,得到节点嵌入向量;基...
技术分类