Title :
Prime Implicant Computation Based on Adjacent Minterm Operations
Author :
Bo, Wang ; ZhenGuo, Shi
Author_Institution :
Sch. of Comput. Sci. & Eng., Nantong Univ., Nantong
Abstract :
A new method for generating prime implicants is presented in the paper. A minimization algorithm for incompletely specified functions based on the method is also given. The procedure starts from a minterm, base minterm. By searching for its adjacent minterms from lower order to higher order, a prime implicant is generated. Because adjacent minterm operations are simple for computers to process, the method is time saving. We have compared the proposed method to the previous works over a set of randomly produced inputs. The experiments show that the proposed method is efficient for small size questions.
Keywords :
logic CAD; minimisation of switching nets; search problems; adjacent minterm operations; minimization algorithm; prime implicant computation; Computer science; Logic; Minimization methods; adjacent minterm; essential; irredundant cover; prime implicant;
Conference_Titel :
TENCON 2005 2005 IEEE Region 10
Conference_Location :
Melbourne, Qld.
Print_ISBN :
0-7803-9311-2
Electronic_ISBN :
0-7803-9312-0
DOI :
10.1109/TENCON.2005.301005