Exact minimisation of large multiple output FPRM functions.

Almaini, A E A and Wang, Lun Yao (2002) Exact minimisation of large multiple output FPRM functions. IEE Proceedings - Computers and digital techniques, 149 (5). pp. 203-212. ISSN 1350 2387

Full text not available from this repository. (Request a copy)


The properties of the polarity for sum-of-products (SOP) expressions of Boolean functions are formally investigated. A transform matrix S is developed to convert SOP expressions from one polarity to another polarity. It is shown that the effect of SOP polarity is to reorder the on-set minterms of a Boolean function. Furthermore, the transform matrix P for fixed polarity Reed-Muller (FPRM) expressions for the conversion between two different polarities, based on the properties of SOP polarity, is achieved. Comparison of these two matrices shows that the Reed-Muller transform matrix P has a much more complex structure. Additionally, the best polarity of FPRM forms with the least on-set terms corresponds with the polarity of SOP forms with the best 'order' of the on-set minterms. Applying these algebraic properties of the transform matrix P, a fast algorithm is presented to obtain the best polarity of FPRM expressions for large multiple Output Boolean functions. The computation time is independent of the number of outputs. The developed program is tested oil common personal computers and the results for benchmark examples of up to 25 inputs and 29 outputs are presented.

Item Type: Article
Print ISSN: 1350 2387
Electronic ISSN: 1359-7027
Uncontrolled Keywords: FPRM; ECAD; multi-output circuits; computing; electronic engineering;
University Divisions/Research Centres: Faculty of Engineering, Computing and Creative Industries > School of Engineering and the Built Environment
Dewey Decimal Subjects: 600 Technology > 620 Engineering > 621 Electronic & mechanical engineering
000 Computer science, information & general works > 000 Computer science, knowledge & systems > 005 Computer programming, programs & data
Library of Congress Subjects: T Technology > TK Electrical engineering. Electronics Nuclear engineering
Q Science > QA Mathematics > QA76 Computer software
Item ID: 11
Depositing User: Users 2 not found.
Date Deposited: 19 Oct 2007 10:42
Last Modified: 17 Jun 2013 10:33

Actions (login required)

View Item View Item

Edinburgh Napier University is a registered Scottish charity. Registration number SC018373