Abstract
Combinational circuits (combinational parts of sequential circuits) are considered. Masking of internal nodes faults with applying sub-circuit, inputs of which are connected to the circuit inputs and outputs — to the circuit proper internal nodes, is suggested. The algorithm of deriving incompletely specified Boolean function for an internal node of the circuit based on using operations on ROBDDs is described. Masking circuit (patch circuit) design for the given internal fault nodes is reduced to covering of the system of incompletely specified Boolean functions corresponding to the fault nodes by the proper SoP system. Then the obtained system of completely specified Boolean functions is applied to derive masking circuit by using ABC system (A System for Sequential Synthesis and Verification). Experiments on bench marks show essential cutting of overhead in the frame of the suggested approach.
Highlights
ПОСТАНОВКА ЗАДАЧИЗадана комбинационная схема C и множество ее неисправных полюсов. Требуется построить корректирующую (маскирующую) схему из вентилей, которая реализует систему частичных функций этих полюсов.
Некоторые из неисправных полюсов могут быть входными полюсами элементов схемы, в этом случае вместо неисправности полюса будем говорить о неисправности линии, связывающей рассматриваемый полюс с выходом предшествующего элемента схемы.
Что выход маскирующей схемы соединяется в общем случае с соответствующими входами нескольких элементов схемы.
Summary
Задана комбинационная схема C и множество ее неисправных полюсов. Требуется построить корректирующую (маскирующую) схему из вентилей, которая реализует систему частичных функций этих полюсов. Некоторые из неисправных полюсов могут быть входными полюсами элементов схемы, в этом случае вместо неисправности полюса будем говорить о неисправности линии, связывающей рассматриваемый полюс с выходом предшествующего элемента схемы. Что выход маскирующей схемы соединяется в общем случае с соответствующими входами нескольких элементов схемы. Что полностью определенная функция f2 реализует частичную функцию f1, если выполняется условие: пересечения множеств M1 (f1), M0 (f2) и множеств M0 (f1), M1 (f2) пусты. Если на полюсе v обнаружена некоторая логическая неисправность, в частном случае константа, это значит, что искажена частичная функция, сопоставляемая этому полюсу. Маскирующей неисправность полюса («схемызаплатки»), предлагается использовать наборы из области определения частичной функции, чтобы найти по возможности более простую полностью определенную функцию, реализующую частичную функцию рассматриваемого полюса, и, следовательно, более простую логическую схему, маскирующую неисправность этого полюса. Преимущество одного из двух подходов зависит от свойств корректируемой комбинационной схемы (комбинационной составляющей последовательностной схемы)
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Izvestiya of Saratov University. New Series. Series: Mathematics. Mechanics. Informatics
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
