Skip to main content
Springer Nature Link
Log in

One-to-Many: Context-Oriented Code for Concurrent Error Detection

  • Published:
Journal of Electronic Testing Aims and scope Submit manuscript

Abstract

The paper deals with context-oriented codes for concurrent error detection. We consider a fault model for which, in the presence of a fault, the values on the circuit’s output are arbitrary. This model allows one to design an error detection code without analyzing sensitive parts or error cones in the synthesized circuit. Conventional coding schemes are based on a one-to-one mapping between an original output vector (information word) and a codeword. In this paper, we introduce a different approach, which we call one-to-many coding. In one-to-many code, each codeword comprises a predefined set of words. The functional unit is referred to as an encoder enabling each activation to map an information word to a different word. This flexible mapping system results in a lower implementation cost of the functional unit and its checker.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12

Similar content being viewed by others

References

  1. Almukhaizim S, Drineas P, Makris Y (2006) Entropy-driven parity-tree selection for low-overhead concurrent error detection in finite state machines. IEEE Trans Comput-Aided Des Integr Circuits Syst 25(8):1547–1554

    Article  Google Scholar 

  2. Berger JM (1961) A note on error detection codes for asymmetric channels. Inf Control 4:68–73

    Article  MATH  Google Scholar 

  3. Blaum M, Roth RM (1993) New array codes for multiple phased burst correction. IEEE Trans Inf Theory 39(1):66–77

    Article  MATH  MathSciNet  Google Scholar 

  4. Bose B, Lin DJ (1985) Systematic unidirectional error-detecting codes. IEEE Trans Comput 34:1026–1032

    Article  MATH  Google Scholar 

  5. Choudhury MR, Mohanram K (2008) Approximate logic circuits for low overhead, non-intrusive concurrent error detection. In: Proceedings of DATE 2008, pp 903–908

  6. Cole R, Ost K, Schirra S (2001) Edge coloring bipartite multigraphs in O(E log D) time. Combinatorica 21:5–12

    Article  MATH  MathSciNet  Google Scholar 

  7. Cover TM, Thomas JA (1964) Elements of information theory. Wiley-Interscience, 1991. Inf Control 7:485–507

    Article  Google Scholar 

  8. Jha NK, Wang SJ (1993) Design and synthesis of self-checking VLSI circuits IEEE Trans CAD 12(6):878-887

    Google Scholar 

  9. Kaushik De, Natarajan C, Nair D, Banerjee P (1994) RSYN: a system for automated synthesis of reliable multilevel circuits. IEEE Trans VLSI Syst 2(2):186–195

    Article  Google Scholar 

  10. Keren O, Levin I, Ostrovsky V, Abramov B (2008) Arbitrary error detection in combinational circuits by using partitioning. In: The 23rd IEEE international symposium on defect and fault tolerance in VLSI systems (DFT’08), pp 361–369

  11. Keren O, Litsyn S (1997) A class of array codes correcting multiple column erasures. IEEE Trans Inf Theory 43(6):1843–1851

    Article  MATH  MathSciNet  Google Scholar 

  12. Konig D (1916) Uber graphen und ihre anwendung auf determinantentheorie und mengenlehre. Math Ann 77:453–465

    Article  MathSciNet  Google Scholar 

  13. Kubalik P, Fiser P, Kubatova H (2006) Fault tolerant system design method based on self-checking circuits. In: Proceedings of the 12th IEEE international on-line testing symposium, pp 185–186

  14. Lala P (2000) Self-checking and fault-tolerant digital design. Morgan Kaufmann, San-Francisco

    Google Scholar 

  15. Levin I, Karpovsky M (1998) On-line self-checking of microprogram control units. In: The 4-th IEEE international on-line testing workshop, Capri, pp 153–159

  16. MacWilliams FJ, Sloane NJA (1977) The theory of error-correcting codes. North-Holland, Amsterdam

    MATH  Google Scholar 

  17. Ostrovsky V, Levin I (2005) Implementation of concurrent checking circuits by independent sub-circuits. In: Proceedings of 20th IEEE international symposium on defect and fault tolerance in VLSI systems (DFT’05), pp 343–351

  18. Ostrovsky V, Levin I, Keren O, Abramov B (2007) Designing concurrent checking circuits by using partitioning. International Journal of Highly Reliable Electronic System Design 1(1):1–11

    Google Scholar 

  19. Saposhnikov VV, Morosov A, Saposhnikov VlV, Gossel M (1996) Design of self-checking unidirectional combinational circuits with low area overhead. In: Proceeding of the 2nd IEEE international on-line testing workshop, pp 56–67

  20. Saposhnikov VV, Morosov A, Saposhnikov VlV, Gossel M (1998) A new design method for self-checking unidirectional combinational circuits. J Electron Test Theory Appl 12:41–53

    Article  Google Scholar 

  21. Schrijver A (1998) Bipartite edge coloring in O(Δm) time. SIAM J Comput 28:841–846

    Article  MathSciNet  Google Scholar 

  22. Smith JE (1984) On separable unordered codes. IEEE Trans Comput 33(8):741–743

    Article  Google Scholar 

  23. Sogomonyan ES (1974) Design of built-in self-checking monitoring circuits for combinational devices. Autom Remote Control 35(2):280–289

    Google Scholar 

  24. Touba NA, McCluskey EJ (1997) Logic synthesis of multilevel circuits with concurrent error detection. IEEE Trans Comput-Aided Des Integr Circuits Syst 16:783–789

    Article  Google Scholar 

  25. Vemu R, Jas A, Abraham JA, Patil S, Galivanche R (2008) A low-cost concurrent error detection technique for processor control logic. In: Proc. of design, automation and test in Europe (DATE), pp 897–902

Download references

Author information

Authors and Affiliations

  1. Bar-Ilan University, Ramat Gan, Israel

    Osnat Keren

Authors
  1. Osnat Keren
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Osnat Keren.

Additional information

Responsible Editor: N. A Touba

Rights and permissions

Reprints and permissions

About this article

Cite this article

Keren, O. One-to-Many: Context-Oriented Code for Concurrent Error Detection. J Electron Test 26, 337–353 (2010). https://doi.org/10.1007/s10836-009-5139-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10836-009-5139-x

Keywords

Search

Navigation