Computing Observability of Gates in Combinational Logic Circuits by Bit-Parallel Simulation


Cite item

Full Text

Open Access Open Access
Restricted Access Access granted
Restricted Access Subscription Access

Abstract

The article considers vector computation methods (bit-parallel simulation) for determining the observability of combinational logic gates. The computations produce an ODC (observability don’t care) set of all gates for a given set of circuit states. These results make it possible to evaluate the probability of logical masking of a random circuit fault. The methods are compared by accuracy and time costs using testing results for ISCAS ’85 benchmark circuits.

About the authors

D. V. Telpukhov

Head of the ICDM Department, Institute for Design Problems in Microelectronics (IPPM RAS)

Author for correspondence.
Email: nofrost@inbox.ru
Russian Federation, Moscow

V. V. Nadolenko

Institute for Design Problems in Microelectronics (IPPM RAS)

Email: nofrost@inbox.ru
Russian Federation, Moscow

S. I. Gurov

Faculty of Computational Mathematics and Cybernetics, Lomonosov Moscow State University

Email: nofrost@inbox.ru
Russian Federation, Moscow

Supplementary files

Supplementary Files
Action
1. JATS XML

Copyright (c) 2019 Springer Science+Business Media, LLC, part of Springer Nature