Papers by ghaith bany hamad
Investigating the efficiency and accuracy of a data type reduction technique for soft error analysis
2016 IEEE International Conference on Electronics, Circuits and Systems (ICECS), 2016
—An increase in vulnerability to soft errors has affected the reliability of both synchronous and... more —An increase in vulnerability to soft errors has affected the reliability of both synchronous and asynchronous nanometer scale integrated circuits. Hence in such circuits there is a growing need to identify the soft error glitch propagation possibility before their physical design implementation. This paper proposes a new tool, the Soft Error Glitch-Propagating path Finder (SEGP-Finder), able to analyze the propagation of soft errors at gate level. In SEGP-Finder, soft error modeling is accomplished via Multiway Decision Graphs (MDGs) and Glitch Propagation sets (GP sets). To demonstrate the effectiveness of our tool, several ISCAS89 sequential benchmark circuits, 4-bit and 8-bit adders, 4-bit multiplier, and the Self-timed multiple-group pipeline asynchronous handshake circuit have been analyzed. Results indicate that SEGP-Finder is on average more than 5 times faster, without compromising on the accuracy, in comparison with simulation-based and SAT (satisfiability analysis) based techniques.
A new investigation of the dependence of the Single Event Transient (SET) pulse broadening on the... more A new investigation of the dependence of the Single Event Transient (SET) pulse broadening on the input pattern i.e. fan-in, propagation paths, pulse polarity and re-convergent paths is presented. Worst and best SET pulse propagation paths are identified.
—Soft errors have become one of the most challenging issues that impact the reliability of modern... more —Soft errors have become one of the most challenging issues that impact the reliability of modern microelectronic systems at terrestrial altitudes. A new methodology to abstract, model, and analyze Single Event Transient (SET) propagation at different abstraction levels (transistor and gate level) is proposed. Transistor level characterization libraries are developed to abstract the impact of input patterns, pulse polarity, and propagation paths characteristics on the SET duration. Thereafter, these libraries are utilized to analyze SET pulse propagation at gate level using MDG model checker. We have implemented the proposed method on different ISCAS85 benchmark combinational circuits. The proposed methodology is orders of magnitude faster than circuit level simulations. Moreover, we have developed gate level characterization libraries to abstract SET pulse propagation behavior at the gate level.
Due to shrinking feature sizes and significant reduction in noise margins, as CMOS technologies e... more Due to shrinking feature sizes and significant reduction in noise margins, as CMOS technologies evolve toward ultra-deep sub-micron, digital circuits have become more susceptible to soft errors. Therefore, researchers have recently reported several approaches to model Single Event Transient (SET) propagation at gate or higher abstraction levels. However, contemporary techniques model only the possibility that SET pulse may be masked electrically, logically, or by time windowing. In this paper, the propagation induced pulse broadening (PIPB) phenomenon is further investigated and a new model which abstracts this phenomenon is proposed. This paper also investigates and abstracts the impact of input patterns and propagation paths on SET pulse width. Through electrical simulations, we validated our analysis.
Increase in vulnerability to soft errors has affected the reliability of both synchronous and as... more Increase in vulnerability to soft errors has affected the reliability of both synchronous and asynchronous circuits implemented in modern deep sub-micron technologies. Hence in such circuits, there is a growing need to identify the soft error glitch propagation possibility at an early stage in the design flow. This paper proposes a new methodology to obtain soft error glitch propagation paths in digital designs (both synchronous and asynchronous). To compute these paths, Multiway Decision Graphs (MDGs) and glitch-propagation sets (GP sets) are utilized in conjunction with Boolean Satisfiability solvers (MiniSat). The applicability of the proposed method is illustrated by implementing ISCAS89 benchmark sequential circuits, 8-bit adders, multipliers, and the Self-timed multiple-group pipeline asynchronous handshake circuits. The proposed SAT based methodology is on average 13 times faster than the best contemporary state-of-the-art techniques exhaustively analyze possible soft error glitch-propagation paths.
The progressive shrinking of device size in advanced technologies leads to miniaturization and pe... more The progressive shrinking of device size in advanced technologies leads to miniaturization and performance improvements. However, ultra-deep sub-micron technologies are more vulnerable to soft errors. Error analysis of a complex system with a sufficiently large sample of vulnerable nodes takes a large amount of time. In this paper we propose RASVAS, a hierarchical statistical method to model, analyze, and estimate the behavior of a system in the presence of Single Event Transients (SETs) modeled at different abstraction levels. Gate level propagation tables are developed to abstract SET propagation conditions and probabilities from gate level models. At RTL, these tables are utilized to model the underlying probabilistic behavior as Markov Decision Process (MDP) models. Experimental results demonstrate that RASVAS is orders of magnitude faster than contemporary techniques and also handle designs as large as 256-bit adders while maintaining accuracy.
Soft errors, induced by radiations, have a growing impact on the reliability of CMOS integrated c... more Soft errors, induced by radiations, have a growing impact on the reliability of CMOS integrated circuits. The progressive shrinking of device sizes in advanced technologies leads to miniaturization and performance improvements. However, ultra-deep sub-micron technologies are more vulnerable to soft errors. In this paper, we propose a new methodology to model and analyze Single Event Transients (SETs) propagation at RTL level. Gate level characterization libraries are utilized to model the underlying probabilistic behavior of SET pulse propagation as Probabilistic Automata (PA). A probabilistic model checker is adapted to analyze the probability of SET pulse propagation for all injection scenarios. Experimental results are presented for different combinational circuits. Our proposed methodology is orders of magnitude faster than contemporary techniques that can be used to analyze SET pulse propagation probability.
Soft errors due to Single Event Transients (SETs) have become one of the most challenging issues ... more Soft errors due to Single Event Transients (SETs) have become one of the most challenging issues that impact the reliability of modern microelectronic systems at terrestrial altitudes. This is mainly due to the progressive shrinking of device sizes. Traditionally, the analysis of SETs has been carried out by simulations and experimental analysis. However, these techniques are resource hungry and require full details of the design structure and SET characteristics. This paper develops a hierarchical framework for formal analysis of SET propagation by (1) introducing Register Transfer Level (RTL) abstraction and modeling approaches of the underlying behavior of SET propagation using Multiway Decision Graphs (MDGs); and (2) investigating SET propagation conditions at RTL using a formal model checker. In order to illustrate the practical utilization of our work, we have analyzed different RTL combinational designs. Experimental results demonstrate the proposed framework is orders of magnitude faster than other comparable contemporary techniques. Moreover, for the first time, a decision graph based technique is developed to analyze multiplier designs.
Soft errors, due to cosmic radiations, are one of the major challenges for reliable VLSI designs.... more Soft errors, due to cosmic radiations, are one of the major challenges for reliable VLSI designs. In this paper, we present a symbolic framework to model soft errors in both synchronous and asynchronous designs. The proposed methodology utilizes Multiway Decision Graphs (MDGs) and glitch-propagation sets (GP sets) to obtain soft error rate (SER) estimation at gate level. This work helps mitigate design for testability (DFT) issues in relation to identifying the controllable and the observable circuit nodes, when the circuit is subject to soft errors. Also, this methodology allows designers to apply radiation tolerance techniques on reduced sets of internal nodes. To demonstrate the effectiveness of our technique, several ISCAS89 sequential and combinational benchmark circuits, and multiple asynchronous handshake circuits have been analyzed. Results indicate that the proposed technique is on average 4.29 times faster than the best contemporary state-of-the-art techniques. The proposed technique is capable to exhaustively identify soft error glitch propagation paths, which are then used to estimate the SER. To the best of our knowledge, this is the first time that a decision diagram based soft error identification approach is proposed for asynchronous circuits.
—An investigation of the Single Event Transient (SET) characteristics (amplitude and width) varia... more —An investigation of the Single Event Transient (SET) characteristics (amplitude and width) variation while propagating through static and True Single Phase Clock (TSPC) logic is presented. The dependencies of the SET characteristics on the input patterns, propagation paths, pulse polarity, diverging paths, and re-converging paths are investigated. New insights on the propagation induced pulse broadening (PIPB) phenomenon in different combinations of static and TSPC logic are reported. The worst and the best propagation paths for SET pulse broadening and attenua-tion are identified. Our results demonstrate that SET pulses propagation can lead to Byzantine faults as they propagate through diverging paths. A new way to abstract all possible interpretations of the SET induced Byzantine fault phenomenon is proposed. Index Terms—Broadening, byzantine faults, diverging paths, input pattern, propagation induced pulse broadening (PIPB), propagation path, re-converging paths, single event transient (SET), soft errors, True Single Phase Clocked (TSPC).
—This paper presents a hierarchical framework to model, analyze, and estimate digital design vuln... more —This paper presents a hierarchical framework to model, analyze, and estimate digital design vulnerability to soft errors due to Single Event Transients (SETs) based on Satisfiability Modulo Theories (SMTs). New strategies to mitigate SETs with minimum area overhead is proposed by selectively hardening vulnerable nodes in the design. The reliability of a circuit can be improved by 30% with less than 5% area overhead.
This paper presents a hierarchical framework to model, analyze , and estimate digital design vuln... more This paper presents a hierarchical framework to model, analyze , and estimate digital design vulnerability to soft errors due to Single Event Transients (SETs). A new SET propagation model is proposed. This model simultaneously includes the impact of masking effects, width variation, and re-converging paths by utilizing satisfiability modulo theories. Furthermore, new metrics characterizing the soft error rate of a given design are proposed. Reported results show that the proposed methodology significantly enhances the efficiency of SET analysis in terms of: 1) accuracy as it gives accurate estimates of SET sensitivity based on gates timing extracted from layout. These results provide new insights to combinational designs vulnerability to SETs; 2) speed as it is orders of magnitude faster than contemporary techniques; 3) scalability as it can handle large and complex designs such as 128-bit multipliers, whereas contemporary techniques are unable to handle multipliers larger than 32 bits.
Uploads
Papers by ghaith bany hamad