-
公开(公告)号：CN110971481A
公开(公告)日：2020-04-07
申请号：CN201911071658.0
申请日：2019-11-05
Applicant: 天津芯海创科技有限公司 , 天津市滨海新区信息技术创新中心
Abstract: 本发明提供了一种缓存地址管理逻辑的测试方法，用于保证芯片内所有缓存地址管理逻辑实现的正确性；该方法能自动识别出芯片内所有缓存地址管理逻辑，且证明所有缓存地址管理逻辑在测试中被覆盖到；另外，该方法提供了实时检测各缓存地址管理逻辑在测试过程中工作正确性的手段，一旦出现地址重复分配或重复回收错误可及时上报并进行记录；同时，该方法提供了检查地址是否泄露的手段。
-
公开(公告)号：CN108089987A
公开(公告)日：2018-05-29
申请号：CN201711469174.2
申请日：2017-12-28
Applicant: 天津芯海创科技有限公司 , 天津市滨海新区信息技术创新中心
Inventor： 徐庆阳 , 刘勤让 , 沈剑良 , 宋克 , 吕平 , 朱珂 , 刘冬培 , 王盼 , 汪欣 , 谭力波 , 钟丹 , 张丽 , 丁青子 , 黑建平 , 杨晓龙 , 田晓旭 , 杨堃
IPC: G06F11/36
Abstract: 本发明提供了一种功能验证方法和装置，其中，所述方法包括：读取用户编写的配置文件；根据配置文件对待验证模块进行配置；对所述待验证模块的功能进行自动检查。本发明实施例能够对待验证模块的功能进行自动检查，不仅提高了验证结果的正确性，而且功能验证的效率较高。
-
公开(公告)号：CN111031015B
公开(公告)日：2022-05-06
申请号：CN201911202508.9
申请日：2019-11-29
Applicant: 天津市滨海新区信息技术创新中心 , 天津芯海创科技有限公司
Abstract: 本发明实施例公开了一种混合协议转换设计的验证方法、装置、设备及存储介质，其中，所述方法包括：根据所述混合协议的激励输入形态和约束条件以及所对应的输入接口，生成各接口对应的约束断言；根据所述混合协议的各输出口的输出形态和预期格式，生成各接口对应的检查断言；确定所述验证对象的时钟信号和复位信号；将激励输入信号输入到所述混合协议转换设计中，所述激励输入信号包括：约束断言、时钟信号和复位信号；接收输出结果，根据所述输出结果与检查断言的比较结果得到验证结果。可做到报文类型和激励组合的最大化遍历，保证验证的完备性；可根据需求的变化快速实现对不同种协议的转换支持。
-
公开(公告)号：CN108897724A
公开(公告)日：2018-11-27
申请号：CN201810722197.8
申请日：2018-07-03
Applicant: 天津芯海创科技有限公司 , 天津市滨海新区信息技术创新中心
Inventor： 钟丹 , 徐庆阳 , 刘冬培 , 刘勤让 , 沈剑良 , 朱珂 , 宋克 , 吕平 , 张丽 , 丁青子 , 黑建平 , 汤先拓 , 杨晓龙 , 田晓旭 , 杨堃 , 汪欣 , 丁旭
Abstract: 本发明公开了一种功能完成进度确定方法及装置，涉及芯片功能验证领域，包括：获取预先生成的XML文件，XML文件包括：与每个待测试功能对应的覆盖组所覆盖的变量及变量范围；利用自定义脚本，将多个覆盖组所覆盖的变量及变量范围转换为功能覆盖率代码；将功能覆盖率代码实例化；当接收到验证平台的启动指令时，在实例化的功能覆盖率代码中调用各覆盖组，以使每个覆盖组获取与自身对应的待测试功能的进度信息；启动存储于预设路径中的验证自动化脚本，将多个测试功能的多个进度信息进行验证计划反标，得到进度报告。本发明的一种功能完成进度确定方法及装置，自动生成功能覆盖代码，无需验证人员手动编写，节省工作时间，提高功能验证效率。
-
公开(公告)号：CN108763676A
公开(公告)日：2018-11-06
申请号：CN201810466001.3
申请日：2018-05-15
Applicant: 天津芯海创科技有限公司 , 天津市滨海新区信息技术创新中心
IPC: G06F17/50
CPC classification number: G06F17/5081
Abstract: 本发明提供了一种激励源及功能验证方法，所述激励源中的激励产生模块，用于生成用于测试待测模块的第一包流量，并将第一包流量分别发送给接口模块和包验证模块；接口模块用于将第一包流量发送给待测模块，以使待测模块处理所述第一包流量得到第二包流量，以及，将所述第二包流量发送给响应接收模块；响应接收模块用于接收第二包流量，并将第二包流量发送给所述包验证模块；包验证模块用于根据所述第一包流量和所述第二包流量验证所述待测模块所实现的功能是否正确，得到验证结果，达到能够通过包验证模块对包流量进行补充验证，保证验证待测模块的功能正确性时验证结果具有全面性的技术效果。
-
Patent Agency Ranking
公开(公告)号：CN115277607B
公开(公告)日：2023-12-26
申请号：CN202210854468.1
申请日：2022-07-15
Applicant: 天津市滨海新区信息技术创新中心
IPC: H04L49/901 , G06F9/54
Abstract: 本发明提供了一种异构系统复杂流量情况下的两级拟态判决方法，判决由一级变为两级，第一级判决将每个执行体当做主体与其余执行体数据进行比对，输出一级判决结果，二级判决接收到多个执行体通道的比对结果后进行分析，按照一定规则进行判决结果的选择输出；一级判决包括一级判决、队列一致性判决，一级判决以各个数据通路为主进行该通道和其他通道间数据的一致性判决比对，队列一致性判决用于多个数据通路的保序描述符的一致性判决比对，二级判决进行多个通道一级判决结果输出的最终裁决。本发明在进行主执行体切换时，保序队列及阵列无感知，一级判决无感知，只影响二级判决，不会有数据的丢失。
-
公开(公告)号：CN108897724B
公开(公告)日：2022-11-15
申请号：CN201810722197.8
申请日：2018-07-03
Applicant: 天津芯海创科技有限公司 , 天津市滨海新区信息技术创新中心
Inventor： 钟丹 , 徐庆阳 , 刘冬培 , 刘勤让 , 沈剑良 , 朱珂 , 宋克 , 吕平 , 张丽 , 丁青子 , 黑建平 , 汤先拓 , 杨晓龙 , 田晓旭 , 杨堃 , 汪欣 , 丁旭
IPC: G06F40/154 , G06F8/33 , G06F30/3323
Abstract: 本发明公开了一种功能完成进度确定方法及装置，涉及芯片功能验证领域，包括：获取预先生成的XML文件，XML文件包括：与每个待测试功能对应的覆盖组所覆盖的变量及变量范围；利用自定义脚本，将多个覆盖组所覆盖的变量及变量范围转换为功能覆盖率代码；将功能覆盖率代码实例化；当接收到验证平台的启动指令时，在实例化的功能覆盖率代码中调用各覆盖组，以使每个覆盖组获取与自身对应的待测试功能的进度信息；启动存储于预设路径中的验证自动化脚本，将多个测试功能的多个进度信息进行验证计划反标，得到进度报告。本发明的一种功能完成进度确定方法及装置，自动生成功能覆盖代码，无需验证人员手动编写，节省工作时间，提高功能验证效率。
-
公开(公告)号：CN115277607A
公开(公告)日：2022-11-01
申请号：CN202210854468.1
申请日：2022-07-15
Applicant: 天津市滨海新区信息技术创新中心
IPC: H04L49/901 , G06F9/54
Abstract: 本发明提供了一种异构系统复杂流量情况下的两级拟态判决方法，判决由一级变为两级，第一级判决将每个执行体当做主体与其余执行体数据进行比对，输出一级判决结果，二级判决接收到多个执行体通道的比对结果后进行分析，按照一定规则进行判决结果的选择输出；一级判决包括一级判决、队列一致性判决，一级判决以各个数据通路为主进行该通道和其他通道间数据的一致性判决比对，队列一致性判决用于多个数据通路的保序描述符的一致性判决比对，二级判决进行多个通道一级判决结果输出的最终裁决。本发明在进行主执行体切换时，保序队列及阵列无感知，一级判决无感知，只影响二级判决，不会有数据的丢失。
-
公开(公告)号：CN108089987B
公开(公告)日：2021-04-27
申请号：CN201711469174.2
申请日：2017-12-28
Applicant: 天津芯海创科技有限公司 , 天津市滨海新区信息技术创新中心
Inventor： 徐庆阳 , 刘勤让 , 沈剑良 , 宋克 , 吕平 , 朱珂 , 刘冬培 , 王盼 , 汪欣 , 谭力波 , 钟丹 , 张丽 , 丁青子 , 黑建平 , 杨晓龙 , 田晓旭 , 杨堃
IPC: G06F11/36
Abstract: 本发明提供了一种功能验证方法和装置，其中，所述方法包括：读取用户编写的配置文件；根据配置文件对待验证模块进行配置；对所述待验证模块的功能进行自动检查。本发明实施例能够对待验证模块的功能进行自动检查，不仅提高了验证结果的正确性，而且功能验证的效率较高。
-
公开(公告)号：CN108763743A
公开(公告)日：2018-11-06
申请号：CN201810521095.X
申请日：2018-05-28
Applicant: 天津芯海创科技有限公司 , 天津市滨海新区信息技术创新中心
IPC: G06F17/50
CPC classification number: G06F17/5081
Abstract: 本发明提供了一种验证平台、方法及电子设备，涉及芯片验证技术领域，包括：采样模块、参考模型、对比模块和多个外部接口驱动模块；每个外部接口驱动模块向待测设计DUT中与外部接口驱动模块连接的外部接口发送测试激励，使外部接口将测试激励发送给与外部接口对应的内部接口，进而使DUT根据测试激励生成第一输出结果；采样模块将从DUT的内部接口接收的测试激励发送给参考模型；以及将从内部接口接收的第一输出结果发送给对比模块；参考模型将根据测试激励生成的第二输出结果发送给对比模块；对比模块判断第一输出结果与第二输出结果是否一致。本发明的一种验证平台，无需对应每个外部接口配置监视器和记分板，大大节省工作量，提高验证效率。
-
-
-
-
-
-
-
-
-
Search Results
22
records
(took 0.055 seconds)
