Affiliation:
1. College of Computer Science and Technology, Jilin University, Changchun, China and Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University, Changchun, China
2. Hebei Agricultural University, Baoding, China
Abstract
Logic synthesis is a crucial step in integrated circuit design, and power optimization is an indispensable part of this process. However, power optimization for large-scale Mixed Polarity Reed-Muller (MPRM) logic circuits is an NP-hard problem. In this article, we divide Boolean circuits into small-scale circuits based on the idea of divide and conquer using the proposed Dynamic Adaptive Grouping Strategy (DAGS) and the proposed circuit decomposition model (CDM). Each small-scale Boolean circuit is transformed into an MPRM logic circuit by a polarity transformation algorithm. Based on the gate-level integration, we integrate small-scale circuits into an MPRM and Boolean Dual Logic (RBDL) circuit. Furthermore, the power optimization problem of RBDL circuits is a multi-task, multi-extremal, high-dimensional combinatorial optimization problem, for which we propose an Adaptive Multi-task Intelligent Algorithm (AMIA), which includes global task optimization, population reproduction, valuable knowledge transfer (VKT), and local exploration to search for the lowest power for RBDL circuits. Moreover, based on the proposed Fast Power Decomposition Algorithm (FPDA), we proposed a Power Optimization Approach (POA) for an RBDL circuit with the lowest power using the AMIA. Experimental results based on Microelectronics Center of North Carolina (MCNC) Benchmark test circuits demonstrate the effectiveness and superiority of the POA compared to state-of-the-art POAes.
Funder
Jilin Provincial Natural Science Foundation
Fundamental Research Funds for the Central Universities, JLU
National Natural Science Foundation of China
Central Government Guides Local Science and Technology Development Fund Project
Natural Science Foundation of Hebei Province
Hebei Youth Talents Support Project
Publisher
Association for Computing Machinery (ACM)
Reference58 articles.
1. Rajesh Asthana, Neelam Verma, and Ram Ratan. 2014. Generation of boolean functions using genetic algorithm for cryptographic applications. In Proceedings of the 2014 IEEE International Advance Computing Conference. IEEE, Gurgaon, 1361–1366.
2. Padmanabhan Balasubramanian, D. A. Edwards, and C. Hari Narayanan. 2007. Low power synthesis of XOR-XNOR intensive combinational logic. In Proceedings of the 2007 Canadian Conference on Electrical and Computer Engineering. IEEE, Vancouver, 243–246.
3. George Boole. 1847. The Mathematical Analysis of Logic: Being an Essay Towards a Calculus of Deductive Reasoning. Philosophical Library, New York.
4. Dengli Bu and Jianhui Jiang. 2014. An efficient optimization algorithm for multi-output MPRM circuits with very large number of input variables. In Proceedings of the 2014 IEEE 7th Joint International Information Technology and Artificial Intelligence Conference. IEEE, Chongqing, 228–232.
5. A variable neighborhood search approach for cyclic bandwidth sum problem