Title :
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
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;
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
DOI :
10.1109/ICSICT.2006.306532
