PROBABILITY APPROACH TO CHECKING OF SEQUENTIAL-CIRCUITS

被引：0

|

作者：

BEDRENKO, SV

MATROSOVA, AY

机构：

来源：

AUTOMATION AND REMOTE CONTROL | 1980年 / 41卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：78 / 82

页数：5

相关论文

共 50 条

[1] THE USE OF MODEL CHECKING IN ATPG FOR SEQUENTIAL-CIRCUITS
CAMURATI, P
GILLI, M
PRINETTO, P
REORDA, MS
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 531 : 86 - 95
[2] SYNTHESIS OF TESTABLE SEQUENTIAL-CIRCUITS WITH REDUCED CHECKING SEQUENCES
SHIBATANI, S
KINOSHITA, K
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1993, E76D (07) : 739 - 746
[3] SYNTHESIS OF TOTALLY SELF-CHECKING SEQUENTIAL-CIRCUITS
MAZNEV, VI
AUTOMATION AND REMOTE CONTROL, 1977, 38 (06) : 913 - 920
[4] A VARIATIONAL APPROACH TO HAZARD DETECTION IN ASYNCHRONOUS SEQUENTIAL-CIRCUITS
BARASHKO, AS
AUTOMATION AND REMOTE CONTROL, 1984, 45 (11) : 1506 - 1512
[5] BOUNDARY SURFACES IN SEQUENTIAL-CIRCUITS
SPANY, V
PIVKA, L
INTERNATIONAL JOURNAL OF CIRCUIT THEORY AND APPLICATIONS, 1990, 18 (04) : 349 - 360
[6] TEST COMPACTION FOR SEQUENTIAL-CIRCUITS
NIERMANN, TM
ROY, RK
PATEL, JH
ABRAHAM, JA
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1992, 11 (02) : 260 - 267
[7] DESIGN FOR TESTABILITY OF SEQUENTIAL-CIRCUITS
SUN, X
LOMBARDI, F
IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1994, 141 (03): : 153 - 160
[8] BASES FOR IMPLEMENTATION OF SEQUENTIAL-CIRCUITS
TSIRLIN, BS
ENGINEERING CYBERNETICS, 1984, 22 (03): : 77 - 82
[9] THE PSEUDOEXHAUSTIVE TEST OF SEQUENTIAL-CIRCUITS
WUNDERLICH, HJ
HELLEBRAND, S
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1992, 11 (01) : 26 - 33
[10] ENUMERATION OF TESTS FOR SEQUENTIAL-CIRCUITS
VASJUKEVICH, VO
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1991, (05): : 78 - 84

← 1 2 3 4 5 →