Paper Info
Title
Minimization for ternary fixed polarity Reed-Muller expressions based on ternary quantum shuffled frog leaping algorithm
Abstract
Logic minimization is one of the most crucial steps in combinational logic synthesis. The minimization for ternary fixed polarity Reed-Muller (FPRM) expressions aims to find a polarity that produces a ternary FPRM expression with as few operation terms as possible. However, the size of the ternary FPRM optimization space is much larger than that of binary FPRM optimization space, and the minimization for ternary FPRM expressions is a computationally hard problem. In this paper, we first propose a ternary quantum shuffled frog leaping algorithm (TQSFL) to solve the three-valued combinatorial optimization problem. The TQSFL divides frog individuals into three subpopulations: a subpopulation with a global updating strategy, a subpopulation with a local updating strategy, and a subpopulation with a random updating strategy, and performs local depth search on the three subpopulations based on the proposed ternary quantum rotation gate, ternary quantum correction mechanism, and ternary quantum crossover operator. Moreover, based on the TQSFL, we propose a minimization algorithm (MA) for ternary FPRM expressions, which searches for a polarity that produces a ternary FPRM expression with as few operation terms as possible by using the TQSFL. Experimental results demonstrated the effectiveness of the MA in minimizing ternary FPRM expressions. (C) 2021 Elsevier B.V. All rights reserved.
Year
DOI
Venue
2021
10.1016/j.asoc.2021.107647
APPLIED SOFT COMPUTING
Keywords
DocType
Volume
Logic minimization, Combinational logic synthesis, Fixed polarity Reed-Muller, Shuffled frog leaping algorithm, Combinatorial optimization problem
Journal
110
ISSN
Citations 
PageRank 
1568-4946
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Zhenxue He1115.88
Limin Xiao223147.05
Xiang Wang32615.33