机译:基于BNF的自动测试程序生成器,用于兼容的微处理器验证
Advanced microprocessor; Automatic program generator; BNF; Compatibility verification; Coverage; Top-down recursive descent parsing method;
机译:基于BNF的自动测试程序生成器,用于兼容的微处理器验证
机译:自动生成测试以验证微处理器
机译:通过动态有偏伪随机测试程序生成器对IBM RISC System / 6000的验证
机译:使用Genesys测试程序生成器的微处理器功能验证方法。在x86微处理器家族中的应用
机译:在微处理器和存储系统的形式验证中自动生成不变量。
机译:创建面向医学的报告生成器的自动编程系统
机译:基于BNF的自动测试程序生成器,用于兼容微处理器验证
机译:基于知识的自动测试程序生成器,适用于所有系统的缩略测试语言