Перевод названия: 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
Издатель: Красноярский государственный аграрный университет