作者：王惊雷; 汪东升随机测试微处理器生成器约束满足程序结构生成方法功能验证csp分层描述
摘要：CRTPG(Constraint-based Random Test Program Generator)是一个基于约束的随机测试程序生成器.它采用约束满足(Constraint Satisfaction)的方法来产生满足不同测试需求的随机测试程序,用于微处理器的功能验证.详尽描述了CRTPG的结构和基于约束的随机测试程序生成方法,特别是利用分层的CSP约束网络实现了程序结构的控制.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
