一种formal验证的可复用模块级验证环境的建立方法

    公开(公告)号:CN116702669A

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

    申请号:CN202310706428.7

    申请日:2023-06-14

    Abstract: 本发明涉及一种formal验证的可复用模块级验证环境的建立方法,包括:根据DUT的测试需求,结合sva断言以及system Verilog语言搭建formal验证环境,其中,formal验证环境包括多个formal验证部件;设置外部工作状态控制器以控制formal验证部件的soc级可复用部分和soc级不可复用部分的开启和关闭。本发明通过对formal验证部件的soc级可复用部分与soc级不可复用部分进行分离,从而大大提升formal验证迁移验证平台的效率,通过设置外部工作状态控制器,在将验证环境从模块级迁移到soc级时,减少COV覆盖点,并且将不可复用的部件进行关闭,以避免在soc级验证过程中重复做模块级验证环境的测试,大大减轻了工作负担,提高了工作效率。

    一种基于多通道二级缓存的模块验证方法

    公开(公告)号:CN116028286A

    公开(公告)日:2023-04-28

    申请号:CN202211640607.7

    申请日:2022-12-20

    Abstract: 本发明公开了一种基于多通道二级缓存的模块验证方法,包括:激励发生器向多通道二级缓存和监视器发送当前控制信号;多通道二级缓存根据当前控制信号,在当前时钟周期内采用至少两个输出通道分别向每个接收通道同时发送数据,从至少两个输出通道中确定当前时钟周期内每个接收通道对应的实际输出通道,存储实际输出通道发送的数据;生成当前时钟周期内每个接收通道的仲裁信号后发至监视器,将当前时钟周期内该接收通道接收的数据输出至比较器;监视器从至少两个输出通道处获取当前时钟周期内发送至该接收通道的数据,并发送至比较器,对当前时钟周期内该接收通道的仲裁信号验证;比较器根据接收的数据对当前时钟周期内该接收通道输出的数据验证。

    一种氢终端金刚石/氧化镓异质集成互补器件及制备方法

    公开(公告)号:CN115831968A

    公开(公告)日:2023-03-21

    申请号:CN202211534911.3

    申请日:2022-12-01

    Abstract: 本发明涉及一种氢终端金刚石/氧化镓异质集成互补器件及制备方法,CMOS反相器包括:金刚石衬底层、氧化镓衬底层、第一源电极、第一漏电极、第一介质层、第一栅电极、氢终端表面层、第二源电极、第二漏电极、第二介质层和第二栅电极。本发明实施例通过异质集成的方法将氢终端金刚石PMOS和氧化镓NMOS结合在一起制备超宽禁带半导体CMOS器件,有效解决了金刚石难以实现n型掺杂、氧化镓难以实现p型掺杂的关键难题,保证了器件的各自的高性能和整体的高质量,实现了适合超高温、强辐照环境应用的高性能超宽禁带半导体CMOS反相器。

    嵌套金刚石散热层的纳米柱LED结构及制备方法

    公开(公告)号:CN113594342B

    公开(公告)日:2022-09-02

    申请号:CN202110546574.9

    申请日:2021-05-19

    Abstract: 本发明涉及一种嵌套金刚石散热层的纳米柱LED结构及制备方法,该纳米柱LED结构包括:衬底层;成核层,位于衬底层上;第一n型掺杂GaN层,位于成核层上;键合层,间隔分布在第一n型掺杂GaN层上;金刚石层,位于键合层上;若干纳米柱LED结构,位于第一n型掺杂GaN层上,且每个纳米柱LED结构均嵌套于金刚石层和键合层中;若干第一电极,位于第一n型掺杂GaN层上,且位于金刚石层之间,若干第一电极与若干纳米柱LED结构一一对应;若干第二电极,一一对应的设置在纳米柱LED结构上。该纳米柱LED结构将纳米柱LED结构嵌套于金刚石层中,同时解决了器件的散热问题和出光问题,提高了器件的性能。

    基于神经网络的GaN JBS二极管器件性能预测方法

    公开(公告)号:CN114692491A

    公开(公告)日:2022-07-01

    申请号:CN202210258348.5

    申请日:2022-03-16

    Abstract: 本发明涉及微电子器件技术与人工智能技术领域,具体涉及基于神经网络的GaN JBS二极管器件性能预测方法。本发明充分利用神经网络深度学习根据数据自动提取特征的特点,将其应用于GaN JBS二极管器件性能的预测,从而快速预测器件性能,并根据预测结果调整输入结构来优化器件特性;弥补了传统器件仿真和实验测试方法周期长、效率低、耗时耗力的不足,快速便捷地建立起由GaN JBS二极管器件结构与性能指标之间的关联,能够加速GaN JBS二极管性能预测的研究,降低预期性能指标下器件结构的设计难度。

Patent Agency Ranking