设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
CNKI学位论文(309)
知网期刊论文(203)
在“
Elsevier电子期刊
”中,
命中:
8
条,耗时:0.0289863 秒
在所有数据库中总计命中:
512
条
1.
Modeling and simulation of circuits with shared structurally synthesized BDDs
作者:
Raimund Ubar
raiub@pld.ttu.ee
;
Lembit Jü
;
rimä
;
gi
;
lembit.jyrimagi@gmail.com
;
Jaan Raik
jaan@pld.ttu.ee
;
Vladimir Viies
viis@ati.ttu.ee
关键词:
Combinational and sequential circuits
;
Logic simulation
;
BDDs
;
Minimization of BDDs
;
SSBDDs
刊名:Microprocessors and Microsystems
出版年:2017
2.
Testability
integrated evaluation method based on
testability
virtual test data
作者:
Guanjun Liu
;
gjliu342@qq.com" class="auth_mail
Author Vitae
;
Chenxu ZhaoAuthor Vitae
;
Jing Qiu
;
Yong Zhang
关键词:
Data fusion
;
Fault detection
;
Integrated evaluation
;
Testability
verification
;
Virtual test
刊名:Chinese Journal of Aeronautics
出版年:February, 2014
3.
Testability
analysis based on the identification of testable blocks with predefined properties
作者:
Jaroslav Skarvada
;
Zdenek Kotasek
;
Tomas Herrman
关键词:
Testable block
;
Circuit partitioning
;
Test vectors reordering
;
Scan cells reordering
;
Low power
刊名:Microprocessors and Microsystems
出版年:2008
4.
Integrating
testability
with design space exploration
作者:
Zwolinski
;
M.
;
Gaur
;
M.S.
刊名:Microelectronics Reliability
出版年:2003
5.
Design for
Testability
for Highly Reconfigurable Component-Based Systems
作者:
Andrea Baldini
;
Paolo Prinetto
;
Giovanni Denaro
;
Mauro Pezzè
刊名:Electronic Notes in Theoretical Computer Science
出版年:2003
6.
Preface: Volume 82, Issue 6
作者:
Mauro Pezzè
刊名:Electronic Notes in Theoretical Computer Science
出版年:2003
7.
Testability
and the Refutation and Corroboration of Cladistic Hypotheses
作者:
Kluge
;
Arnold G.
刊名:Cladistics
出版年:1997
8.
Validation-directed specification of communications systems
作者:
Probert
;
Robert
;
Saleh
;
Kassem
;
Hua-Long
;
Yu
关键词:
communications systems
;
relative clock time
;
relative concurrency
;
validation-directed specifications
刊名:Information and Software Technology
出版年:1995
1
按检索点细分(8)
关键词(1)
文摘(7)
按出版年细分(8)
2027年及以后(1)
2017年(1)
2008年(1)
2003年(3)
2000年及以前(2)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.