Search academic texts

Information × Registration Number 0404U004294, Candidate dissertation Status к.т.н. Date 19-10-2004 popup.evolution o Title Methods and means of functional verification of electronic components in CADs Author Sarancha Sergiy Mykolajovych, popup.head Gorbachov V.O. popup.opponent Кривуля Г.Ф. popup.opponent Горбатюк А.Ф. Description Дисертація присвячена питанням проектування модуля функціонального контролю електронних компонентів на етапі автоматизованого проектування з використанням мов опису апаратних засобів. З метою дотримання специфікованих протоколів обміну даними із зовнішнім середовищем запропонована модель дворівневого методу формування тестових послідовностей. Для дворівневого метода розроблена концептуальна модель, модель генератора аргументів циклів шин, метод синхронізації стохастичних джерел тестових впливів. Запропоновано критерії повноти тестування, що дозволяють врахувати щільність розподілу характеристики виявленості несправності та ефективності кожного з паралельних стохастичних джерел. Запропонований метод реалізовано у вигляді апаратно-програмного комплексу в складі: система вводу та перегляду часових діаграм Signal Workshop, система керування автоматизованою генерацією тестових впливів DigitTest, системні драйвери MicroPort, генератор слів та логічний аналізатор. Registration Date 2004-10-19 popup.nrat_date 2020-04-04 Close