首页> 外文OA文献 >Test Program Generation for Functional Verification of PowerPC Processors in IBM

【2h】

Test Program Generation for Functional Verification of PowerPC Processors in IBM

机译：用于IBm powerpC处理器功能验证的测试程序生成

页面导航

著录项
相似文献
相关主题

著录项

作者
A. Aharon; Dave Goodman; Moshe Levinger; Yossi Lichtenstein; Yossi Malka; Charlotte Metzger; Moshe Molcho; Gil Shurek; Yossi Malka Charlotte Metzger;
展开▼
作者单位

展开▼
年度 1995
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification [J] . Allon Adir, Eli Almog, Laurent Fournier, IEEE Design & Test of Computers Magazine . 2004,第2期

机译：Genesys-Pro：用于功能处理器验证的测试程序生成中的创新
2. Random test program generation for verification and validation of the Samsung Reconfigurable Processor [J] . Egger Bernhard, Son Eunjin, Lee Hochan, Journal of systems architecture . 2019,第期

机译：三星可重构处理器的验证和验证的随机测试程序生成
3. Generation of design verification tests from behavioral VHDL programs using path enumeration and constraint programming [J] . Vemuri R., Kalyanaraman R. IEEE transactions on very large scale integration (VLSI) systems . 1995,第2期

机译：使用路径枚举和约束编程从行为VHDL程序生成设计验证测试
4. Test program generation for functional verification of PowerPC processors in IBM [C] . Aharon Aharon, Dave Goodman, Moshe Levinger, ACM/IEEE conference on Design automation . 1995

机译：测试程序生成以在IBM中对PowerPC处理器进行功能验证
5. Automating Program Verification and Repair Using Invariant Analysis and Test Input Generation. [D] . Nguyen, ThanhVu Huy. 2014

机译：使用不变分析和测试输入生成来自动进行程序验证和修复。
6. Leukopak PBMC Sample Processing for Preparing Quality Control Material to Support Proficiency Testing Programs [O] . Ambrosia Garcia, Sarah Keinonen, Ana M. Sanchez, -1

机译：Leukopak PBMC样品处理用于准备质量控制材料以支持能力验证计划
7. Automatic generation of assertions for formal verification of PowerPC microprocessor arrays using symbolic trajectory evaluation [O] . Li-C. Wang, Magdy S. Abadir, Nari Krishnamurthy 1998

机译：使用符号轨迹评估自动生成用于形式验证powerpC微处理器阵列的断言
8. Program Description: Nmcs Information Processing System (NIPS) (IBM 1410/7010). Volume I. General Purpose Components. Part Viii. Multifile Output (Mop) and File Generation (Fct) [R] . 1968

机译：程序描述：Nmcs信息处理系统（NIps）（IBm 1410/7010）。第一卷。通用组件。第八部分。多文件输出（拖把）和文件生成（Fct）

Test Program Generation for Functional Verification of PowerPC Processors in IBM

著录项

相似文献

相关主题

期刊订阅