GENERAL DECOMPOSITION OF SEQUENTIAL-MACHINES - RELATIONSHIPS TO STATE ASSIGNMENT

被引：0

|

作者：

DEVADAS, S

机构：

来源：

26TH ACM/IEEE DESIGN AUTOMATION CONFERENCE | 1989年

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

0808 ; 0809 ;

摘要：

引用

收藏

页码：314 / 320

页数：7

相关论文

共 50 条

[31] A FUNCTIONAL FAULT MODEL FOR SEQUENTIAL-MACHINES
CHENG, KT
JOU, JY
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1992, 11 (09) : 1065 - 1073
[32] THE PROBLEM OF SPACE INVARIANCE FOR SEQUENTIAL-MACHINES
SLOT, C
VANEMDEBOAS, P
INFORMATION AND COMPUTATION, 1988, 77 (02) : 93 - 122
[33] MINIMIZATION OF INCOMPLETELY SPECIFIED SEQUENTIAL-MACHINES
RAO, CVS
BISWAS, NN
IEEE TRANSACTIONS ON COMPUTERS, 1975, 24 (11) : 1089 - 1100
[34] VERIFYING TEMPORAL PROPERTIES OF SEQUENTIAL-MACHINES WITHOUT BUILDING THEIR STATE DIAGRAMS
COUDERT, O
MADRE, JC
BERTHET, C
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 531 : 23 - 32
[35] LINEAR SEQUENTIAL-MACHINES WITH CONSTANT INPUT
AGRONIK, GS
AUTOMATION AND REMOTE CONTROL, 1979, 40 (04) : 549 - 551
[36] ECONOMICAL SYNTHESIS OF REGULAR EXPRESSIONS FOR LARGE-STATE SEQUENTIAL-MACHINES
THOMAS, B
CHANDRASEKHARAN, PC
INTERNATIONAL JOURNAL OF ELECTRONICS, 1981, 51 (03) : 241 - 246
[37] SHIFT REGISTER REALIZATION OF SEQUENTIAL-MACHINES
CHATTOPADHYAY, DK
GUPTA, AS
CHOUDHURY, AK
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1974, 5 (11) : 1007 - 1024
[38] MINIMIZATION OF INCOMPLETELY SPECIFIED SEQUENTIAL-MACHINES
RUSSO, GV
PALAMA, G
DIGITAL PROCESSES, 1980, 6 (2-3): : 199 - 206
[39] CHECKING EXPERIMENTS FOR SEQUENTIAL-MACHINES - COMMENT
WAKIMURA, Y
YOSHIDA, N
IEEE TRANSACTIONS ON COMPUTERS, 1975, 24 (11) : 1141 - 1142
[40] DESIGN EQUATIONS FOR LINEAR SEQUENTIAL-MACHINES
FARADZHEV, RG
AUTOMATION AND REMOTE CONTROL, 1980, 41 (09) : 1253 - 1260

← 1 2 3 4 5 →