BOOLEAN MINIMIZATION AND ALGEBRAIC FACTORIZATION PROCEDURES FOR FULLY TESTABLE SEQUENTIAL-MACHINES

被引：0

|

作者：

DEVADAS, S

KEUTZER, K

机构：

来源：

1989 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS | 1989年

关键词：

D O I：

10.1109/ICCAD.1989.76937

中图分类号：

TM [电工技术]; TN [电子技术、通信技术];

学科分类号：

0808 ; 0809 ;

摘要：

引用

收藏

页码：208 / 211

页数：4

相关论文

共 18 条

[1] 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
[2] A SYNTHESIS AND OPTIMIZATION PROCEDURE FOR FULLY AND EASILY TESTABLE SEQUENTIAL-MACHINES
DEVADAS, S
TONY, HK
NEWTON, AR
SANGIOVANNIVINCENTELLI, A
[J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1989, 8 (10) : 1100 - 1107
[3] MINIMIZATION OF LINEAR SEQUENTIAL-MACHINES
CHEN, CT
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1974, C 23 (01) : 93 - 95
[4] SYNCHRONOUS SEQUENTIAL-MACHINES - A MODULAR AND TESTABLE DESIGN
SALUJA, KK
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1980, 29 (11) : 1020 - 1025
[5] EASILY TESTABLE SEQUENTIAL-MACHINES WITH EXTRA INPUTS
FUJIWARA, H
NAGAO, Y
SASAO, T
KINOSHITA, K
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1975, 24 (08) : 821 - 826
[6] MINIMIZATION OF INCOMPLETELY SPECIFIED SEQUENTIAL-MACHINES
RAO, CVS
BISWAS, NN
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1975, 24 (11) : 1089 - 1100
[7] MINIMIZATION OF INCOMPLETELY SPECIFIED SEQUENTIAL-MACHINES
RUSSO, GV
PALAMA, G
[J]. DIGITAL PROCESSES, 1980, 6 (2-3): : 199 - 206
[8] EASILY TESTABLE SEQUENTIAL-MACHINES WITH EXTRA INPUTS AND EXTRA OUTPUTS
DAS, SR
CHEN, Z
DAI, YL
[J]. ELECTRONICS LETTERS, 1980, 16 (04) : 119 - 121
[9] ALGEBRAIC APPROACH TO TESTING OF EQUIVALENCE OF SEQUENTIAL-MACHINES
DIMANZO, M
FRISIANI, AL
OLIMPO, G
[J]. DIGITAL PROCESSES, 1978, 4 (01): : 17 - 28
[10] STATE MINIMIZATION OF INCOMPLETELY SPECIFIED SEQUENTIAL-MACHINES
BISWAS, NN
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1974, C 23 (01) : 80 - 84