@inbook{59cf861fc70d4dd499e9788aecb42613,
title = "Reliability aware logic synthesis through rewriting",
abstract = "The low reliability of advanced CMOS devices has become a critical issue that has to be considered in the digital IC design flow. This paper introduces a design time methodology to address and improve the reliability of combinational circuits. The key idea is to employ local transformation rules, a methodology that were extensively used for area, delay, and power optimizations and demonstrate that they can reduce the error probability as well.We propose a set of local transformation rules that enhance the reliability without altering the circuit functionality. This functional rewriting capability, along with a circuit reliability assessment methodology developed in house, enables the integration of the reliability aware analysis and logic optimization algorithm that iteratively transforms the design in order to achieve higher circuit reliability. Experimental results based on simulations performed on MCNC benchmark circuits indicate that method can provide a reliability improvement of up to 7.5\%.",
keywords = "ABC Tool, And-Invert Graphs (AIG), Local Transformation Rules, Optimization, Reliability, Rewriting, Synthesis",
author = "Satish Grandhi and Christian Spagnol and Jiaoyan Chen and Emanuel Popovici and Sorin Cotafona",
note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 27th IEEE International System on Chip Conference, SOCC 2014 ; Conference date: 02-09-2014 Through 05-09-2014",
year = "2014",
month = nov,
day = "5",
doi = "10.1109/SOCC.2014.6948940",
language = "English",
series = "International System on Chip Conference",
publisher = "IEEE Computer Society",
pages = "274--279",
editor = "Kaijian Shi and Thomas Buchner and Danella Zhao and Ramalingam Sridhar",
booktitle = "International System on Chip Conference",
address = "United States",
}