微处理器随机测试程序生成器  

Random test program generator for microprocessor functional verification

作　　者：王惊雷[1] 汪东升[1] 

机构地区：[1]清华大学计算机系,北京100084

出　　处：《计算机工程与设计》2004年第9期1444-1446,1503,共4页Computer Engineering and Design

基　　金：国家863高技术计划基金(2002AA1Z030)

摘　　要：CRTPG(Constraint-based Random Test Program Generator)是一个基于约束的随机测试程序生成器。它采用约束满足(Constraint Satisfaction)的方法来产生满足不同测试需求的随机测试程序,用于微处理器的功能验证。详尽描述了CRTPG的结构和基于约束的随机测试程序生成方法,特别是利用分层的CSP约束网络实现了程序结构的控制。CRTPG (Constraint-based Random Test Program Generator) is a constraint-based random test program generator which uses constraint satisfaction method to generate various random test programs for microprocessor functional verification. CRTPG's architecture and algorithm of random generation based on constrants, especially two-level CSP constraint network which implements the control of program flow, are described.

关 键 词：随机测试 微处理器 生成器 约束满足 程序结构 生成方法 功能验证 CSP 分层 描述 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论] TP332[自动化与计算机技术—计算机科学与技术]