上海芯钛信息科技有限公司徐意获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉上海芯钛信息科技有限公司申请的专利基于UVM验证方法学的中断监控模块验证系统和方法获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119396643B 。
龙图腾网通过国家知识产权局官网在2025-10-21发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202411553019.9,技术领域涉及:G06F11/26;该发明授权基于UVM验证方法学的中断监控模块验证系统和方法是由徐意;冯华;刘功哲;陈洁;冷勇;肖芳宇设计研发完成,并于2024-11-01向国家知识产权局提交的专利申请。
本基于UVM验证方法学的中断监控模块验证系统和方法在说明书摘要公布了:本发明涉及基于UVM验证方法学的中断监控模块验证系统和方法,通过SystemVerilog语言搭建了对中断监控模块的注错、收集和检查于一体的先进的验证平台,包括基础测试组件以及实例化的外设、Cortex‑M微控制器、存储单元和待验证的中断监控模块,通过外设与Cortex‑M微控制器交互模拟真实的中断服务程序处理过程,使得对中断监控模块的验证过程更加符合真实的使用场景,同时,测试用例的高随机性和错误注入等多种场景结合保证了对中断监控模块验证的准确性和完备性,达到用低配置成本实现了待测的中断监控模块和验证环境的同步,大幅提高了中断监控模块的验证效率。
本发明授权基于UVM验证方法学的中断监控模块验证系统和方法在权利要求书中公布了:1.一种基于UVM验证方法学的中断监控模块验证系统,其特征在于,包括采用SystemVerilog语言搭建的验证平台,基于所述验证平台创建有基础测试组件并实例化设计集成;所述基础测试组件用于创建验证环境并构建实现外设按照各验证场景发送中断的各测试用例,各所述测试用例包括非错误注入用例和错误注入用例; 所述设计集成包括外设、Cortex-M微控制器、存储单元和待验证的中断监控模块,所述验证环境通过修改所述存储单元内的flag地址的内容实现与所述设计集成的设计代码通信;所述Cortex-M微控制器通过取指实现读写所述外设、读写所述中断监控模块的寄存器和退出中断服务程序,所述外设配置产生中断后送入所述中断监控模块和Cortex-M微控制器内; 在选择测试功能时,若所述测试用例选择为所述非错误注入用例,则配置所述Cortex-M微控制器和所述中断监控模块为相同的中断处理优先级,并选通相同的中断请求,配置所述外设置起中断,等待所有中断置起后所述Cortex-M微控制器进入抢占优先级最高的中断服务程序,所述中断监控模块对最高优先级中断进行监控并预期不产生异常报警;所述非错误注入用例在模拟软件行为后根据所述Cortex-M微控制器的当前状态清除对应中断; 若所述测试用例选择为所述错误注入用例,则配置所述Cortex-M微控制器和所述中断监控模块的中断处理优先级不一致,所述中断监控模块产生异常报警并记入错误记录;通过对所述错误记录中的预期产生的异常报警结果与实际产生的异常报警结果进行对比,若结果不一致则停止仿真,否则结束仿真。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人上海芯钛信息科技有限公司,其通讯地址为:202150 上海市崇明区长兴镇潘园公路1800号3号楼14347室;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励