BLASYS: Approximate logic synthesis using Boolean matrix factorization

S Hashemi, H Tann, S Reda - Proceedings of the 55th Annual Design …, 2018 - dl.acm.org
Approximate computing is an emerging paradigm where design accuracy can be traded off
for benefits in design metrics such as design area, power consumption or circuit complexity …

Pushing the communication barrier in secure computation using lookup tables

G Dessouky, F Koushanfar, AR Sadeghi… - Cryptology ePrint …, 2018 - eprint.iacr.org
Secure two-party computation has witnessed significant efficiency improvements in the
recent years. Current implementations of protocols with security against passive adversaries …

Exploring the use of approximate TMR to mask transient faults in logic with low area overhead

IAC Gomes, MGA Martins, AI Reis… - Microelectronics …, 2015 - Elsevier
Abstract The use of Triple Modular Redundancy (TMR) with majority voters can guarantee
100% single fault masking coverage for a given circuit against transient faults. However, this …

Partition and propagate: An error derivation algorithm for the design of approximate circuits

I Scarabottolo, G Ansaloni, GA Constantinides… - Proceedings of the 56th …, 2019 - dl.acm.org
Inexact hardware design techniques have become popular in error-tolerant systems, where
energy efficiency is a primary concern. Several techniques aim to identify circuit portions that …

Technology mapping using multi-output library cells

AT Calvino, G De Micheli - 2023 IEEE/ACM International …, 2023 - ieeexplore.ieee.org
Technology mapping transforms a technology-independent representation into a technology-
dependent one given a library of cells. Even if technology libraries contain multi-output cells …

Probing approximate TMR in error resilient applications for better design tradeoffs

T Arifeen, AS Hassan, H Moradian… - … Conference on Digital …, 2016 - ieeexplore.ieee.org
Approximate TMR (ATMR) is an approach towards logic masking of soft errors through
utilization of approximate circuit modules in order to achieve performance benefits such as …

Approximate logic synthesis using Boolean matrix factorization

J Ma, S Hashemi, S Reda - IEEE Transactions on Computer …, 2021 - ieeexplore.ieee.org
Approximate computing is an emerging computing paradigm offering benefits in hardware
metrics, such as design area and power consumption, by relaxing the requirement for full …

KL-cut based digital circuit remapping

L Machado, M Martins, V Callegaro, RP Ribas… - NORCHIP …, 2012 - ieeexplore.ieee.org
This paper introduces the concept of k and kl-cuts on top of digital mapped circuits in netlist
representations. Such new approach is derived from the concept of k and kl-cuts on top of …

Spin-Orbit torque neuromorphic fabrics for low-leakage reconfigurable in-memory computation

M Liu, P Borulkar, M Hossain… - IEEE Transactions on …, 2022 - ieeexplore.ieee.org
In this article, a neural spin-orbit torque (NSOT)-based emerging device technology
reconfigurable fabric is developed and assessed as a low-leakage power alternative to the …

Approximate logic synthesis using Boolean matrix factorization

S Hashemi, H Tann, S Reda - Approximate Circuits: Methodologies and …, 2019 - Springer
In this chapter, a new approximate circuit synthesis paradigm is presented, where
approximations are introduced to the input circuit using Boolean matrix factorization (BMF) …