Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits-Reference-Cited by-同舟云学术

Analytic approaches to the collapse operation and equivalence verification of threshold logic circuits

Published:2016-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 35th International Conference on Computer-Aided Design
language:
Short-container-title:

Author:

Lee Nian-Ze¹,Kuo Hao-Yuan¹,Lai Yi-Hsiang¹,Jiang Jie-Hong R.¹

Affiliation:

1. National Taiwan University, Taipei, Taiwan

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/2966986.2967001

Reference22 articles.

1. Berkeley Logic Synthesis and Verification Group. ABC: A system for sequential synthesis and verification. Available: http://www.eecs.berkeley.edu/˜alanmi/abc/ Berkeley Logic Synthesis and Verification Group. ABC: A system for sequential synthesis and verification. Available: http://www.eecs.berkeley.edu/˜alanmi/abc/

2. VLSI implementations of threshold logic- a comprehensive survey

3. Fast synthesis of threshold logic networks with optimization

4. T. Cormen C. Leiserson R. Rivest and C. Stein. Introduction to Algorithms. MIT press 2009. T. Cormen C. Leiserson R. Rivest and C. Stein. Introduction to Algorithms. MIT press 2009.

5. Programmable CMOS/Memristor Threshold Logic

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Don’t-Care-Based Logic Optimization for Threshold Logic;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-09

2. 1st-Order to 2nd-Order Threshold Logic Gate Transformation with an Enhanced ILP-based Identification Method;Proceedings of the 26th Asia and South Pacific Design Automation Conference;2021-01-18

3. Optimization of Threshold Logic Networks with Node Merging and Wire Replacement;ACM Transactions on Design Automation of Electronic Systems;2019-11-14

4. Disjoint-Support Decomposition and Extraction for Interconnect-Driven Threshold Logic Synthesis;Proceedings of the 56th Annual Design Automation Conference 2019;2019-06-02

5. Canonicalization of threshold logic representation and its applications;Proceedings of the International Conference on Computer-Aided Design;2018-11-05