| 微处理器随机测试程序生成器 |
| |
| 引用本文： | 王惊雷,汪东升. 微处理器随机测试程序生成器[J]. 计算机工程与设计, 2004, 25(9): 1444-1446,1503 |
| |
| 作者姓名： | 王惊雷 汪东升 |
| |
| 作者单位： | 清华大学,计算机系,北京,100084;清华大学,计算机系,北京,100084 |
| |
| 基金项目： | 国家863高技术计划基金(2002AA1Z030) |
| |
| 摘 要： | CRTPG(Constraint-based Random Test Program Generator)是一个基于约束的随机测试程序生成器。它采用约束满足(Constraint Satisfaction)的方法来产生满足不同测试需求的随机测试程序，用于微处理器的功能验证。详尽描述了CRTPG的结构和基于约束的随机测试程序生成方法，特别是利用分层的CSP约束网络实现了程序结构的控制。
|
| 关 键 词： | 功能验证 随机测试 约束满足问题(CSP) |
| 文章编号： | 1000-7024(2004)09-1444-03 |
Random test program generator for microprocessor functional verification |
| |
| WANG Jing-lei,WANG Dong-sheng. Random test program generator for microprocessor functional verification[J]. Computer Engineering and Design, 2004, 25(9): 1444-1446,1503 |
| |
| Authors: | WANG Jing-lei WANG Dong-sheng |
| |
| Affiliation: | WANG Jing-lei,WANG Dong-sheng Department of Computer Science and Technology,Tsinghua University,Beijing 100084,China |
| |
| Abstract: | CRTPG (Constraint-based Random Test Program Generator) is a constraint-based random test program generator which usesconstraint satisfaction method to generate various random test programs for microprocessor functional verification. CRTPG's architectureand algorithm of random generation based on constrants, especially two-level CSP constraint network which implements the control ofprogram flow, are described. |
| |
| Keywords: | functional verification random test constraint satisfaction program (CSP) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
