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

von Бибило, П.Н., Романов, В.И.
Veröffentlicht 2011

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

von Бибило, П.Н., Романов, В.И.
Veröffentlicht 2017

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

von Бибило, П.Н., Кардаш, С.Н., Кириенко, Н.А., Кочанов, Д.А., Леончик, П.В., Новиков, Д.Я., Романов, В.И., Черемисинов, Д.И.
Veröffentlicht 2009