Multiplicative complexity of XOR based regular functions

A Bernasconi, S Cimato, V Ciriani… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
XOR-AND Graphs (XAGs) are an enrichment of the classical AND-Inverter Graphs (AIGs)
with XOR nodes. In particular, XAGs are networks composed by ANDs, XORs, and inverters …

Logic synthesis and testing techniques for switching nano-crossbar arrays

D Alexandrescu, M Altun, L Anghel… - Microprocessors and …, 2017 - Elsevier
Beyond CMOS, new technologies are emerging to extend electronic systems with features
unavailable to silicon-based devices. Emerging technologies provide new logic and …

Optimal and heuristic algorithms to synthesize lattices of four-terminal switches

MC Morgül, M Altun - Integration, 2019 - Elsevier
In this work, we study implementation of Boolean functions with nano-crossbar arrays where
each crosspoint behaves as a four-terminal switch controlled by a Boolean literal. These …

Composition of switching lattices for regular and for decomposed functions

A Bernasconi, V Ciriani, L Frontini, G Trucco - Microprocessors and …, 2018 - Elsevier
Multi-terminal switching lattices are typically exploited for modeling switching nano-crossbar
arrays that lead to the design and construction of emerging nanocomputers. Typically, the …

Composition of switching lattices and autosymmetric boolean function synthesis

A Bernasconi, V Ciriani, L Frontini… - … Conference on Digital …, 2017 - ieeexplore.ieee.org
Multi-terminal switching lattices are typically exploited for modeling switching nano-crossbar
arrays that lead to the design and construction of emerging nanocomputers. In this paper we …

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 …

Integrated synthesis methodology for crossbar arrays

MC Morgul, O Tunali, M Altun, L Frontini… - Proceedings of the 14th …, 2018 - dl.acm.org
Nano-crossbar arrays have emerged as area and power efficient structures with an aim of
achieving high performance computing beyond the limits of current CMOS. Due to the …

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 …

Computing with nano-crossbar arrays: Logic synthesis and fault tolerance

M Altun, V Ciriani, M Tahoori - … & Test in Europe Conference & …, 2017 - ieeexplore.ieee.org
Nano-crossbar arrays have emerged as a strong candidate technology to replace CMOS in
near future. They are regular and dense structures, and can be fabricated such that each …

Testability of switching lattices in the stuck at fault model

A Bernasconi, V Ciriani… - 2018 IFIP/IEEE …, 2018 - ieeexplore.ieee.org
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 …