Title :
An Expanding Products Algorithm of Logic Functions Optimization
Author :
Jian-Lin, Qiu ; Xiang, Gu ; Jian-ping, Chen ; Peng, He ; Fen, Li ; Bo, Wang
Author_Institution :
Sch. of Comput. Sci. & Technol., Nantong Univ., Nantong, China
fDate :
March 31 2009-April 2 2009
Abstract :
This paper presents an expanding products algorithm of logic optimization that is based on multi-input multi-output logic functions. According to input products, we work out complement sets matrix of non-shared products, blocking matrix, covering matrix. For blocking matrix and covering matrix, we get mini column cover sets and upgrade sets based on choice algorithm of mini column cover. Then we form product express after input product that be expanded. For multi-input multi-output logic functions of two-level SOP, we design a program. Max-input variables is 128, max-output variables is 256, sum of max-input-output variables is 300, max-input products is 20000. It overpasses testing of benchmark.
Keywords :
formal logic; matrix algebra; optimisation; set theory; blocking matrix; choice algorithm; complement sets matrix; covering matrix; expanding products algorithm; logic functions optimization; minicolumn cover sets; multi-input multi-output logic functions; nonshared products; upgrade sets; Binary decision diagrams; Boolean functions; Computer science; Data structures; Helium; Input variables; Logic arrays; Logic circuits; Logic functions; Partial response channels; algorithm; expanding products; logic functions; logic optimization;
Conference_Titel :
Computer Science and Information Engineering, 2009 WRI World Congress on
Conference_Location :
Los Angeles, CA
Print_ISBN :
978-0-7695-3507-4
DOI :
10.1109/CSIE.2009.731