首页> 外文OA文献 >Pre-silicon Verification of the Alpha 21364 Microprocessor Error Handling System

【2h】

Pre-silicon Verification of the Alpha 21364 Microprocessor Error Handling System

机译：Alpha 21364微处理器错误处理系统的硅前验证

页面导航

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

著录项

作者
Richard Lee; Benjamin Tsien;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. SyRA: Early System Reliability Analysis for Cross-Layer Soft Errors Resilience in Memory Arrays of Microprocessor Systems [J] . Vallero A., Savino A., Chatzidimitriou A., IEEE Transactions on Computers . 2019,第5期

机译：SyRA：早期系统可靠性分析，用于微处理器系统内存阵列中的跨层软错误恢复
2. SyRA: Early System Reliability Analysis for Cross-Layer Soft Errors Resilience in Memory Arrays of Microprocessor Systems [J] . Vallero A., Savino A., Chatzidimitriou A., IEEE Transactions on Computers . 2019,第5期

机译：SYRA：早期系统可靠性分析，用于微处理器系统内存阵列中的跨层软误差弹性
3. AUTOMATIC DIGITAL CORRECTION OF ERRORS OF MICROPROCESSOR SYSTEMS FOR METERING ELECTRICAL POWER [J] . L. P. Andrianova, E. B. Nabieva Measurement techniques . 2003,第7期

机译：用于计量功率的微处理机系统误差的自动数字校正
4. Pre-silicon verification of the Alpha 21364 microprocessor error handling system [C] . Richard Lee, Benjamin Tsien, PRichard Lee Conference on Design automation . 2001

机译：Alpha 21364微处理器错误处理系统的硅前验证
5. Automatic generation of invariants in formal verification of microprocessors and memory systems. [D] . Abu-Haimed, Husam Saad. 2004

机译：在微处理器和存储系统的形式验证中自动生成不变量。
6. Spine Stereotactic Body Radiation Therapy Residual Setup Errors and Intra-Fraction Motion Using the Stereotactic X-Ray Image Guidance Verification System [O] . Kosj Yamoah, Nicholas G. Zaorsky, Joshua Siglin, -1

机译：立体定向X射线图像引导验证系统用于脊柱立体定向放射治疗残留设置误差和肌内运动
7. Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor -- The DEC Alpha 21264 Microprocessor [O] . Scott Taylor, Michael Quinn, Darren Brown, 1998

机译：多发，无序，超标量alpha处理器的功能验证 - DEC alpha 21264微处理器
8. Verification of the FtCayuga fault-tolerant microprocessor system. Volume 1: A case study in theorem prover-based verification [R] . Srivas, Mandayam, Bickford, Mark 1991

机译：验证Ft Cayuga容错微处理器系统。第1卷：基于定理证明器验证的案例研究

Pre-silicon Verification of the Alpha 21364 Microprocessor Error Handling System

著录项

引文网络

相似文献

相关主题

期刊订阅