先进制造业知识服务平台
国家科技图书文献中心机械分馆 工信部产业技术基础公共服务平台 国家中小企业公共服务示范平台
主页
外文期刊
OA 期刊
电子期刊
外文会议
中文期刊
标准
网络数据库
专业机构
企业门户
起重机械
生产工程
高级检索
关于我们
版权声明
使用帮助
期刊
ISSN
0923-8174
刊名
Journal of Electronic Testing
参考译名
电子测试杂志:理论与应用
收藏年代
2000~2025
全部
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
2000, vol.16, no.1-2
2000, vol.16, no.3
2000, vol.16, no.4
2000, vol.16, no.5
2000, vol.16, no.6
题名
作者
出版年
年卷期
A biased random instruction generation environment for architectural verification of pipelined processors
Ta-Chung Chang; Vikram Iyengar; Elizabeth M. Rudnick
2000
2000, vol.16, no.1-2
A buffer-oriented methodology for microarchitecture validation
Noppanunt Utamaphethai; R. D. (Shawn) Blanton; John Paul Shen
2000
2000, vol.16, no.1-2
An efficient logic equivalence checker for industrial circuits
Jaehong Park; Carl Pixley; Michael Burns; Hyunwoo Cho;
2000
2000, vol.16, no.1-2
An RTL abstraction technique for processor microarchitecture validation and test generation
Jian Shen; Jacob A. Abraham
2000
2000, vol.16, no.1-2
Automatic vector generation using constraints and biasing
Jun Yuan; Kurt Shultz; Carl Pixley; Hillel Miller; Adnan Aziz
2000
2000, vol.16, no.1-2
Formal value-range and variable testability techniques for high-level design-for-testability
Sandhya Seshadri; Michael S. Hsiao
2000
2000, vol.16, no.1-2
On efficiently producing quality tests for custom circuits in PowerPC microprocessors
Li-C. Wang; Magdy S. Abadir
2000
2000, vol.16, no.1-2
Oscillation ring delay test for high performance microprocessors
Wen Ching Wu; Chung Len Lee; Ming Shae Wu; Jwu E. Chen; Magdy S. Abadir
2000
2000, vol.16, no.1-2
Testing for function and performance: towards an integrated processor validation methodology
Pradip Bose
2000
2000, vol.16, no.1-2
Verification simulation acceleration using code-perturbation
Byeong Min; Gwan Choi
2000
2000, vol.16, no.1-2
国家科技图书文献中心
全球文献资源网
京ICP备05055788号-26
京公网安备11010202008970号 机械工业信息研究院 2018-2025