Abstract | ||
---|---|---|
Reliability analysis for a logic circuit is one of the primary tasks in fault-tolerant logic synthesis. Given a fault model, it quantifies the impact of faults on the full-chip fault rate. We present RALF, an exact algorithm for calculating the reliability of a logic circuit. RALF is based on the compilation of a circuit to deterministic decomposable negation normal form (d-DNNF), a representation for Boolean formulas that can be more succinct than BDDs. Our algorithm can solve a large set of MCNC benchmark circuits within 5 minutes, enabling an optimality study of Monte Carlo simulation, a popular estimation method for reliability analysis, on real benchmark circuits. Our study shows that Monte Carlo simulation with a small set of random vectors generally has a high fidelity for the computation of full-chip fault rates and the criticality of single gates. While we focus on reliability analysis, RALF can also be used to efficiently locate random pattern resistant faults. This can be used to identify where methods other than random simulation should be used for accurate criticality calculations and where to enhance the testability of a circuit. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1109/DATE.2010.5456947 | DATE |
Keywords | Field | DocType |
logic circuit,logic design,reliability analysis,logic circuits,fault model,fault tolerance,pattern analysis,boolean algebra,chip,fault tolerant,vectors,data structures,algorithm design and analysis,random processes,logic synthesis,monte carlo simulation,computational modeling,reliability,boolean functions,logic gates,monte carlo methods,estimation theory | Boolean function,Testability,Logic synthesis,Logic gate,Algorithm design,Exact algorithm,Computer science,Algorithm,Boolean algebra,Fault model | Conference |
ISSN | ISBN | Citations |
1530-1591 | 978-1-4244-7054-9 | 4 |
PageRank | References | Authors |
0.48 | 12 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Samuel B. Luckenbill | 1 | 4 | 0.82 |
Ju-Yueh Lee | 2 | 64 | 6.28 |
Yu Hu | 3 | 75 | 9.62 |
Rupak Majumdar | 4 | 3401 | 220.08 |
Lei He | 5 | 4 | 0.48 |