Next Article in Journal
Existence Results for Second Order Nonconvex Sweeping Processes in q-Uniformly Convex and 2-Uniformly Smooth Separable Banach Spaces
Previous Article in Journal
Symmetrical Motifs in Young Children’s Drawings: A Study on Their Representations of Plant Life
Article Menu
Issue 1 (January) cover image

Export Article

Open AccessArticle
Symmetry 2019, 11(1), 27; https://doi.org/10.3390/sym11010027

A New Pairwise NPN Boolean Matching Algorithm Based on Structural Difference Signature

1
The School of Computer Science and Engineering, University of Xinjiang Finance and Economics, Urumqi 830012, China
2
The Big Data Research Center, School of Computer Science and Engineering, University of Electronic Science and Technology of China, Chengdu 611731, China
3
Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities, Nanning 530006, China
4
Synopsys Inc., Mountain View, CA 94043, USA
5
The School of Computer and Electronic Information, Guangxi University, Nanning 530004, China
6
Network and Data Security Key Laboratory of Sichuan Province, University of Electronic Science and Technology of China, Chengdu 611731, China
*
Authors to whom correspondence should be addressed.
Received: 21 September 2018 / Revised: 11 December 2018 / Accepted: 21 December 2018 / Published: 29 December 2018
Full-Text   |   PDF [316 KB, uploaded 29 December 2018]   |  

Abstract

In this paper, we address an NPN Boolean matching algorithm. The proposed structural difference signature (SDS) of a Boolean function significantly reduces the search space in the Boolean matching process. The paper analyses the size of the search space from three perspectives: the total number of possible transformations, the number of candidate transformations and the number of decompositions. We test the search space and run time on a large number of randomly generated circuits and Microelectronics Center of North Carolina (MCNC) benchmark circuits with 7–22 inputs. The experimental results show that the search space of Boolean matching is greatly reduced and the matching speed is obviously accelerated. View Full-Text
Keywords: NPN Boolean matching; structural difference signature vector; independent variable; variable symmetry NPN Boolean matching; structural difference signature vector; independent variable; variable symmetry
Figures

Figure 1

This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).
SciFeed

Share & Cite This Article

MDPI and ACS Style

Zhang, J.; Yang, G.; Hung, W.N.N.; Wu, J.; Zhu, Y. A New Pairwise NPN Boolean Matching Algorithm Based on Structural Difference Signature. Symmetry 2019, 11, 27.

Show more citation formats Show less citations formats

Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Related Articles

Article Metrics

Article Access Statistics

1

Comments

[Return to top]
Symmetry EISSN 2073-8994 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top