知识中心主页
文献服务
文献资源
外文期刊
外文会议
专业机构
智能制造
高级检索
版权声明
使用帮助
期刊
ISSN
0923-8174
刊名
Journal of Electronic Testing
参考译名
电子测试杂志:理论与应用
收藏年代
2000~2024
全部
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
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
制造业外文文献服务平台