首页> 外文OA文献 >Multiprocessing design verification methodology for Motorola MPC74XX PowerPC microprocessor

【2h】

Multiprocessing design verification methodology for Motorola MPC74XX PowerPC microprocessor

机译：motorola mpC74XX powerpC微处理器的多处理设计验证方法

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Jen-tien Yen; Qichao Richard Yin;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. The development of component-level thermal compact models of a C4/CBGA interconnect technology: the Motorola PowerPC 603 and PowerPC 604 RISC microprocessors [J] . Parry J., Rosten H. IEEE transactions on components, packaging, and manufacturing technology. Part A . 1998,第1期

机译：C4 / CBGA互连技术的组件级热紧凑模型的开发：摩托罗拉PowerPC 603和PowerPC 604 RISC微处理器
2. DIE MIKROPROZESSOREN POWERPC 750™ UND POWERPC 740™ VON MOTOROLA [J] . Elektronik . 1998,第10期

机译：摩托罗拉的微处理机POWERPC 750™和POWERPC 740™
3. A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor [J] . JAYANTA BHADRA, ANDREW K. MARTIN, JACOB A. ABRAHAM Formal Methods in System Design . 2005,第1a2期

机译：验证Motorola MPC7450微处理器的嵌入式自定义内存的正式框架
4. Multiprocessing design verification methodology for Motorola MPC74XX PowerPC microprocessor [C] . Jen-Tien Yen, Qichao Richard Yin Conference on Design automation . 2000

机译：摩托罗拉MPC74XX PowerPC微处理器的多处理设计验证方法
5. Techniques to efficiently design and verify microprocessors [D] . Sudhakrishnan, Sangeetha 2011

机译：有效地设计和验证微处理器的技术
6. Industrial methodology for process verification in research (IMPROVER): toward systems biology verification [O] . Pablo Meyer, Julia Hoeng, J. Jeremy Rice, -1

机译：研究过程验证的工业方法论（IMPROVER）：系统生物学验证
7. A C-based RTL design verification methodology for complex microprocessor [O] . Joon-Seo Yim, Yoon-Ho Hwang, Chang-Jae Park, 1997

机译：用于复杂微处理器的基于C的RTL设计验证方法
8. Ada Compiler Validation Summary Report: Certificate Number: 940630W1.11363Rational Software Corporation VADS PowerPC => PowerPC, Product Number: 2100-01445, Version 6.2 IBM RS/6000 Model 250 under AIX 3.2.5 => Motorola MVME1601 (PowerPC 601 Bare Machine) [R] . 1994

机译：ada编译器验证摘要报告：证书编号：940630W1.11363Rational software Corporation VaDs powerpC => powerpC，产品编号：2100-01445，版本6.2 IBm Rs / 6000 model 250在aIX 3.2.5下=> motorola mVmE1601（powerpC 601裸机）

Multiprocessing design verification methodology for Motorola MPC74XX PowerPC microprocessor

著录项

引文网络

相似文献

相关主题

期刊订阅