Листинг всех работ организации. Нажмите на название работы для того, чтобы получить по ней полную информацию.
| 2006 | |
| |  |
Бибило П.Н., Кочанов Д.А.
Оптимизационные преобразования VHDL-моделей цифровых систем
|
| | |
Бибило П.Н., Кардаш С.Н., Романов В.И.
СиВер - система синтеза и верификации комбинационных логических схем
|
| 2008 | |
| | |
Кириенко Н.А.
Подсистема обработки структурно-функциональных описаний схем в системе автоматизированного проектирования
|
| | |
Бибило П.Н., Авдеев Н.А.
Проектирование регулярных схем с последовательными соединениями транзисторов
|
| 2010 | |
| | |
Романов В.И., Бибило П.Н., Логинова И.П., Черемисинова Л.Д.
Автоматизация проектирования топологии функциональных блоков заказных цифровых СБИС
|
| | |
Бибило П.Н.
Декомпозиция булевых функций, заданных диаграммой двоичного выбора
|
| | |
Черемисинова Л.Д., Черемисинов Д.И.
Оптимизация двухуровневых логических схем с учетом энергопотребления
|
| 2012 | |
| | |
Авдеев Н.А., Зайцев В.С.
Выбор частоты внутреннего генератора UHF RFID метки
|
| | |
Бибило П.Н., Соловьев А.Л.
Оценка энергопотребления КМОП-схем на базе VHDL-моделирования
|
| | |
Бибило П.Н., Черемисинова Л.Д., Кардаш С.Н., Кириенко Н.А., Леончик П.В., Новиков Д.Я., Романов В.И., Черемисинов Д.И.
Синтез логических КМОП схем с пониженным энергопотреблением
|
| 2014 | |
| | |
Черемисинова Л.Д.
Верификация логических описаний комбинационных устройств
|
| | |
Бибило П.Н.
Декомпозиция и минимизация диаграмм двоичного выбора для систем неполностью определенных булевых функций
|
| | |
Черемисинов Д.И.
Перепроектирование ПЛИС на основе трансформации моделей
|
| 2016 | |
| | |
Черемисинов Д.И., Черемисинова Л.Д.
Использование параллельных вычислений при автоматизированном проектировании СБИС
|
| | |
Бибило П.Н.
Применение VHDL моделей неполностью определенных булевых функций при проектировании цифровых схем
|
| 2018 | |
| | |
Авдеев Н.А., Бибило П.Н.
Алгоритмическое проектирование цифровых операционных устройств с пониженным энергопотреблением
|
| | |
Черемисинов Д.И., Черемисинова Л.Д.
Декомпиляция КМОП схемы из транзисторов в формате SPICE
|
| 2020 | |
| | |
Черемисинов Д.И., Черемисинова Л.Д.
Верификация цифровых устройств с параллелизмом поведения
|
| | |
Бибило П.Н., Романов В.И.
Система логической оптимизации функционально-структурных описаний цифровых устройств на основе продукционно-фреймовой модели представления знаний
|
| | |
Бибило П.Н., Ланкевич Ю.Ю.
Экспериментальное исследование эффективности программ минимизации BDD-представлений систем булевых функций при синтезе комбинационных схем из библиотечных КМОП
|
| 2021 | |
| | |
Бибило П.Н.
Алгебраические разложения кофакторов в BDD представлениях систем не полностью определенных булевых функций
|
| 2022 | |
| | |
Черемисинов Д.И., Черемисинова Л.Д.
Обратное проектирование СБИС для обеспечения безопасности аппаратуры
|
| | |
Кардаш С.Н.
Ортогонализация системы ДНФ булевых функций
|
| | |
Бибило П.Н., Авдеев Н.А., Кириенко Н.А.
Оценка энергопотребления комбинационных КМОП-схем на основе логического VHDL-моделирования
|
| | |
Бибило П.Н.
Синтез преобразователей кодов, предназначенных для сокращения длины двоичных кодируемых слов
|
| | |
Черемисинова Л.Д.
Тестирование систем с параллелизмом поведения на основе сокращенного графа достижимых состояний
|
| |
