Title

Bounding Signal Probabilities in Combinational Circuits

Abstract

In [2] Savir, Ditlow, and Bardell presented an algorithm for estimating the signal probability of a line in combinational circuits, but were unable to show that the algorithm always produced correct results. This paper shows that their algorithm for cutting reconvergent fan-out lines in a circuit eventually produces a circuit without reconvergent fan-out that can be used to estimate signal probabilities in all lines of the original circuit.

Department(s)

Computer Science

Keywords and Phrases

Error Detection; Fault Detection; Random Testing; Signal Probability

International Standard Serial Number (ISSN)

0018-9340

Document Type

Article - Journal

Document Version

Citation

File Type

text

Language(s)

English

Rights

© 1987 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.

Share

 
COinS