Publication | Open Access
Novel totally self-checking Berger code checker designs based on generalized Berger code partitioning
30
Citations
12
References
1993
Year
Program CheckingEngineeringVerificationComputer-aided VerificationComputational ComplexityModel CheckingSoftware AnalysisFormal VerificationCoding TheoryInformation Length 2/SupAlgebraic Coding TheoryTsc M-out-of-n CheckerComputer EngineeringComputer ScienceError Correction CodeTheory Of ComputingTwo-output CheckerProgram AnalysisAutomated ReasoningSoftware TestingFormal Methods
Totally self-checking (TSC) Berger code checker designs are presented. The generalized Berger check partitioning is derived. It is proven that a TSC Berger code checker can be constructed from a TSC m-out-of-n checker. For a TSC Berger code checker design, no two-output checker exists for information length 2/sup r-1/, for any positive nonzero r. The presented approach solves this open problem.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
| Year | Citations | |
|---|---|---|
Page 1
Page 1