Продукционная система оптимизации иерархических описаний логических схем

за авторством Бибило, П.Н., Романов, В.И.
Опубліковано 2011

Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов

за авторством Бибило, П.Н., Романов, В.И.
Опубліковано 2017

Программный комплекс MICEL высокоуровневого и логического синтеза параллельных алгоритмов логичекого управления...

за авторством Бибило, П.Н., Кардаш, С.Н., Кириенко, Н.А., Кочанов, Д.А., Леончик, П.В., Новиков, Д.Я., Романов, В.И., Черемисинов, Д.И.
Опубліковано 2009