Self-checking combinational circuit design for single and unidirectional multibit error

Busaba, F.Y.; Lala, P.K.

doi:10.1007/bf00971960

Cited by 68 publications

(15 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In fact, it should be avoided that the effects of a fault affecting a node reach different circuit outputs through inverting and non-inverting paths, thus resulting in errors not detectable by the error codes used in VLSI. To solve this problem, systematic design approaches have been developed which refers to two-level or multilevel design styles [10,11,13,19,21,9,6,26,3,2].…”

Section: Introductionmentioning

confidence: 99%

On the design of self-checking functional units based on Shannon circuits

Favalli

Metra

1999

Proceedings of the Conference on Design, Automation and Test in Europe

View full text Add to dashboard Cite

This paper investigates the application of Shannon (BDD) circuits, that feature interesting low-power capabilities, to the design of self-checking functional units. A technique is proposed that, by using a time redundancy approach, makes this kind of circuits totally self-checking with respect to stuck-at faults. For a set of possibly used passtransistor-based CMOS implementations, we show that the totally self-checking or the strongly fault secure properties hold for a wider set of realistic faults, including transistors stuck-open/on and bridgings.

show abstract

Section: Introductionmentioning

confidence: 99%

On the design of self-checking functional units based on Shannon circuits

Favalli

Metra

1999

Proceedings of the Conference on Design, Automation and Test in Europe

View full text Add to dashboard Cite

show abstract

“…Например, большое значение имеет вы-бор варианта кодирования при организации систем функционального контроля логических уст-ройств [3,4]. Известны алгоритмы, обеспечивающие с учетом свойств кодов построение сис-тем функционального контроля со 100%-ным обнаружением любых одиночных неисправно-стей в контролируемом устройстве [5,6].В настоящей статье рассматривается задача определения всех возможных видов ошибок в информационных векторах систематических кодов, или (m,k)-кодов, где m -длина инфор-мационного вектора, а k -длина контрольного вектора. Предложена классификация ошибок в информационных векторах и приведены формулы подсчета ошибок различных типов.…”

unclassified

“…Такое свойство кода Бергера позво-ляет использовать его для контроля комбинационных схем, в которых любая одиночная не-исправность логических элементов их внутренней структуры может приводить только к мо-нотонным искажениям на выходах схемы (такие логические схемы принято называть схема-ми с монотонно независимыми выходами [6]). Известно, что любую произвольную комбинаци-онную схему можно преобразовать в схему с монотонно независимыми выходами [3,5,6].…”

unclassified

See 1 more Smart Citation

Errors Classification in Information Vectors of Systematic Codes

Sapozhnikov¹,

Ephanov²

2015

Izv. vysš. učebn. zaved., Priborostr.

View full text Add to dashboard Cite

Предложена классификация ошибок в информационных векторах систематиче-ских кодов, позволяющая учитывать все возможные варианты искажений ин-формационных разрядов и изучать возможности различных систематических кодов по обнаружению ошибок, что может быть использовано при построении надежных систем автоматики и вычислительной техники. Введение. В задачах построения надежных логических устройств автоматики и вычисли-тельной техники используются разнообразные систематические коды, каждый из которых ха-рактеризуется своим показателем избыточности и способностью к обнаружению ошибок [1,2]. Выбранный на этапе проектирования логического устройства вариант кодирования определяет способ обеспечения контролепригодности устройства. Например, большое значение имеет вы-бор варианта кодирования при организации систем функционального контроля логических уст-ройств [3,4]. Известны алгоритмы, обеспечивающие с учетом свойств кодов построение сис-тем функционального контроля со 100%-ным обнаружением любых одиночных неисправно-стей в контролируемом устройстве [5,6].В настоящей статье рассматривается задача определения всех возможных видов ошибок в информационных векторах систематических кодов, или (m,k)-кодов, где m -длина инфор-мационного вектора, а k -длина контрольного вектора. Предложена классификация ошибок в информационных векторах и приведены формулы подсчета ошибок различных типов.Классификация ошибок в информационных векторах (m,k)-кодов. Рассмотрим возможные типы ошибок в информационных векторах кодовых слов длиной m.Обозначим через d кратность ошибки в информационном векторе (m,k)-кода. Ошиб-ка -это искажение некоторого количества нулевых и (или) единичных разрядов в кодовом векторе. Если е 1 -число искажений типа 0→1, а е 0 -число искажений типа 1→0, то крат-ность ошибки может быть представлена в виде суммы d=е 0 +е 1 .Число ошибок кратностью d в информационном векторе длиной m вычисляется по формуле

show abstract

“…Synthesis techniques for unidirectional circuits have been proposed in [2][3][4][5][6]. Special input and output encoding techniques are used in [ 2 ] to guaranty that all single stuck-at faults cause a unidirectional error at the outputs. In the method presented in [3], an inverter-free circuit is first obtained by moving all inverters to the primary inputs.…”

Section: Introductionmentioning

confidence: 99%

Logic optimization of unidirectional circuits with structural methods

Entrena

López²,

Olías³

et al.

Proceedings Seventh International on-Line Testing Workshop

View full text Add to dashboard Cite

Self checking design based on unordered codesrequires that the target circuit is transformed into un unidirectional circuit. Techniques for the design of unidirectional circuits have been proposed. However, in general, niultilevel logic optimization techniques cannot be directly applied because they do not guaranty the unidirectional property is preserved. In this paper we will show how structural logic Optimization niethods can be successfully constrained for the optiniization of unidirectional circuits. Experiniental results show that the area overhead produced by making a circuit unidirectional can be largely reduced arid the circuits can be optimized to a snialler area than the original non-unidirectional benchniarks on average.

show abstract

Self-checking combinational circuit design for single and unidirectional multibit error

Cited by 68 publications

References 10 publications

On the design of self-checking functional units based on Shannon circuits

On the design of self-checking functional units based on Shannon circuits

Errors Classification in Information Vectors of Systematic Codes

Logic optimization of unidirectional circuits with structural methods

Contact Info

Product

Resources

About