AN EFFICIENT METHOD OF COMPUTING GENERALIZED REED-MULLER EXPANSIONS FROM BINARY DECISION DIAGRAM

被引：37

作者：

PURWAR, S

机构：

[1] Department of Electrical Engineering, M. N. R. Engineering College, Allahabad, U.P.

来源：

IEEE TRANSACTIONS ON COMPUTERS | 1991年 / 40卷 / 11期

关键词：

BINARY DECISION DIAGRAM; BOOLEAN FUNCTION; EXCLUSIVE-OR EXPANSION; REED-MULLER EXPANSION;

D O I：

10.1109/12.102837

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

An efficient method, for the generation of all the 2n sets of generalized Reed-Muller (GRM) coefficients for a Boolean function f(X) of n variables using the binary decision diagram (BDD), is presented.

引用

页码：1298 / 1301

页数：4

共 10 条

[1]

AKERS SB, 1978, IEEE T COMPUT, V27, P509, DOI 10.1109/TC.1978.1675141

[2]

AKERS SB, 1979, 8TH IEEE INT C FAULT, P75

[3] EFFICIENT COMPUTER METHOD FOR EXOR LOGIC DESIGN [J].

BESSLICH, PW .

IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1983, 130 (06) :203-206

[4] REED-MULLER EXPANSIONS OF INCOMPLETELY SPECIFIED FUNCTIONS [J].

GREEN, DH .

IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1987, 134 (05) :228-236

[5] MINIMIZATION OF EXCLUSIVE OR AND LOGICAL EQUIVALENCE SWITCHING CIRCUITS [J].

MUKHOPADHYAY, A ;

SCHMITZ, G .

IEEE TRANSACTIONS ON COMPUTERS, 1970, C 19 (02) :132-+

[6] EASILY TESTABLE REALIZATIONS FOR LOGIC FUNCTIONS [J].

REDDY, SM .

IEEE TRANSACTIONS ON COMPUTERS, 1972, C 21 (11) :1183-+

[7] FAULT DETECTING TEST SETS FOR REED-MULLER CANONIC NETWORKS [J].

SALUJA, KK ;

REDDY, SM .

IEEE TRANSACTIONS ON COMPUTERS, 1975, 24 (10) :995-998

[8] GRAPHICAL-METHOD FOR THE CONVERSION OF MINTERMS TO REED-MULLER COEFFICIENTS AND THE MINIMIZATION OF EXCLUSIVE-OR SWITCHING-FUNCTIONS [J].

TRAN, A .

IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1987, 134 (02) :93-99

[9] MAPPING OF REED-MULLER COEFFICIENTS AND THE MINIMIZATION OF EXCLUSIVE OR-SWITCHING FUNCTIONS [J].

WU, X ;

CHEN, X ;

HURST, SL .

IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES, 1982, 129 (01) :15-20

[10]

Zhang Y. Z., 1984, IEE Proceedings E (Computers and Digital Techniques), V131, P177, DOI 10.1049/ip-e.1984.0035

← 1 →