Exact minimization of large fixed polarity dual form of reed-muller functions

Author

Yang, M. ; Xu, H. ; Wang, L. ; Tong, J.R. ; Almaini, A.E.A.

Author_Institution

Dept. of Microelectron., Fudan Univ., Shanghai

fYear

2006

fDate

23-26 Oct. 2006

Firstpage

1931

Lastpage

1933

Abstract

Dual form of Reed-Muller (DFRM) expansions are implemented in OR/XNOR logic, which are based on the features of coincidence operation and known as fixed polarity canonical or coincidence (COC) expansions. An efficient minimization method is proposed to find the best polarity COC expansion for large functions. The method derives one expansion from another adjacent polarity expansion using gray code, resulting in small space complexity O(M) and time complexity O(2nMIogM) (n and M are the number of input variables and the number of on-set COC maxterms). Hence, it makes minimization for large functions practical

Keywords

Reed-Muller codes; logic simulation; minimisation; EDA; Reed Muller functions; dual form of reed-muller; logic synthesis; minimization; optimization; Application specific integrated circuits; Boolean functions; Educational institutions; Electronic design automation and methodology; Field programmable gate arrays; Input variables; Logic circuits; Microelectronics; Minimization methods; Reflective binary codes;

fLanguage

English

Publisher

ieee

Conference_Titel

Solid-State and Integrated Circuit Technology, 2006. ICSICT '06. 8th International Conference on

Conference_Location

Shanghai

Print_ISBN

1-4244-0160-7

Electronic_ISBN

1-4244-0161-5

Type

conf

DOI

10.1109/ICSICT.2006.306532

Filename

4098584