DocumentCode
495715
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
Volume
2
fYear
2009
fDate
March 31 2009-April 2 2009
Firstpage
180
Lastpage
185
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Science and Information Engineering, 2009 WRI World Congress on
Conference_Location
Los Angeles, CA
Print_ISBN
978-0-7695-3507-4
Type
conf
DOI
10.1109/CSIE.2009.731
Filename
5171324
Link To Document