Novel synthesis and optimization of multi-level mixed polarity reed-muller functions

被引：20

作者：

Xia, YS ^{[1
]}

Wang, LY

Zhou, ZG

Ye, XE

Hu, JP

Almaini, AEA

机构：

[1] Ningbo Univ, Fac Informat Sci & Engn, Ningbo 315211, Peoples R China

[2] Napier Univ, Sch Engn, Edinburgh EH10 5DT, Midlothian, Scotland

[3] Ningbo Univ, Fac Sci & Technol, Ningbo 315211, Peoples R China

[4] Ningbo Univ, Ningbo Normal Coll, Ningbo 315211, Peoples R China

来源：

JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY | 2005年 / 20卷 / 06期

关键词：

fixed polarity; logic synthesis; mixed polarity; Reed-Muller; truth vector;

D O I：

10.1007/s11390-005-0895-2

中图分类号：

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

学科分类号：

0812 ;

摘要：

Reed-Muller logic is becoming increasingly attractive. However, its synthesis and optimization are difficult especially for mixed polarity Reed-Muller logic. In this paper, a function is expressed into a truth vector. Product shrinkage, general sum shrinkage (GSS), elimination and extraction operators are proposed to shrink the truth vector. A novel algorithm is presented to derive a compact Multi-level Mixed Polarity Reed-Muller Form (MMPRMF) starting from a given fixed polarity truth vector. The results show that a significant area improvement can be made compared with published results.

引用

页码：895 / 900

页数：6

共 10 条

[1] Tabular techniques for generating Kronecker expansions [J].

Almaini, AEA ;

McKenzie, L .

IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1996, 143 (04) :205-212

[2]

[Anonymous], 1999, SWITCHING THEORY LOG

[3]

Green D. H., 1986, MODERN LOGIC DESIGN

[4]

HONG Q, 2000, J ELECT, V21, P219

[5] AN EFFICIENT METHOD OF COMPUTING GENERALIZED REED-MULLER EXPANSIONS FROM BINARY DECISION DIAGRAM [J].

PURWAR, S .

IEEE TRANSACTIONS ON COMPUTERS, 1991, 40 (11) :1298-1301

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

REDDY, SM .

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

[7] ON THE COMPLEXITY OF MOD-2 SUM PLAS [J].

SASAO, T ;

BESSLICH, P .

IEEE TRANSACTIONS ON COMPUTERS, 1990, 39 (02) :262-266

[8] Efficient polarity conversion for large Boolean functions [J].

Wang, L ;

Almaini, AEA ;

Bystrov, A .

IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1999, 146 (04) :197-204

[9] Optimisation of Reed-Muller PLA implementations [J].

Wang, L ;

Almaini, AEA .

IEE PROCEEDINGS-CIRCUITS DEVICES AND SYSTEMS, 2002, 149 (02) :119-128

[10] Computerization of clinical practice in Hong Kong: a study of Chinese medicine practitioners [J].

Chan, MF ;

Tse, SHM ;

Day, MC ;

Tong, TF ;

Suen, L .

MEDICAL INFORMATICS AND THE INTERNET IN MEDICINE, 2003, 28 (01) :43-57

← 1 →