Сортировать по:
| Выпуск | Название | |
| № 3(31) (2011) | ВЕРИФИКАЦИЯ ЛОГИЧЕСКИХ СХЕМ, РЕАЛИЗУЮЩИХ СИСТЕМЫ ЧАСТИЧНЫХ БУЛЕВЫХ ФУНКЦИЙ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, Д. Я. Новиков | ||
| "... Рассматривается задача верификации логических схем, реализующих системы частично определенных ..." | ||
| № 4(12) (2006) | СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило, С. Н. Кардаш, В. И. Романов | ||
| "... булевых функций, а также описания на языке VHDL. Система СиВер состыкована с системой синтеза ..." | ||
| № 2(34) (2012) | ПОСТРОЕНИЕ ТЕСТОВ И ВЕРИФИКАЦИЯ ПОТОКОВЫХ МОДЕЛЕЙ ЦИФРОВЫХ УСТРОЙСТВ НА ЯЗЫКЕ VHDL | Аннотация PDF (Rus) похожие документы |
| Л. А. Золоторевич | ||
| "... , представленных в потоковом виде на уровне RTL на языке VHDL с использованием арифметических, логических ..." | ||
| Том 18, № 4 (2021) | Распознавание логических вентилей в плоской транзисторной схеме | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов, Л. Д. Черемисинова | ||
| "... схемы транзисторного уровня путем распознавания в ней подсхем, реализующих логические элементы ..." | ||
| 2025: Специальный выпуск | Логическое проектирование цифровых устройств | Аннотация PDF (Rus) похожие документы |
| П. Н. Бибило | ||
| "... верификация исходных спецификаций на проектирование, синтез логических схем, верификация результатов синтеза ..." | ||
| Том 21, № 3 (2024) | Извлечение логических сетей при декомпиляции описаний КМОП-схем на уровне транзисторов | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов, Л. Д. Черемисинова | ||
| "... уровне, которые были получены в результате распознавания (экстракции) подсхем, реализующих логические ..." | ||
| Том 19, № 3 (2022) | Канонизация графов при декомпиляции транзисторных схем | Аннотация PDF (Rus) похожие документы |
| Д. И. Черемисинов, Л. Д. Черемисинова | ||
| "... в транзисторной схеме, которые позволяют получить представление на уровне логических элементов, эквивалентное ..." | ||
| Том 22, № 4 (2025) | Распознавание подсхем трехстабильных элементов в КМОП СБИС | Аннотация PDF (Rus) похожие документы |
| Л. Д. Черемисинова | ||
| "... Цели. Рассматривается проблема экстракции высокоуровневой структуры на уровне логических элементов ..." | ||
| 1 - 8 из 8 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
