Breadcrumb

 
 

Formal reliability analysis of combinational circuits using theorem proving

Title:

Formal reliability analysis of combinational circuits using theorem proving

Hasan, Osman and Patel, Jigar and Tahar, Sofiène (2011) Formal reliability analysis of combinational circuits using theorem proving. Journal of Applied Logic, 9 (1). pp. 41-60. ISSN 15708683

[img]
Preview
PDF - Accepted Version
485Kb

Official URL: http://dx.doi.org/10.1016/j.jal.2011.01.002

Abstract

Reliability analysis of combinational circuits has become imperative these days due to the extensive usage of nanotechnologies in their fabrication. Traditionally, reliability analysis of combinational circuits is done using simulation or paper-and-pencil proof methods. But, these techniques do not ensure accurate results and thus may lead to disastrous consequences when dealing with safety-critical applications. In this paper, we mainly tackle the accuracy problem of these traditional reliability analysis approaches by presenting a formal reliability analysis framework based on higher-order-logic theorem proving. We present the higher-order-logic formalization of the notions of fault and reliability for combinational circuits and formally verify the von-Neumann fault models for most of the commonly used logic gates, such as, AND, NOT, OR, etc. This formal infrastructure is then used along with a computer program, written in C++, to automatically reason about the reliability of any combinational circuit within a higher-order-logic theorem prover (HOL). For illustration purposes, we utilize the proposed framework to analyze the reliability of a few benchmark combinational circuits.

Divisions:Concordia University > Faculty of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Article
Refereed:Yes
Authors:Hasan, Osman and Patel, Jigar and Tahar, Sofiène
Journal or Publication:Journal of Applied Logic
Date:2011
ID Code:974497
Deposited By:ANDREA MURRAY
Deposited On:31 Jul 2012 15:54
Last Modified:31 Jul 2012 15:54
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Document Downloads

More statistics for this item...

Concordia University - Footer