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 条

[41] NEGATIVE FAIL-SAFE SEQUENTIAL-CIRCUITS
GAITANIS, N
HALATSIS, C
ELECTRONICS LETTERS, 1980, 16 (16) : 615 - 617
[42] REDUNDANCY AND FAULT-DETECTION IN SEQUENTIAL-CIRCUITS
ABRAMOVICI, M
BREUER, MA
IEEE TRANSACTIONS ON COMPUTERS, 1979, 28 (11) : 864 - 865
[43] AUTONOMOUS CLOCKS OF INCOMPLETELY SPECIFIED SEQUENTIAL-CIRCUITS
YAU, SS
IEEE TRANSACTIONS ON INFORMATION THEORY, 1964, 10 (04) : 401 - &
[44] DETECTION OF SINGLE INTERMITTENT FAULTS IN SEQUENTIAL-CIRCUITS
SAVIR, J
IEEE TRANSACTIONS ON COMPUTERS, 1980, 29 (07) : 673 - 678
[45] ALGORITHM FOR STATE ASSIGNMENT OF SYNCHRONOUS SEQUENTIAL-CIRCUITS
LALA, PK
ELECTRONICS LETTERS, 1978, 14 (06) : 199 - 201
[46] AN EFFICIENT HEURISTIC APPROACH TO STATE ENCODING FOR PLA-BASED SEQUENTIAL-CIRCUITS
MINATO, K
ARIYOSHI, H
SHIRAKAWA, I
IEICE TRANSACTIONS ON COMMUNICATIONS ELECTRONICS INFORMATION AND SYSTEMS, 1991, 74 (01): : 14 - 21
[47] CONCURRENT-EVENT MODELING OF DIGITAL SEQUENTIAL-CIRCUITS
NIKOGOSJAN, AG
AVAKJAN, ES
PETROSJAN, PK
AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1988, (04): : 88 - 91
[48] AN EFFICIENT CRITICAL PATH TRACING ALGORITHM FOR SEQUENTIAL-CIRCUITS
HOON, C
ABRAHAM, JA
MICROPROCESSING AND MICROPROGRAMMING, 1994, 40 (10-12): : 913 - 916
[49] TEST-GENERATION FOR PRESETTABLE SYNCHRONOUS SEQUENTIAL-CIRCUITS
WANG, JF
KUO, TY
CHEN, PC
LEE, JY
1989 INTERNATIONAL SYMPOSIUM ON VLSI TECHNOLOGY, SYSTEMS AND APPLICATIONS: PROCEEDINGS OF TECHNICAL PAPERS, 1989, : 155 - 158
[50] AUTOMATIC VERIFICATION OF SEQUENTIAL-CIRCUITS USING TEMPORAL LOGIC
BROWNE, MC
CLARKE, EM
DILL, DL
MISHRA, B
IEEE TRANSACTIONS ON COMPUTERS, 1986, 35 (12) : 1035 - 1044

← 1 2 3 4 5 →