К.т.н., доцент, профессор
Тел.: (499) 158 43 82
Cand. Sci. (Eng.), Associate Professor, Professor
Tel.: (499) 158 43 82
К.т.н., доцент
Тел.: (499) 158 43 82
Cand. Sci. (Eng.), Associate Professor
Tel.: (499) 158 43 82
Данная работа посвящена вопросам диагностики и контроля примитивных автоматов (комбинационных схем) описываемых в «Теории автоматов» булевыми уравнениями, которые являются теоретическим фундаментом для постановки и решения задач в области информатики. Классическим применением этих положений является разработка моделей аппаратных средств вычислительной техники. Наряду с классическим применением эта теория широко применяется для моделирования и создания важных компонентов программного обеспечения. Известный ученый в области информатики Брайан Рэнделл (Brian Randell), выступая на одной из конференций, сказал: «Я помню Дуга Росса из компании Soft Tech, много лет назад говорившего, что 80 или даже 90% информатики будет в будущем основываться на теории конечных автоматов». Целью исследования является построение диагностических тестов для комбинационных схем с проверкой на константные ошибки. Проблема диагностирования актуальна прежде всего для проверки правильности функционирования больших интегральных схем, так как ошибки проектирования непредсказуемы и могут быть эквивалентны неисправностям высокой кратности. Кроме того, эти методы необходимы и для диагностирования таких схем в ходе их изготовления и в процессе эксплуатации.
Определение технического состояния объекта диагностирования заключается в подаче на него последовательности входных воздействий и последующем анализе степени соответствия полученной последовательности выходных действий алгоритму функционирования, который должен реализовать объект диагностирования. В качестве входных последовательностей могут использоваться либо рабочие последовательности воздействий, т.е. воздействия, поступающих на объект в процессе его функционирования по назначению, либо последовательность специально генерируемых тестовых воздействий. В первом случае имеет место функциональное, а во втором тестовое воздействие. Совокупность средств и объекта диагностирования образуют систему технического диагностирования (СТД). Требования к СТД существенно зависят от того, на каком этапе «жизни проекта» – при проектировании, изготовления или эксплуатации – осуществляется техническое диагностирование. Проверка правильности проектирования сводится к определению соответствия функциональной схемы, выполненного в требуемой элементной базе, исходному заданию на проектирование.
Техническое диагностирование схем, выполняемое на различных этапах их производства, является неотъемлемой частью технологического процесса их изготовления. Поэтому к продолжительности диагностирования, обеспечивающего требуемую достоверность результатов этого процесса, предъявляются жесткие требования. Требования к достоверности результатов, продолжительности, периодичности диагностирования, осуществляемого в ходе эксплуатации, могут изменяться в широких пределах в зависимости от назначения СТД и режима ее применения [1, 2, 3, 5]. В ходе исследований авторами получены способы построения тестовых наборов, обеспечивающих однократный просмотр в одном направлении (без обратного просмотра), позволяющие определять неисправность. При этом такие параметры СТД, как требуемая достоверность результатов технического диагностирования, допустимая периодичность и продолжительность диагностирования, допустимые объемы памяти, предназначенной для хранения диагностической информации, для СТД различного назначения могут изменяться в достаточно широких пределах.
Таким образом, использование способов построения тестовых наборов, дает возможность получить по аналитической записи выходной функции алгоритм формирования всей необходимой информации для проведения диагностических тестов. Авторами сформулированы условия, достаточные для формирования диагностической последовательности для обнаружения константных ошибок в работе комбинационных схем по аналитической записи. Рассмотренные вопросы являются актуальными для обучения в технических вузах и широко использоваться при создании операционных устройств на базе программируемых логических интегральных схем (ПЛИС) и базовых матричных кристаллах (БМК).
This work is devoted to the questions of diagnostics and control of primitive machines (combinational circuits), described by Boolean equations in “Theory of machines”, which are the theoretical foundation for formulating and solving problems in the field of computer science. A classic application of these provisions is the development of models of computing systems hardware. Along with the classical application this theory is widely used for modeling and the creation of important software. Well-known scientist in the field of Informatics Brian Randall, speaking at a conference, said: “I remember Doug Ross from Soft Tech Company, many years ago saying that 80 or even 90% of computer science in the future will be based on the theory of finite automata”. The aim of the study is the construction of diagnostic tests for combinational circuits with a check for constant error. The problem of diagnosis is relevant primarily to verify the functioning of large integrated circuits, as design errors are unpredictable and can be equivalent to errors of high multiplicity. In addition, these methods are necessary for diagnosis of such circuits during their manufacture and operation.
The determination of a technical condition of diagnostic object consists in submitting to it a sequence of input actions and subsequent analyze of the degree of matching between the output actions and the algorithm, which the diagnostic object must implement. The input sequences can be either working sequence of impacts, i.e. impacts coming to the object in the process of its operation as intended, or a sequence of specially generated test actions. In the former case it is functional stimulus and in the second case it is test stimulus. The set of tools and the diagnostic object constitute a system of technical diagnostics (STD). Requirements for STD greatly depend on the stage of “life project” (design, manufacture or operation) during which the technical diagnostics is carried out. Checking the correctness of the design is to determine the compliance of functional circuit, made in the required element base with the original design requirements.
Technical diagnosis of circuits that are performed at various stages of their production is an integral part of the technological process of their manufacture. Therefore, there are strict requirements for the duration of the diagnosis that provides the required reliability of the results. The requirements for the reliability of the results, duration, frequency of diagnosis, performed during the operation, may vary within wide limits depending on the purpose of STD and mode of its application [1, 2, 3, 5]. During the research the authors obtained the ways to generate test suites that provide a single view in one direction (no reverse lookup) to determine the fault. At the same time such STD parameters as the required accuracy of the results of technical diagnosis, allowable frequency and duration of diagnosis, a valid memory for storing diagnostic information for the STD for different purposes can vary within a wide range.
Thus, the use of methods for test sets’ construction allows to obtain the algorithm of generation of all the necessary information for conducting diagnostic tests using the analytical form of the output function. The authors formulated conditions sufficient for the generation of the diagnostic sequence for the detection of constant errors in the combinational circuits on the base of the analytical form. The issues outlined above are relevant for teaching in technical universities and widely used in the creation of the operating devices on the base of programmable logical integrated circuits (FPGA) and basic matrix crystals (BMC).
The authors declare that there are no conflicts of interest present.