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
Open AccessArticle

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.
Symmetry 2019, 11(1), 27; https://doi.org/10.3390/sym11010027
Received: 21 September 2018 / Revised: 11 December 2018 / Accepted: 21 December 2018 / Published: 29 December 2018
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
Show Figures

Figure 1

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.

Article Access Map by Country/Region

1
Search more from Scilit
 
Search
Back to TopTop