Document
拖动滑块完成拼图
专利交易 商标交易 积分商城 国际服务 IP管家助手 科技果 科技人才 会员权益 需求市场 关于龙图腾 更多
 /  免费注册
到顶部 到底部
清空 搜索
最新专利技术
  • 本发明公开了一种生成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分类实现快速查找;通过多轮映射优...
  • 本申请适用于电子设计自动化技术领域,提供了一种跨设计软件的网表数据协同处理方法,包括:获取第一网表数据;其中,第一网表数据用于表征第一原理图中多个电器元件之间逻辑连接关系和所述电器元件对应的封装库信息等;其中,第一原理图为基于第一设计软件构...
  • 一种基于关键路径的数字电路老化仿真方法,步骤包括:使用静态时序分析工具提取数字电路的关键路径;利用老化最坏情况分析法筛选潜在关键路径;获取关键路径及其激励的网表文件;通过老化前仿真获取关键路径不包含老化的延时;改变关键路径的激励并生成动态仿...
  • 本发明提供了基于图神经网络与状态空间模型的时序电路表征学习方法,属于电子设计自动化领域,该方法包括:获取时序电路图,通过设计四极嵌入空间,构建得到图神经网络推理模块;利用图神经网络推理模块,对时序电路图进行动态功能建模,得到节点嵌入向量;基...
  • 本申请公开了一种集成电路图像处理方法、电子设备及存储介质,所述方法包括:从集成电路的图形数据文件中获取图层的图形数据集,根据图形数据集确定出的图形总数量,将图形数据集划分为图层对应的至少一组图形数据组,将每一图形数据组转换为对应图层的第一位...
  • 本发明公开了一种基于多源数据驱动的河道‑管网耦合模型自适应校正方法,包括:获取河道‑管网系统的多源监测数据及降雨驱动数据,并进行多源数据的时空对齐处理,得到处理后的多源监测数据及降雨驱动数据;基于预存储的当前模型参数集,利用河道‑管网耦合模...
  • 本发明属于空间大地测量学、卫星导航定位技术以及大气科学交叉领域,公开了一种增强全球预报系统的实时对流层延迟建模方法。具体步骤为:首先,获取地表GFS预报的天顶流体静力延迟与天顶湿延迟,并以ERA5数据与GNSS对流层延迟产品的融合结果为参考...
  • 严寒城市地下空间热岛效应的多源模拟方法。涉及建筑技术科学与智慧城市交叉技术领域,具体涉及严寒城市地下空间热岛效应的多源模拟方法。本发明融合现场实测、CFD数值模拟与气候实验,模拟严寒城市地下空间热岛效应,获取用于指导建筑设计的参数。所述方法...
技术分类