Модель функціонального діагностування цифрового процессора зі скороченою системою команд
Вантажиться...
Дата
2018
Автори
Чешун, Віктор Миколайович
Лєнков, Сергій Васильович
Стецюк, Олександр Ігорович
Чорненький, Віталій Іванович
Ряба, Людмила Олександрівна
Cheshun, V.M.
Lenkov, S.V.
Stetsiuk, O.I.
Chornenkyi, V.I.
Riaba, L.O.
Назва журналу
Номер ISSN
Назва тому
Видавець
Військовий інститут Київського національного університету імені Тараса Шевченка
Анотація
У сучасних умовах мікропроцесори стали основою більшості електронних пристроїв і систем. Жорстка конкуренція серед виробників цифрових мікропроцесорів зумовлює скорочення термінів на виконання проектних робіт і тенденцію до швидкого просування нових моделей на ринок, що призводить до обмеження часу і, досить часто, недосконалої організації процедур перевірки інтегральних компонентів виробником.
За наявності жорстких обмежень на час діагностичних випробувань при серійному випуску цифрових процесорів, у виробників і споживачів зазначеної продукції виникає потреба у ефективних методах її діагностування з мінімальною тривалістю випробувань. Такі методи потребують застосування систематизованого підходу, що базується на використанні чітко формалізованих математичних моделей.
В статі описано математичну модель для організації функціональної перевірки цифрового процесора зі скороченою системою команд. Запропонована математична модель орієнована на застосування при організації командно-керованого функціонального діагностування цифрових процесорів, спрямованого на комплексну перевірку коректності виконання вузлами діагностованого процесора характерних для них елементарних процесорних операцій. Математична модель містить описову складову в термінах теорії множин, графічно-ілюстраційне і матричні представлення цифрового процесора зі скороченою системою команд.
In modern conditions, microprocessors have become the basis of most electronic devices and systems. Fierce competition among manufacturers of digital microprocessors leads to shorter deadlines for project work and the tendency to quickly move new models to the market. This leads to a limitation of time and, often enough, an imperfect organization of procedures for checking integral components by the manufacturer. With strict restrictions on the time of diagnostic tests in the serial release of digital processors, manufacturers and consumers of microprocessors need effective diagnostic methods. Verification of the processor must be performed with a minimum number of tests to reduce the time of diagnosis. Such methods require of a systematic approach based on the use of clearly formalized mathematical models. The article describes a mathematical model for organizing a functional diagnosis of a digital processor with a reduced command system. The proposed mathematical model is orientated to perform functional diagnostics of digital processors with command control. The purpose of the diagnosis is to comprehensively verify the correctness of execution by the nodes of the processor of elementary operations that are triggered by commands. The mathematical model contains a descriptive component in terms of the theory of sets, graphic model and matrix parts. The descriptive component consists of four sets: a plurality of functional nodes, a plurality of links between functional nodes, a plurality of commands, and a plurality of elementary processor operations of a digital microprocessor. The graphic model is intended to reflect the structural organization of the object of diagnosis. In the matrix part there is a matrix of the functional nodes checks of and the matrix of the typical operations checks in the diagnostic object. Matrix models are used for automated processing of diagnostic data and for displaying interdependencies between elements of a mathematical model.
В современных условиях микропроцессоры стали основой большинства электронных устройств и систем. Жесткая конкуренция среди производителей цифровых микропроцессоров приводит к сокращению сроков на выполнение проектных работ и обусловливает тенденцию к быстрому продвижению новых моделей на рынок, что приводит к ограничению времени и, зачастую, несовершенной организации процедур проверки интегральных компонентов производителем. Из-за наличия жестких ограничений на время диагностических испытаний при серийном выпуске цифровых процессоров у производителей и потребителей указанной продукции возникает потребность в эффективных методах диагностирования с минимальной продолжительностью испытаний. Такие методы требуют применения систематизированного подхода, основанного на использовании четко формализованных математических моделей. В статье описано математическую модель для организации функциональной проверки цифровой процессора с сокращенной системой команд. Предложенная математическая модель ориентирована на применение при организации командно-управляемого функционального диагностирования цифровых процессоров, направленного на комплексную проверку корректности выполнения узлами диагностируемого процессора характерных для них элементарных процессорных операций. Математическая модель содержит описательную составляющую в терминах теории множеств, графическое иллюстрационное и матричные представления цифрового процессора с сокращенной системой команд.
In modern conditions, microprocessors have become the basis of most electronic devices and systems. Fierce competition among manufacturers of digital microprocessors leads to shorter deadlines for project work and the tendency to quickly move new models to the market. This leads to a limitation of time and, often enough, an imperfect organization of procedures for checking integral components by the manufacturer. With strict restrictions on the time of diagnostic tests in the serial release of digital processors, manufacturers and consumers of microprocessors need effective diagnostic methods. Verification of the processor must be performed with a minimum number of tests to reduce the time of diagnosis. Such methods require of a systematic approach based on the use of clearly formalized mathematical models. The article describes a mathematical model for organizing a functional diagnosis of a digital processor with a reduced command system. The proposed mathematical model is orientated to perform functional diagnostics of digital processors with command control. The purpose of the diagnosis is to comprehensively verify the correctness of execution by the nodes of the processor of elementary operations that are triggered by commands. The mathematical model contains a descriptive component in terms of the theory of sets, graphic model and matrix parts. The descriptive component consists of four sets: a plurality of functional nodes, a plurality of links between functional nodes, a plurality of commands, and a plurality of elementary processor operations of a digital microprocessor. The graphic model is intended to reflect the structural organization of the object of diagnosis. In the matrix part there is a matrix of the functional nodes checks of and the matrix of the typical operations checks in the diagnostic object. Matrix models are used for automated processing of diagnostic data and for displaying interdependencies between elements of a mathematical model.
В современных условиях микропроцессоры стали основой большинства электронных устройств и систем. Жесткая конкуренция среди производителей цифровых микропроцессоров приводит к сокращению сроков на выполнение проектных работ и обусловливает тенденцию к быстрому продвижению новых моделей на рынок, что приводит к ограничению времени и, зачастую, несовершенной организации процедур проверки интегральных компонентов производителем. Из-за наличия жестких ограничений на время диагностических испытаний при серийном выпуске цифровых процессоров у производителей и потребителей указанной продукции возникает потребность в эффективных методах диагностирования с минимальной продолжительностью испытаний. Такие методы требуют применения систематизированного подхода, основанного на использовании четко формализованных математических моделей. В статье описано математическую модель для организации функциональной проверки цифровой процессора с сокращенной системой команд. Предложенная математическая модель ориентирована на применение при организации командно-управляемого функционального диагностирования цифровых процессоров, направленного на комплексную проверку корректности выполнения узлами диагностируемого процессора характерных для них элементарных процессорных операций. Математическая модель содержит описательную составляющую в терминах теории множеств, графическое иллюстрационное и матричные представления цифрового процессора с сокращенной системой команд.
Опис
Ключові слова
технічна діагностика, функціональне діагностування, цифровий процесор, скорочена система команд, technical diagnostics, functional diagnostics, digital processor, abbreviated system of commands
Бібліографічний опис
Модель функціонального діагностування цифрового процесора зі скороченою системою команд [Текст] / В. М. Чешун, С. В. Лєнков, О. І. Стецюк, В. І. Чорненький, Л. О. Ряба // Збірник наукових праць Військового інституту Київського національного університету імені Тараса Шевченка. – Київ : ВІКНУ, 2018. – Вип. № 62. – С. 89–96.