Перевод названия: CONTROL OF CORRECTNESS OF THE SYNTHESIS OF IP
Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: Наука и образование: опыт, проблемы, перспективы развития; Красноярск; Красноярск
Год издания: 2017
Ключевые слова: integrated circuits, methods of simulation class class methods verify equivalence, интегральные схемы, методы симуляционного класса, методы класса проверки эквивалентности
Аннотация: Изложены доказательства контроля корректности синтеза интегральных схем. Outlined proof of correctness control synthesis of integrated circuits.
Издание
Журнал: Наука и образование: опыт, проблемы, перспективы развития
Номера страниц: 229-231
Издатель: Красноярский государственный аграрный университет
Персоны
- Титовский Сергей Николаевич (Красноярский государственный аграрный университет)
- Титовская Татьяна Сергеевна (Сибирский федеральный университет)
Вхождение в базы данных
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.