64 research outputs found
On the Error Resilience of Ordered Binary Decision Diagrams
Ordered Binary Decision Diagrams (OBDDs) are a data structure that is used in
an increasing number of fields of Computer Science (e.g., logic synthesis,
program verification, data mining, bioinformatics, and data protection) for
representing and manipulating discrete structures and Boolean functions. The
purpose of this paper is to study the error resilience of OBDDs and to design a
resilient version of this data structure, i.e., a self-repairing OBDD. In
particular, we describe some strategies that make reduced ordered OBDDs
resilient to errors in the indexes, that are associated to the input variables,
or in the pointers (i.e., OBDD edges) of the nodes. These strategies exploit
the inherent redundancy of the data structure, as well as the redundancy
introduced by its efficient implementations. The solutions we propose allow the
exact restoring of the original OBDD and are suitable to be applied to
classical software packages for the manipulation of OBDDs currently in use.
Another result of the paper is the definition of a new canonical OBDD model,
called {\em Index-resilient Reduced OBDD}, which guarantees that a node with a
faulty index has a reconstruction cost , where is the number of nodes
with corrupted index
Compact DSOP and partial DSOP Forms
Given a Boolean function f on n variables, a Disjoint Sum-of-Products (DSOP)
of f is a set of products (ANDs) of subsets of literals whose sum (OR) equals
f, such that no two products cover the same minterm of f. DSOP forms are a
special instance of partial DSOPs, i.e. the general case where a subset of
minterms must be covered exactly once and the other minterms (typically
corresponding to don't care conditions of ) can be covered any number of
times. We discuss finding DSOPs and partial DSOP with a minimal number of
products, a problem theoretically connected with various properties of Boolean
functions and practically relevant in the synthesis of digital circuits.
Finding an absolute minimum is hard, in fact we prove that the problem of
absolute minimization of partial DSOPs is NP-hard. Therefore it is crucial to
devise a polynomial time heuristic that compares favorably with the known
minimization tools. To this end we develop a further piece of theory starting
from the definition of the weight of a product p as a functions of the number
of fragments induced on other cubes by the selection of p, and show how product
weights can be exploited for building a class of minimization heuristics for
DSOP and partial DSOP synthesis. A set of experiments conducted on major
benchmark functions show that our method, with a family of variants, always
generates better results than the ones of previous heuristics, including the
method based on a BDD representation of f
Computing with Nano-Crossbar Arrays: Logic Synthesis and Fault Tolerance
This is a conference paper.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 crosspoint can be used as a conventional electronic
component such as a diode, a FET, or a switch. This is a
unique opportunity that allows us to integrate well developed
conventional circuit design techniques into nano-crossbar arrays.
Motivated by this, our project aims to develop a complete synthesis and performance optimization methodology for switching
nano-crossbar arrays that leads to the design and construction
of an emerging nanocomputer. First two work packages of the
project are presented in this paper. These packages are on logic
synthesis that aims to implement Boolean functions with nanocrossbar arrays with area optimization, and fault tolerance that
aims to provide a full methodology in the presence of high fault
densities and extreme parametric variations in nano-crossbar
architectures.This project has received funding from the European Union's H2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 691178
Enhancing Logic Synthesis of Switching Lattices by Generalized Shannon Decomposition Methods
In this paper we propose a novel approach to the synthesis of minimal-sized lattices, based on the decomposition of logic functions. Since the decomposition allows to obtain circuits with a smaller area, our idea is to decompose the Boolean functions according to generalizations of the classical Shannon decomposition, then generate the lattices for each component function, and finally implement the original function by a single composed lattice obtained by glueing together appropriately the lattices of the component functions. In particular we study the two decomposition schemes defining the bounded-level logic networks called P-circuits and EXOR-Projected Sums of Products (EP-SOPs). Experimental results show that about 34% of our benchmarks achieve a smaller area when implemented using the P-circuit decomposition for switching lattices, with an average gain of at least 25%, and about 27% of our benchmarks achieve a smaller area when implemented using the EP-SOP decomposition, with an average gain of at least 22%
Logic synthesis and testing techniques for switching nano-crossbar arrays
Beyond CMOS, new technologies are emerging to extend electronic systems with features unavailable to silicon-based devices. Emerging technologies provide new logic and interconnection structures for computation, storage and communication that may require new design paradigms, and therefore trigger the development of a new generation of design automation tools. In the last decade, several emerging technologies have been proposed and the time has come for studying new ad-hoc techniques and tools for logic synthesis, physical design and testing. The main goal of this project is developing a complete synthesis and optimization methodology for switching nano-crossbar arrays that leads to the design and construction of an emerging nanocomputer. New models for diode, FET, and four-terminal switch based nanoarrays are developed. The proposed methodology implements logic, arithmetic, and memory elements by considering performance parameters such as area, delay, power dissipation, and reliability. With combination of logic, arithmetic, and memory elements a synchronous state machine (SSM), representation of a computer, is realized. The proposed methodology targets variety of emerging technologies including nanowire/nanotube crossbar arrays, magnetic switch-based structures, and crossbar memories. The results of this project will be a foundation of nano-crossbar based circuit design techniques and greatly contribute to the construction of emerging computers beyond CMOS. The topic of this project can be considered under the research area of â\u80\u9cEmerging Computing Modelsâ\u80\u9d or â\u80\u9cComputational Nanoelectronicsâ\u80\u9d, more specifically the design, modeling, and simulation of new nanoscale switches beyond CMOS
Data protection in Cloud scenarios
We present a brief overview of the main challenges related to data protection that need to be addressed when data are stored, processed, or managed in the cloud. We also discuss emerging approaches and directions to address such challenges
Integrated Synthesis Methodology for Crossbar Arrays
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 stochastic nature
of nano-fabrication, nano arrays show different properties both
in structural and physical device levels compared to conventional
technologies. Mentioned factors introduce random characteristics
that need to be carefully considered by synthesis process. For instance, a competent synthesis methodology must consider basic
technology preference for switching elements, defect or fault rates
of the given nano switching array and the variation values as well
as their effects on performance metrics including power, delay, and
area. Presented synthesis methodology in this study comprehensively covers the all specified factors and provides optimization
algorithms for each step of the process.This work is part of a project that has received funding from the
European Union’s H2020 research and innovation programme under the
Marie Skłodowska-Curie grant agreement No 691178, and supported by the
TUBITAK-Career project #113E76
Multipliers based on Wallace trees and pseudo-products
The new concept of pseudo-product as extension of the concept of product has been introduced in a recent paper by Luccio and Pagli. An arbitrary Boolean function can be expressed as a sum of pseudo-products (SPP), and this expression is, in general, shorter then the SP form. We present new algebraic SPP-expressions for the output functions of parallel integer multipliers based on Wallace Trees and column compression techniques
A New Approach to Three-Level Logic Synthesis
Three-level logic SPP forms are OR of AND of EXORs expressions.
In the framework of SPP minimization we give a new
algebraic definition of SPP expressions using affine spaces.
The main problems of SPP model are: the
``hard to digest'' SPP theory; the time required for
minimization, which is still high; and the unbounded fan-in EXOR gates in
the form. Consequently, our main results in this paper are: 1)
we rephrase the SPP theory using well known algebraic structures
(vector and affine spaces) to obtain an easier description of pseudocubes,
which play the same role as cubes in
standard minimization; 2) we describe a new canonical representation of
pseudocubes leading to a more efficient data structure for SPP
minimization; 3) we introduce a novel form, called k-SPP
form}, where the number of literal in the EXOR factors is upper
bounded by a chosen constant , and show how to modify the
SPP algorithms for computing the minimal
k-SPP form efficiently. Finally, we perform an extensive set of experiments
on classical benchmarks aimed at validating the new approach
Logic Minimization using Exclusive OR Gates
Recently introduced pseudoproducts and Sum of Pseudoproduct (SPP) forms have made possible to represent Boolean functions with much shorter expressions than standard Sum of Products (SP) forms [5]. A pseudo product is a product (AND) of Exclusive OR (EXOR) factors, and an SPP form is a SUM (OR) or pseudoproducts. The synthesis of SPP minimal forms requires greater effort than SP minimization. In this paper we present a new data structure for this problem, leading to an efficient minimization method for SPP forms implemented with an exact algorithm and an heuristic. Experimental results on a classical set of benchmarks show that the new algorithms are fast, and can be applied to "complex" functions with a reasonable running time
- …