首页> 外文OA文献 >Practical Methods in Coverage-Oriented Verification of the Merom Microprocessor

【2h】

Practical Methods in Coverage-Oriented Verification of the Merom Microprocessor

机译：merom微处理器面向覆盖验证的实用方法

页面导航

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

著录项

作者
Alon Gluska;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Latch-based FPGA emulation method for design verification: case study with microprocessor [J] . Kim M., Kong J., Suh T., Electronics Letters . 2011,第9期

机译：用于设计验证的基于锁存的FPGA仿真方法：微处理器的案例研究
2. 8-way VLIW embedded microprocessor and logical verification method [J] . Teruhiko Kamigata, Hideo Miyake, Yasuki Nakamura, 電子情報通信学会技術研究報告. シリコン材料·デバイス. Silicon Devices and Materials . 2002,第271期

机译：8路VLIW嵌入式微处理器及逻辑验证方法
3. 8-way VLIW embedded microprocessor and logical verification method [J] . Teruhiko Kamigata, Hideo Miyake, Yasuki Nakamura, 電子情報通信学会技術研究報告. 集積回路. Integrated Circuits and Devices . 2002,第273期

机译：8路VLIW嵌入式微处理器及逻辑验证方法
4. Practical methods in coverage-oriented verification of the merom microprocessor [C] . Alon Gluska Annual conference on Design automation;Conference on Design automation . 2006

机译：merom微处理器面向覆盖验证的实用方法
5. Techniques to efficiently design and verify microprocessors [D] . Sudhakrishnan, Sangeetha 2011

机译：有效地设计和验证微处理器的技术
6. Practical Methods for Vehicle Speed Estimation Using a Microprocessor-Embedded System with AMR Sensors [O] . Vytautas Markevicius, Dangirutis Navikas, Adam Idzkowski, 2018

机译：使用带有AMR传感器的微处理器嵌入式系统进行车速估计的实用方法
7. Practical formal verification in microprocessor design [O] . R.B. Jones, J.W. OLeary, C.-J.H. Seger, 2001

机译：微处理器设计中的实际正式验证
8. Systematic Methodology for Verifying Superscalar Microprocessors [R] . Srivas, M. , Hosabettu, R. , Gopalakrishnan, G. 1999

机译：验证超标量微处理器的系统方法

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号