Title | ||
---|---|---|
A New Pairwise NPN Boolean Matching Algorithm Based on Structural Difference Signature. |
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. |
Year | DOI | Venue |
---|---|---|
2019 | 10.3390/sym11010027 | SYMMETRY-BASEL |
Keywords | Field | DocType |
NPN Boolean matching,structural difference signature vector,independent variable,variable symmetry | Boolean function,Pairwise comparison,Microelectronics,Algorithm,Variables,Electronic circuit,Boolean matching,Mathematics | Journal |
Volume | Issue | Citations |
11 | 1 | 0 |
PageRank | References | Authors |
0.34 | 14 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Juling Zhang | 1 | 10 | 1.88 |
Guowu Yang | 2 | 309 | 42.99 |
William N. N. Hung | 3 | 304 | 34.98 |
Jinzhao Wu | 4 | 152 | 29.48 |
Yixin Zhu | 5 | 0 | 0.68 |