A new pairwise NPN Boolean matching algorithm based on structural difference signature (Q2333963)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A new pairwise NPN Boolean matching algorithm based on structural difference signature |
scientific article |
Statements
A new pairwise NPN Boolean matching algorithm based on structural difference signature (English)
0 references
13 November 2019
0 references
Summary: 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.
0 references
NPN Boolean matching
0 references
structural difference signature vector
0 references
independent variable
0 references
variable symmetry
0 references