Skip to main content

A method for synthesis of easily-testable circuits in some basis admitting single fault detection tests of constant length

Abstract

A method of synthesis of irredundant circuits of functional elements in the basis {x&y, xy, 1, \(\bar x\)(yz) ∨ x(yz)} realizing arbitrary Boolean functions and admitting unit verification tests of the length not exceeding 4 is proposed in the paper for inverse or constant (stuck-at) faults at outputs of gates.

This is a preview of subscription content, access via your institution.

References

  1. N. P. Red’kin, Reliability and Diagnostics of Circuits (Moscow State Univ., Moscow, 1992) [in Russian].

    Google Scholar 

  2. S. M. Reddy, “Easily Testable Realization for Logic Functions,” IEEE Trans. Comput. 21(1), 124 (1972).

    Google Scholar 

  3. N. P. Red’kin, “Circuits Admitting Short Tests,” Vestn. Mosk. Univ., Matem. Mekhan., No. 2, 17 (1988).

  4. S. V. Kovatsenko, “Synthesis of Easily Tested Circuits in Zhegalkin Basis for Inverse Faults,” Vestn. Mosk. Univ., Vychisl. Matem. Kibern., No. 2, 45 (2000).

  5. N. P. Red’kin, “Unit Verification Tests for Circuits with Inverse Faults of Elements,” in Mathematical Problems of Cybernetics (Fizmatlit, Moscow, 2003), Vol. 12, pp. 217–230.

    Google Scholar 

  6. Yu. V. Borodina, “Synthesis of Easily Tested Circuits in the Case of Single-Type Constant Faults at Outputs of Elements,” Vestn. Mosk. Univ., Vychisl. Matem. Kibern., No. 1, 40 (2008).

    MathSciNet  Google Scholar 

  7. Yu. V. Borodina, Circuits Admitting Single-Fault Tests of Length 1 under Constant Faults at Outputs of Elements,“ Vestn. Mosk. Univ., Matem. Mekhan., No. 5, 49 (2008).

  8. Yu. V. Borodina and P. A. Borodin, “Synthesis of Easily Tested Circuits in the Zhegalkin Basis under Constant Faults of Type “0” at Outputs of Elements,” Diskret. Matem. 22(3), 127 (2010).

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Additional information

Original Russian Text © D.S. Romanov, 2012, published in Vestnik Moskovskogo Universiteta, Matematika. Mekhanika, 2012, Vol. 67, No. 2, pp. 24–29.

About this article

Cite this article

Romanov, D.S. A method for synthesis of easily-testable circuits in some basis admitting single fault detection tests of constant length. Moscow Univ. Math. Bull. 67, 69–73 (2012). https://doi.org/10.3103/S0027132212020064

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S0027132212020064

Keywords

  • Functional Element
  • Constant Length
  • Output Element
  • Shannon Function
  • Correct Circuit