首页> 外文OA文献 >High-level test generation for design verification of pipelined microprocessors

【2h】

High-level test generation for design verification of pipelined microprocessors

机译：用于流水线微处理器设计验证的高级测试生成

页面导航

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

著录项

作者
David Van Campenhout; Trevor Mudge; John P. Hayes;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Software-based self-test generation for microprocessors with high-level decision diagrams [J] . Anton Tsertov, Artjom Jasnetski, Marina Brik, Estonian Academy of Sciences. Proceedings . 2014,第1期

机译：具有高级决策图的微处理器的基于软件的自检生成
2. Generation of Test Data for Verification of Caching Mechanisms and Address Translation in Microprocessors [J] . E. V. Kornykhin Programming and Computer Software . 2010,第1期

机译：测试数据的生成，以验证微处理器中的缓存机制和地址转换
3. Automatic test generation for verifying microprocessors [J] . Corno F., Sanchez E., Reorda M.S., IEEE potentials . 2005,第1期

机译：自动生成测试以验证微处理器
4. High-level test generation for design verification of pipelined microprocessors [C] . David Van Campenhout, Trevor Mudge, John P. Hayes, ACM/IEEE conference on Design automation . 1999

机译：用于测试流水线微处理器的高级测试生成
5. Formal verification of pipelined microprocessors by correspondence checking [D] . Velev, Miroslav N. 2004

机译：通过对应检查进行流水线微处理器的正式验证
6. Bioinformatic data processing pipelines in support of next‐generation sequencing‐based HIV drug resistance testing: the Winnipeg Consensus [O] . Hezhao Ji, Eric Enns, Chanson J. Brumme, 2018

机译：支持下一代基于测序的HIV耐药性测试的生物信息学数据处理管道：温尼伯共识
7. High-Level Test Generation for Design Verification of Pipelined Microprocessors [O] . David Van Campenhout 1998

机译：用于流水线微处理器设计验证的高级测试生成
8. Plastic Design of Buried Steel Pipelines for Transport of Oil, Gas or Water, Verified by Tests on Scale Models [R] . van Douwen, A. A. , Gresnigt, A. M. , Stark, J. W. B. 1974

机译：石油，天然气或水运输埋地钢管的塑性设计，通过比例模型试验验证

High-level test generation for design verification of pipelined microprocessors

著录项

引文网络

相似文献

相关主题

期刊订阅