ALGEBRAIC APPROACH TO TESTING OF EQUIVALENCE OF SEQUENTIAL-MACHINES

被引：0

|

作者：

DIMANZO, M

FRISIANI, AL

OLIMPO, G

机构：

来源：

DIGITAL PROCESSES | 1978年 / 4卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：17 / 28

页数：12

相关论文

共 50 条

[1] SIGNATURE TESTING OF SEQUENTIAL-MACHINES
HASSAN, SZ
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1984, 33 (08) : 762 - 764
[2] LINEARITY TESTING AND REALIZATION OF SEQUENTIAL-MACHINES
GUPTA, AS
CHATTOPADHYAY, DK
CHOUDHURY, AK
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1974, C 23 (05) : 524 - 528
[3] BLOCK APPROACH TO PROBLEMS IN THE THEORY OF SEQUENTIAL-MACHINES
ASLANOVA, NK
FARADZHEV, RG
[J]. AUTOMATION AND REMOTE CONTROL, 1992, 53 (01) : 100 - 107
[4] PERIODICITY OF SEQUENTIAL-MACHINES
GUHA, RK
YEH, RT
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1974, 8 (01) : 41 - 70
[5] A SELF-TESTING SEQUENTIAL-MACHINES GENERATOR FOR ASICS
BERROU, C
DOUILLARD, C
[J]. ANNALES DES TELECOMMUNICATIONS-ANNALS OF TELECOMMUNICATIONS, 1990, 45 (11-12): : 635 - 641
[6] TIME-SPACE TRADEOFFS FOR ALGEBRAIC PROBLEMS ON GENERAL SEQUENTIAL-MACHINES
ABRAHAMSON, K
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1991, 43 (02) : 269 - 289
[7] BOOLEAN MINIMIZATION AND ALGEBRAIC FACTORIZATION PROCEDURES FOR FULLY TESTABLE SEQUENTIAL-MACHINES
DEVADAS, S
KEUTZER, K
[J]. 1989 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1989, : 208 - 211
[8] ON TESTING OF SEQUENTIAL-MACHINES USING CIRCUIT DECOMPOSITION AND STOCHASTIC MODELING
DAS, SR
JONE, WB
NAYAK, AR
CHOI, I
[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1995, 25 (03): : 489 - 504
[9] A UNIFIED APPROACH TO THE SYNTHESIS OF FULLY TESTABLE SEQUENTIAL-MACHINES
DEVADAS, S
KEUTZER, K
[J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1991, 10 (01) : 39 - 50
[10] GAMES BETWEEN SEQUENTIAL-MACHINES
MARKO, F
[J]. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1987, 6 (01): : 81 - 93

← 1 2 3 4 5 →