摘要
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.
出处
《计算机工程与设计》
CSCD
2004年第9期1444-1446,1503,共4页
Computer Engineering and Design
基金
国家863高技术计划基金(2002AA1Z030)
