Перегляд за автором "Yves, T."
Зараз показано 1 - 8 з 8
Результатів на сторінку
Варіанти сортування
Публікація Brain-Like Computer Structures(ХНУРЭ, 2009) Hahanov, V.; Chumachenko, S. V.; Umerah, N. C.; Yves, T.High-speed multiprocessor architecture for brain-like analyzing information represented in analytic, graph- and table forms of associative relations to search, recognize and make a decision in n-dimensional vector discrete space is offered. Vector-logical process models of actual applications, where the quality of solution is estimated by the proposed integral non-arithmetical metric of the interaction between binary vectors, are described.Публікація Testing and Verification of HDL-models for SoC components(EWDTS, 2009) Hahanova, I. V.; Hahanov, V.; Ngene, C. U.; Yves, T.The testing and verification technology for system HDL models, focused to the significant improvement of the quality of design components for digital systems on chips and reduction the development time (time-tomarket) by using the simulation environment, testable analysis of the logical structure HDL-program and the optimal placement of assertion engine is proposed. The novel testing and verification technology for system HDL models allows searching for errors in the HDL-code with a given thoroughness for an acceptable time by means of the introduction assertion redundancy to the critical points of the software model, which are defined by the synthesized logic functions of the testability. The controllability and observability criteria, used in hardware design and test, are applied to estimate the quality of software code in order to improve it and effective diagnose semantic errors. The objective is improvement of the testing and verification technology for digital systems to diagnose and correct of errors for HDL-models by sharing of the assertion engine and testable design technologies. The research tasks: 1. Design verification and testing environment for system HDL-model on the basis of assertions. 2. Development of testability evaluation metrics on the basis of new logic testability function. 3. Application of a technological assertion model to verify an IP-core filter on the basis of discrete cosine transform. 4. Practical results and directions for further research. The research sources: 1. Technologies and tools of test and testbench creation are represented in the papers [1-3]. 2. Models and methods for verification of the system models on the basis of assertions are described in [4-7]. Testable software design uses the IEEE standards [8-10], as well as innovative solutions to verify and testability analysis for the system HDLmodels [11-18].Публікація Актуальные проблемы анализа киберпространства(ХНУРЭ, 2011) Yves, T.; Чумаченко, С. В.; Хаханов, В. И.Предлагаются процесс-модели получения квазиоптимального детерминированного многозначного решения в n-мерном логическом векторном кибернетическом пространстве. Рассматриваются теоретические основы векторных логических вычислений для получения решения, оцениваемого неарифметическим критерием качества взаимодействия объектов в пространстве. Формулируются проблемы создания индивидуального киберпространства, распознавания образов, принятия решений, вакцинации программных продуктов, актуальные для рынка информационных технологий. Общность метрики оценивания качества решения на основе xor-операции объединяет достаточно разнородные по составу проблемы анализа информации.Публікація Встроенное диагностирование цифровых систем(Науково-технічний журнал : Радіоелектронні і комп'ютерні системи (РЕКС), 2009) Хаханов, В. И.; Чумаченко, С. В.; Yves, T.; Галаган, С. С.Рассмотрена проблема адаптации технологий тестирования цифровых систем для нового конструктивного поколения – System-in-Package (SiP), которое постепенно осваивает рынок электронных технологий. Пакет кристаллов формирует спектр новых задач сервисного обслуживания SiP- функциональностей в реальном масштабе времени, который существенно отличается от процессов встроенного диагностирования компонентов SoC (System on Chip)Публікація Инфраструктура вычислительного процесса на основе векторных логических операций(ХНУРЭ, 2010) Хаханов, В. И.; Чумаченко, С. В.; Yves, T.; Василенко, В. А.; Щербин, Д. А.Предлагается аппаратная платформа и технологии для экспертного обслуживания запросов в реальном масштабе времени в виде мультипроцессорной системы на кристалле, ориентированной на анализ логических ассоциативных структур данных для получения точного детерминированного и многозначного решения, валидность (состоятельность) которого оценивается интегральным критерием качества взаимодействия запроса с векторами n-мерного ассоциативного пространства.Публікація Модели генерации тестов и методы диагностирования SOC-компонентов(ХНУРЭ, 2011) Yves, T.; Ngene, C. U.; Литвинова, Е. И.; Хаханов, В. И.; Александров, В. И.Предлагается структурная модель отношений компонентов (функциональность, устройство, тест, дефекты), которая позволяет определять и классифицировать пути решения практических задач, включая синтез тестов, моделирование неисправностей и поиск дефектов. Описываются методы синтеза тестов для функциональностей, заданных матричными формами описания поведения цифровых компонентов, которые отличаются параллелизмом векторных операций над таблицами. Предлагаются усовершенствованные методы поиска функциональных нарушений, которые дают возможность существенно повысить быстродействие вычислительных процедур, связанных с диагностированием и восстановлением работоспособности программных и аппаратных продуктов. Модели и методы синтеза тестов для функциональностей и диагностирования нарушений могут быть использованы в качестве встроенных компонентов инфраструктуры сервисного обслуживания цифровых систем на кристаллах с применением стандарта граничного сканирования IEEE 1500.Публікація Паралельні мультипроцесорні процес-моделі векторно- логічного аналізу(Науково-технічний журнал : Інформаційно - керуючі системи на залізничному транспорті, 2010) Хаханов, В. І.; Чумаченко, С. В.; Хаханова, А. В.; Yves, T.Запропоновано векторно-логічні процес-моделі актуальних прикладних задач, якість рішення яких оцінюється введеною інтегральною неарифметичною метрикою взаємодії булевих векторів. Реалізація процес-моделей в інфраструктурі векторно-логічного аналізу інформації дозволяє суттєво збільшити швидкодію процедур пошуку, розпізнавання та прийняття рішень.Публікація Тестирование и верификация HDL-моделей компонентов SOC. II(ХНУРЭ, 2009) Хаханов, В. И.; Литвинова, Е. И.; Побеженко, И. А.; Yves, T.; Ngene, C. U.Предлагается алгебрологическая модель для вычисления критериев тестопригодности системных HDL-моделей, ориентированная на существенное повышение качества проектируемых компонентов цифровых систем на кристаллах (yield) и уменьшение времени разработки (time-to-market).