龙图腾网&IPTOP
- 微信扫码登录
- 账号密码登录
- 短信登录/注册
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
申请/专利权人：电子科技大学
摘要：本发明属于集成电路技术领域，具体涉及一种基于Python与SVA的通用型FPV自动化验证平台生成系统设计。在本发明中，通过对通用模块诸如状态机等设计的逻辑功能点的分解，构建由分离功能点描述的简易模型；然后根据规范化要求，进行Excel表格填写，将其描述成便于程序读入、检查与分析的表格形式；最后由Python程序完成检查、提示与验证平台代码的生成。
主权项：1.一种基于Python与SVA的通用型FPV验证平台自动化生成系统，其特征在于包括：将状态机提取并分解为能够进行较完备功能验证并具有复用性和通用性的功能点模型。然后将功能点划分为SVA的断言、覆盖、约束具体属性点，根据具体属性点进行后续表格设计与FPV验证平台代码的模板设计。提出了一种便于程序进行内容检查和提取，根据上述所提取的属性点，能够较完备描述状态机功能点的Excel表格模板。并对表格填写内容提出了规范化的要求，需按照规定进行填写。同时考虑到灵活性，提供了多种符合芯片设计领域的描述方式。基于Python语言与其丰富的第三方库进行程序设计。该程序能够对表格内容进行整理显示，自动检查表格填写内容是否符合规范，并对错误进行提示和正确示例展示；而后基于所划分的SVA属性点，根据具体填写内容，生成完整可用于进行FPV验证的代码。在上述平台基础上，针对AMBA2.0版本的AHB和APB同各自总线间的简要握手逻辑，同样进行了功能点的分解与模板属性点的设计，并在程序中设计了一种可通过参数化选择的方式，生成对应验证平台代码的方法。
全文数据：
权利要求：
百度查询： 电子科技大学 一种通用型FPV属性平台自动化生成系统
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
主营中国专利交易买卖与专利转让许可,高校科技成果推广与科技成果转化,知识产权运营管理与平台开发,科技人才专家库与科技猎头等科技服务
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号