| 专利名称 | 随机测试程序生成方法和系统以及设计验证方法 | 申请号 | 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仿真时的时 间消耗，同时也降低了出错时的调试难度。 |
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障