专利详情

专利名称	随机测试程序生成方法和系统以及设计验证方法
申请号	CN200910083767.4	专利类型	发明专利
公开（公告）号	CN101551749	公开（授权）日	2009.10.07
申请（专利权）人	中国科学院计算技术研究所	发明（设计）人	王玲;沈海华;李潮激
主分类号	G06F9/44(2006.01)I	IPC主分类号	G06F9/44(2006.01)I;G06F17/50(2006.01)I
专利有效期	随机测试程序生成方法和系统以及设计验证方法至随机测试程序生成方法和系统以及设计验证方法	法律状态	专利实施许可合同备案的生效、变更及注销
说明书摘要	本发明提供一种随机测试程序生成方法，包括下列步骤：1)编写并解析指令模板，并构建约束网络；2)利用小桶间的相容度计算小桶的计数函数；3)基于所述计数函数根据所述约束网络来计算随机变量的随机解；4)利用所述随机解设置指令的操作数，生成由所述指令构成的随机测试程序。利用该方法生成的测试程序更广，减少了实际RTL仿真时的时间消耗，同时也降低了出错时的调试难度。