Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

article · 2008

Parallel fault backtracing for calculation of fault coverage

Raimund Ubar, Sergei Devadze, Jaan Raik, Artur Jutman

Cited by 11Abstract and details only

Abstract

A new improved method for calculation of fault coverage with parallel fault backtracing in combinational circuits is proposed. The method is based on structurally synthesized BDDs (SSBDD) which represent gate-level circuits at higher, macro level where macros represent subnetworks of gates. A topological analysis is carried out to generate an efficient optimized model for backtracing of faults to minimize the repeated calculations because of the reconvergent fanouts. The algorithm is equivalent to exact critical path tracing, however, processing the backtrace in parallel for a group of test patterns. Because of the parallelism, higher abstraction level modeling, and optimization of the topological model, the speed of fault simulation was considerably increased. Compared to the state-of-the-art commercial fault simulators the gain in speed was several times.

Cite this paper

APA 7

Ubar, R., Devadze, S., Raik, J., & Jutman, A. (2008). Parallel fault backtracing for calculation of fault coverage. https://doi.org/10.1109/aspdac.2008.4484035

MLA 9

Ubar, Raimund, et al. “Parallel fault backtracing for calculation of fault coverage.” vol. 6, 2008, pp. 667–72, https://doi.org/10.1109/aspdac.2008.4484035.

Chicago

Ubar, Raimund, Sergei Devadze, Jaan Raik, and Artur Jutman. 2008. “Parallel fault backtracing for calculation of fault coverage.” https://doi.org/10.1109/aspdac.2008.4484035.

Harvard

Ubar, R. et al. (2008) ‘Parallel fault backtracing for calculation of fault coverage’. Available at: https://doi.org/10.1109/aspdac.2008.4484035.

BibTeX
@article{ubar2008parallel,
  title = {{Parallel fault backtracing for calculation of fault coverage}},
  author = {Ubar, Raimund and Devadze, Sergei and Raik, Jaan and Jutman, Artur},
  volume = {6},
  pages = {667--672},
  year = {2008},
  doi = {10.1109/aspdac.2008.4484035}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.

Related papers