一种对门级网表的层次化检查方法

    公开(公告)号:CN118607437A

    公开(公告)日:2024-09-06

    申请号:CN202410781070.9

    申请日:2024-06-18

    IPC分类号: G06F30/337

    摘要: 本发明提供一种对门级网表的层次化检查方法,属于集成电路下数字芯片设计领域,本发明为解决在数字芯片设计流程中由于网表规模过大而带来的网表检查效率降低的问题。所述设计方法包括:对大型的网表文件按模式进行block划分;对划分后的每层block进行层次化分析并提取模型;采用综合ILM&ETM提取模型的方法避免了传统网表检查中忽略边界违例的问题;最后汇总每层的检查报告并输出为最终检查结果。通过层次化方法检查大型设计的面积大小、功耗大小、单元连接性错误等信息,相较于商业EDA工具使用的展平式检查效率更高,可以有效减少工具运行时间、优化内存占用、有助提高网表检查效率,降低芯片设计周期。

    一种基于HSM的层次化时序模型提取方法

    公开(公告)号:CN117408199A

    公开(公告)日:2024-01-16

    申请号:CN202311354166.9

    申请日:2023-10-18

    摘要: 本发明提供一种基于HSM的层次化时序模型提取方法,属于集成电路芯片时序模型领域,本发明为解决在芯片设计过程中的数据文件繁琐导致时序分析的准确性和分析效率的问题。所述方法包括:根据获取数字集成电路设计的关键数据并进行识别;生成集成电路的分析环境根据所述的分析环境;针对数字集成电路进行寄生参数的提取并反标到数字集成电路中;提取出超大规模时序模型;对时序库提取出共同类型的时序模型进行合并优化。本申请通过计算并提取模块时序,划分时序接口合并为一个时序模型文件,从而减少时序模型文件的数量。在芯片层次化设计下,可减少工具的运行时间和内存占用、有助于提高布线工具的时序模型设计集成度、减少数字集成电路的设计周期。

    一种基于层级双向LSTM和航迹推算的地磁导航方法

    公开(公告)号:CN116907480A

    公开(公告)日:2023-10-20

    申请号:CN202310765022.6

    申请日:2023-06-27

    IPC分类号: G01C21/08 G01C21/20

    摘要: 本发明涉及室内定位技术领域,具体涉及一种基于层级双向LSTM和航迹推算的地磁导航方法,包括采集地磁和传感器信息并进行预处理;基于预处理数据构建多维度地磁特征后进行归一化;基于多维地磁序列对层级双向LSTM神经网络进行训练,将多维度地磁待测数据输入到训练好的神经网络模型中进行地磁定位估计;采用非线性步长估计模型进行步长估计;基于采集的数据得到航向角;获取待测目标初始位置后,通过航向角和行人步长计算出行人移动后的位置坐标;剔除地磁定位和位置坐标的异常点并进行融合定位,得到定位估算结果,解决了现有定位技术的定位精确度与成本难以平衡的问题,对于不同的移动终端和场景具有很大的通用性和灵活性。

    一种广义延拓外推多普勒的改进周跳探测方法

    公开(公告)号:CN116736351A

    公开(公告)日:2023-09-12

    申请号:CN202310694448.7

    申请日:2023-06-13

    IPC分类号: G01S19/37 G06F18/10 G01S19/29

    摘要: 本发明提出一种广义延拓外推多普勒的改进周跳探测方法,包括一:获取单频观测数据,得到载波相位观测值和多普勒观测值;二:判断是否发生信号中断或者失锁,则根据失锁时间或者采样间隔选取最新的先验数据;三:利用获取的先验数据,建立广义外推模型;四:解算广义外推模型的常系数;五:利用解算的常系数建立多普勒外推多项式;六:利用外推多项式计算下一时刻多普勒外推值;七:利用外推多普勒值参与多普勒计算周跳;八:对相邻历元探测的周跳值作差;九:对作差的周跳值取绝对值并取整数值,将取整的检测值值与判决器设定的检测门限值比较大小,若检测值超过检测门限值,则认为发生周跳;若检测值没有超过检测门限值,则认为没有发生周跳。

    一种高精度RTK-GNSS差分信号模拟器系统和基点部署方法

    公开(公告)号:CN116643297A

    公开(公告)日:2023-08-25

    申请号:CN202310624203.7

    申请日:2023-05-30

    IPC分类号: G01S19/23

    摘要: 本发明提出了一种高精度RTK‑GNSS差分信号模拟器系统和基点部署方法,涉及RTK差分定位技术领域。本系统主要包括:上位机控制模块和导航数据编码中心;上位机控制模块含基点位置部署、移动点状态设定、星历的更换、频点选择以及数据可视化等功能;导航数据编码中心具有多核性质,并行计算多个频点的移动点和基点的可视卫星数字数据、通过IPC反馈实时数据给上位机以及通过PCIE与信号生成模块进行数据的交互。本基点部署方法为:根据移动点的轨迹的大地地理位置坐标和最大差分距离,计算得到在该轨迹上分布的基点分布坐标。本发明解决了传统模拟器使用单核架构无法实现GNSS差分信号的生成、处理单频信号数据效率低和基点部署问题。