Xor-and-xor logic forms for autosymmetric functions and applications to quantum computing

A Bernasconi, A Berti, V Ciriani… - … on Computer-Aided …, 2022 - ieeexplore.ieee.org
We propose a new three-level XOR-AND-XOR form for autosymmetric functions, called
XORAX expression. In general, a Boolean function over variables is-autosymmetric if it can …

A satisfiability-based approximate algorithm for logic synthesis using switching lattices

L Aksoy, M Altun - 2019 Design, Automation & Test in Europe …, 2019 - ieeexplore.ieee.org
In recent years the realization of a logic function on two-dimensional arrays of four-terminal
switches, called switching lattices, has attracted considerable interest. Exact and …

Novel methods for efficient realization of logic functions using switching lattices

L Aksoy, M Altun - IEEE Transactions on Computers, 2019 - ieeexplore.ieee.org
Two-dimensional switching lattices including four-terminal switches are introduced as
alternative structures to realize logic functions, aiming to outperform the designs consisting …

Realization of four-terminal switching lattices: Technology development and circuit modeling

S Safaltin, O Gencer, MC Morgul… - … , Automation & Test …, 2019 - ieeexplore.ieee.org
Our European Union's Horizon-2020 project aims to develop a complete synthesis and
performance optimization methodology for switching nano-crossbar arrays that leads to the …

Autosymmetry of incompletely specified functions

A Bernasconi, V Ciriani - 2021 Design, Automation & Test in …, 2021 - ieeexplore.ieee.org
Autosymmetric Boolean functions are “regular functions” that are rather frequent in the set of
Boolean functions describing standard circuits. Autosymmetry is typically exploited for …

Implementing Boolean Functions with switching lattice networks

RK Datta - arXiv preprint arXiv:2202.09551, 2022 - arxiv.org
Four terminal switching network is an alternative structure to realize the logic functions in
electronic circuit modeling. This network can be used to implement a Boolean function with …

Technology Development and Modeling of Switching Lattices Using Square and H Shaped Four-Terminal Switches

N Akkan, Ş SAFALTIN, L Aksoy, I Cevik… - … on Emerging Topics …, 2020 - ieeexplore.ieee.org
Switching lattices formed by four-terminal switches are introduced as dense rectangular
structures to implement Boolean logic functions. It is clearly shown in literature by a variety of …

Literal selection in switching lattice design

A Bernasconi, F Luccio, L Pagli, D Rucci - Advanced Boolean Techniques …, 2020 - Springer
Switching lattices are two-dimensional arrays of four-terminal switches proposed in a
seminal paper by Akers in 1972 to implement Boolean functions. Recently, with the advent …

A novel method for the realization of complex logic functions using switching lattices

L Aksoy, M Altun - … Symposium on Circuits and Systems (ISCAS …, 2020 - ieeexplore.ieee.org
Over the years, efficient algorithms have been proposed to realize logic functions on two-
dimensional arrays of four-terminal switches, called switching lattices, using the fewest …

[PDF][PDF] CMOS Implementation of Switching Lattices.

I Cevik, L Aksoy, M Altun - DATE, 2020 - nanoxcomp.itu.edu.tr
Switching lattices consisting of four-terminal switches are introduced as area-efficient
structures to realize logic functions. Many optimization algorithms have been proposed …