SYNTHESIS OF TOTALLY SELF-CHECKING SYNCHRONOUS AUTOMATA USING POLYNOMIAL FORMS

被引：0

|

作者：

GOROZHIN, AD

机构：

来源：

AUTOMATION AND REMOTE CONTROL | 1982年 / 43卷 / 01期

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：114 / 121

页数：8

相关论文

共 50 条

[21] TOTALLY SELF-CHECKING CHECKERS WITH A MINIMAL TEST SET
VIZIREV, IS
[J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1982, (01): : 43 - 49
[22] Concurrent delay testing in totally self-checking systems
Paschalis, A
Gizopoulos, D
Gaitanis, N
[J]. JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 1998, 12 (1-2): : 55 - 61
[23] ON ERROR INDICATION FOR TOTALLY SELF-CHECKING SYSTEMS.
Nanya, Takashi
Kawamura, Toshiaki
[J]. IEEE Transactions on Computers, 1987, C-36 (11) : 1389 - 1392
[24] DESIGN OF TOTALLY SELF-CHECKING ASYNCHRONOUS MODULAR CIRCUITS
DAVID, R
THEVENODFOSSE, P
[J]. JOURNAL OF DESIGN AUTOMATION & FAULT-TOLERANT COMPUTING, 1978, 2 (04): : 271 - 287
[25] Automated Design of Totally Self-Checking Sequential Circuits
Greblicki, Jerzy
Kotowski, Jerzy
[J]. COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009, 2009, 5717 : 98 - 105
[26] Totally self-checking decoders for hamming SEC codes
Boyarinov, IM
[J]. 2000 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, PROCEEDINGS, 2000, : 397 - 397
[27] Totally self-checking FSM design based on multilevel synthesis methods and FPGA implementation
Matrosova, A
Nikitin, K
Goloubeva, O
[J]. SEVENTH IEEE INTERNATIONAL ON-LINE TESTING WORKSHOP, PROCEEDINGS, 2001, : 144 - 144
[28] STRONGLY FAULT-SECURE AND STRONGLY SELF-CHECKING DOMINO-CMOS IMPLEMENTATIONS OF TOTALLY SELF-CHECKING CIRCUITS
JHA, NK
[J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1990, 9 (03) : 332 - 336
[29] Formal verification of totally self-checking properties of combinational circuits
Kawakubo, K
Tanaka, K
Hiraishi, H
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1997, E80D (01) : 57 - 62
[30] STRONGLY FAULT SECURE PLAS AND TOTALLY SELF-CHECKING CHECKERS
MIN, YH
LI, JT
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (07) : 863 - 867

← 1 2 3 4 5 →