https://scholars.lib.ntu.edu.tw/handle/123456789/580977
標題: | Constraint Solving for Synthesis and Verification of Threshold Logic Circuits | 作者: | Lee N.-Z JIE-HONG JIANG |
關鍵字: | Boolean functions; Forestry; Logic circuits; Logic programming; Logic Synthesis; Threshold logic; Timing circuits; Circuit transformation; Conjunctive normal forms; Emerging technologies; Equivalence checking; Fundamental operations; Linear combinations; Neural network application; Subset sum problems; Computer circuits | 公開日期: | 2021 | 卷: | 40 | 期: | 5 | 起(迄)頁: | 904-917 | 來源出版物: | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 摘要: | Threshold logic (TL) circuits gain increasing attention due to their feasible realization with emerging technologies and strong bind to neural network applications. In this work, we devise techniques for automatic synthesis and verification of TL circuits based on constraint solving. For synthesis, we formulate a fundamental operation to collapse TL functions, and derive a necessary and sufficient condition of collapsibility for linear combination of two TL functions. An approach based on solving the subset sum problem is proposed for fast circuit transformation. For verification, we propose a procedure to convert a TL function to a multiplexer (MUX) tree and to pseudo-Boolean (PB) constraints for formal Boolean and PB reasoning, respectively. Experiments on synthesis show that the collapse operation further reduces gate counts of synthesized TL circuits by an average of 18%. Experiments on verification demonstrate good scalability of the MUX-based method for equivalence checking of synthesized TL circuits, and efficiency of PB constraint conversion in cases where the conjunctive normal form (CNF) formula conversion and MUX tree conversion suffer from memory explosion. ? 1982-2012 IEEE. |
URI: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85089459823&doi=10.1109%2fTCAD.2020.3015441&partnerID=40&md5=5aa68b3137705c41bc8d3406db46da0f https://scholars.lib.ntu.edu.tw/handle/123456789/580977 |
ISSN: | 02780070 | DOI: | 10.1109/TCAD.2020.3015441 |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。