Х.М.Джахірул Х. . Куб_чне моделювання несправностей для анал_зу якост_ тест_в при проектуванн_ цифрових систем

Диссертац_я присвячена розробц_ структурно-функц_ональних моделей цифрових пристроїв, процедур _ алгоритм_в куб_чного анал_зу несправностей при гене-рац_ї тест_в для зменшення часових _ матер_альних ви-трат, що пов'язан_ з вериф_кац_єю цифрових систем на стад_ї автоматизованого проектування. Розв'язан_ задач_: модиф_кац_ї автоматної модел_ синхронного прим_тива, описаного двотактним куб_чним покриттям,; створення алгоритму куб_чного дедуктивного моделювання несправностей на основ_ анал_зу куб_чних покрить прим_тив_в; розробки програмного комплексу моделю-вання несправностей, що дозволяє зд_йснювати оц_нку якост_ генеруємих тест_в цифрових систем на кристал_.