[发明专利]随机测试程序生成方法和系统以及设计验证方法有效
| 申请号： | 200910083767.4 | 申请日： | 2009-05-11 |
| 公开（公告）号： | CN101551749A | 公开（公告）日： | 2009-10-07 |
| 发明（设计）人： | 王玲;沈海华;李潮激 | 申请（专利权）人： | 中国科学院计算技术研究所 |
| 主分类号： | G06F9/44 | 分类号： | G06F9/44;G06F17/50 |
| 代理公司： | 北京泛华伟业知识产权代理有限公司 | 代理人： | 王 勇;姜 华 |
| 地址： | 100190北京*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明提供一种随机测试程序生成方法，包括下列步骤：1)编写并解析指令模板，并构建约束网络；2)利用小桶间的相容度计算小桶的计数函数；3)基于所述计数函数根据所述约束网络来计算随机变量的随机解；4)利用所述随机解设置指令的操作数，生成由所述指令构成的随机测试程序。利用该方法生成的测试程序更广，减少了实际RTL仿真时的时间消耗，同时也降低了出错时的调试难度。 | ||
| 搜索关键词： | 随机 测试 程序 生成 方法 系统 以及 设计 验证 | ||
【主权项】：
1.一种随机测试程序生成方法，包括下列步骤：1)编写并解析指令模板，并构建约束网络；2)利用小桶间的相容度计算小桶的计数函数；3)基于所述计数函数根据所述约束网络来计算随机变量的随机解；4)利用所述随机解设置指令的操作数，生成由所述指令构成的随机测试程序。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国科学院计算技术研究所，未经中国科学院计算技术研究所许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200910083767.4/，转载请声明来源钻瓜专利网。
