A New Necessary Condition for Threshold Function Identification

This article proposes a new necessary condition and the corresponding speedup strategies to the threshold function (TF) identification problem. The state-of-the-art to this identification problem could be very time-consuming when the function-under-identification is a non-TF with the unateness property. The proposed new necessary condition can be seamlessly integrated into this identification algorithm. As compared with the state-of-the-art, the improved identification algorithm with the proposed necessary condition can more effectively and efficiently detect non-TFs. Furthermore, according to the experimental results, the ratio of CPU time overhead in the process of checking the proposed necessary condition for identifying all the 8-input TF is only 0.1%.

[1]  Robert O. Winder,et al.  Enumeration of Seven-Argument Threshold Functions , 1965, IEEE Trans. Electron. Comput..

[2]  Alan Mishchenko,et al.  Effective Logic Synthesis for Threshold Logic Circuit Design , 2019, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[3]  Yung-Chih Chen,et al.  In&Out: Restructuring for threshold logic network optimization , 2017, 2017 18th International Symposium on Quality Electronic Design (ISQED).

[4]  Yung-Chih Chen,et al.  Rewiring for threshold logic circuit minimization , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[5]  Chia-Cheng Wu,et al.  Threshold Function Identification by Redundancy Removal and Comprehensive Weight Assignments , 2019, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[6]  Jie-Hong Roland Jiang,et al.  Canonicalization of Threshold Logic Representation and Its Applications , 2018, 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[7]  Alan Mishchenko,et al.  Threshold logic synthesis based on cut pruning , 2015, 2015 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[8]  Mayler G. A. Martins,et al.  A Simple and Effective Heuristic Method for Threshold Logic Identification , 2018, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[9]  Rui Zhang,et al.  Threshold network synthesis and optimization and its application to nanotechnologies , 2005, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[10]  Saburo Muroga,et al.  Threshold logic and its applications , 1971 .

[11]  Chun-Yao Wang,et al.  On rewiring and simplification for canonicity in threshold logic circuits , 2011, 2011 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[12]  Yung-Chih Chen,et al.  Fast synthesis of threshold logic networks with optimization , 2016, 2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC).