Realization of Logic Functions Using Switching Lattices under a Delay Constraint

Levent Aksoy, Nihat Akkan*, Herman Sedef, Mustafa Altun

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

Abstract

Switching lattices, consisting of four-terminal switches, present an alternative structure for the realization of Boolean logic functions. Although promising algorithms have been introduced to find a realization of a logic function using a switching lattice with the fewest number of four-terminal switches, the delay of a switching lattice has not been examined yet. In this article, we generate a switching lattice using a recently proposed CMOS-compatible four-terminal device model and formulate the delay of a path in a switching lattice. It is observed that the delay of a design realizing a logic function on a switching lattice heavily depends on the number of four-terminal switches in the critical path. With this motivation, we introduce optimization algorithms, called PHAEDRA and TROADES, which can find the realization of a logic function on a switching lattice with the fewest number of switches under a delay constraint given in terms of the number of switches in the critical path. While PHAEDRA is a dichotomic search algorithm that can obtain solutions with a small number of switches on small size logic functions, TROADES is a divide-and-conquer method that can find a solution using less computational effort and can easily handle larger size logic functions with respect to PHAEDRA. The experimental results show that the proposed algorithms can reduce the delay of a lattice realization of a logic function significantly at a cost of an increase in the number of switches. They can explore alternative lattice realizations of a logic function by changing the delay constraint, enabling a designer to choose the one that fits best in an application.

Original languageEnglish
Pages (from-to)2036-2048
Number of pages13
JournalIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Volume40
Issue number10
DOIs
Publication statusPublished - Oct 2021
Externally publishedYes

Bibliographical note

Publisher Copyright:
© 1982-2012 IEEE.

Funding

Manuscript received March 4, 2020; revised May 27, 2020 and August 27, 2020; accepted October 29, 2020. Date of publication November 3, 2020; date of current version September 20, 2021. This work was supported in part by the TUBITAK-Career Project under Grant 113E760, and in part by the TUBITAK-2501 Project under Grant 218E068. This article was recommended by Associate Editor S. X. Hu. (Corresponding author: Nihat Akkan.) Levent Aksoy and Mustafa Altun are with the Emerging Circuits and Computation Group, Department of Electronics and Communication Engineering, Istanbul Technical University, 34469 Istanbul, Turkey (e-mail: [email protected]; [email protected]).

FundersFunder number
TUBITAK-2501218E068

    Keywords

    • Binary search
    • divide and conquer
    • Elmore delay
    • emerging technologies
    • four-terminal switch
    • logic synthesis
    • satisfiability (SAT)
    • switching lattice

    Fingerprint

    Dive into the research topics of 'Realization of Logic Functions Using Switching Lattices under a Delay Constraint'. Together they form a unique fingerprint.

    Cite this