Книжкові видання та компакт-диски Журнали та продовжувані видання Автореферати дисертацій Реферативна база даних Наукова періодика України Тематичний навігатор Авторитетний файл імен осіб
|
Пошуковий запит: (<.>ID=REF-0000499522<.>) |
Загальна кількість знайдених документів : 1
|
Скляр В. В. Обеспечение тестового покрытия для электронных проектов FPGA при оценивании функциональной безопасности по критериям SIL3 / В. В. Скляр, А. А. Резуненко, О. Н. Одарущенко, А. С. Гудзь, С. С. Щербаченко, А. А. Сенаторов, Е. Д. Вовк // Системи оброб. інформації. - 2013. - Вип. 5. - С. 62-65. - Библиогр.: 10 назв. - рус.Рассмотрены вопросы верификации электронных проектов для FPGA при оценивании функциональной безопасности по критериям SIL3. Предложен подход к обеспечению тестового покрытия для цифрового аппарата с памятью, основанный на формальной модели утверждений и направленный на уменьшение количества входных тестовых комбинаций. Разработан способ автоматизированного формирования верификационных отчетов с целью сокращения времени тестирования и увеличения точности результатов. Індекс рубрикатора НБУВ: З972-07-5-05
Рубрики:
Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
|