[发明专利]一种基于显示控制系统的形式化验证方法在审
| 申请号： | 202011399429.4 | 申请日： | 2020-12-05 |
| 公开（公告）号： | CN112579439A | 公开（公告）日： | 2021-03-30 |
| 发明（设计）人： | 马城城;秦翔;刘晖;田珍;苏东阁;王晨光 | 申请（专利权）人： | 西安翔腾微电子科技有限公司 |
| 主分类号： | G06F11/36 | 分类号： | G06F11/36 |
| 代理公司： | 西安匠成知识产权代理事务所(普通合伙) 61255 | 代理人： | 商宇科 |
| 地址： | 710054 陕西省西*** | 国省代码： | 陕西;61 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种基于显示控制系统的形式化验证方法。本发明包括以下步骤：1)接口划分：对显示控制系统的所有接口按照输入、处理通路、输出三部分对接口进行划分，生成输入模块接口列表、处理通路模块接口列表、输出模块接口列表；2)参数配置：2.1)根据硬件提供的能力，确定合法参数的范围，超过该范围的为非法参数；2.2)按照各个接口的输入参数检查情况，选取合法参数的范围和非法参数范围内的相对应的典型参数；3)接口及参数组合：3.1)将步骤2.2)中所列的每个接口的典型参数逐次配置到相应接口中，生成多种参数配置情况；3.2)再依次对输入模块、处理通路模块、输出模块内的各接口参数的多种配置进行接口间的排列组合，以覆盖各模块中所有功能不同参数的组合；4)有效性筛选。本发明具有准确、简便、快捷的优点，提高了显示控制模块的验证效率。 | ||
| 搜索关键词： | 一种 基于 显示 控制系统 形式化 验证 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于西安翔腾微电子科技有限公司，未经西安翔腾微电子科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202011399429.4/，转载请声明来源钻瓜专利网。
