龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
申请/专利权人：上海泰矽微电子有限公司
申请日：2024-05-24
公开（公告）日：2024-06-21
公开（公告）号：CN118228670A
主分类号：G06F30/367
分类号：G06F30/367;G06F30/3308;G06F115/02
优先权：
专利状态码：在审-公开
法律状态：2024.06.21#公开
摘要：本发明公开了一种基于断言的数模混合SOC的验证方法，包括：配置信号接口验证的方法和控制信号接口验证的方法，其中，配置信号接口验证的方法，包括：步骤S100：提取数模接口信号列表中的模拟信号名称，产生寄存器在模拟设计中的完整路径；步骤S200：根据模拟信号名称查询模拟信号名称对应的寄存器表格，产生寄存器在数字设计中的完整路径；步骤S300：生成配置信号接口断言；步骤S400：判断所有配置信号接口断言是否都已产生；若产生，则验证结束，若还没有全部产生，则返回继续执行步骤S100。本发明不会出现验证伪通过，能够早发现真正的设计问题。
主权项：1.一种基于断言的数模混合SOC的验证方法，其特征在于，包括配置信号接口验证的方法，具体步骤包括：步骤S100：提取数模接口信号列表中的模拟信号名称包含的寄存器名称和硬件子模块名称，产生寄存器在模拟设计中的完整路径；步骤S200：根据寄存器名称和硬件子模块名称查询模拟信号名称对应的寄存器表格；若查询到寄存器表格中存在所述模拟信号名称，则产生寄存器在数字设计中的完整路径；若在寄存器表格没有查询到所述模拟信号名称，则报错；步骤S300：根据步骤S100中寄存器在模拟设计中的完整路径和步骤S200中寄存器在数字设计中的完整路径，生成符合SystemVerilog语法的配置信号接口断言；其中，SystemVerilog为一种硬件设计和验证的语言；步骤S400：判断所有配置信号接口断言是否都已产生；若所有配置信号接口断言都已产生，则验证结束，否则返回步骤S100。
全文数据：
权利要求：
百度查询： 上海泰矽微电子有限公司 一种基于断言的数模混合SOC的验证方法
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号