Search academic texts

Information × Registration Number 0402U000671, Candidate dissertation Status к.т.н. Date 15-01-2002 popup.evolution o Title Models and Algorithms for Test Generation of Digital System for its Designing in Active-HDL Author Md. Mekhedi Masud, popup.head Khakhanov V.I. popup.opponent Дербунович Л.В. popup.opponent Литвинова Є.I. Description Диссертація присвячена розробці структурно-функціональних псевдокомбінаційних моделей і алгоритмів детермінованої генерації тестів цифрових систем для зменшення часу їхньої верифікації на стадії автоматизованого проектування при використанні середовища Active-HDL. Отримані результати: модифікація синхронної моделі цифрового примітива для опису тригерних схем; удосконалення алгоритмів і процедур гене-рації тестів перевірки несправностей для комбінаційних і послідовносних схем; лінійна модель процесу побудови тестів перевірки несправностей для функціональних схем, заданих кубічними покриттями; стратегії застосування детермінованого й алгоритмічних генераторів для цифрових систем великої розмірності. Registration Date 2002-01-15 popup.nrat_date 2020-04-04 Close