Preview

Информатика

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
№ 1(25) (2010) ПОСТРОЕНИЕ ТЕСТОВ КОНТРОЛЯ ЦИФРОВЫХ СИСТЕМ НА УРОВНЕ МЕЖРЕГИСТРОВЫХ ПЕРЕДАЧ Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич, А. В. Ильинкова
"... . Рассматриваются задачи направленного построения тестов контроля на уровне межрегистровых передач (RTL) на языке ..."
 
Том 18, № 1 (2021) Построение и применение маршевых тестов для обнаружения кодочувствительных неисправностей запоминающих устройств Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, В. А. Леванцевич, Д. В. Деменковец, И. Мрозек
"... неисправностей PNPSFk запоминающих устройств. Приводятся примеры построения маршевых тестов, имеющих максимальную ..."
 
Том 20, № 4 (2023) Формальная модель описания и условия обнаружения связных неисправностей взаимного влияния запоминающих устройств Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, Д. В. Деменковец, В. В. Петровская, А. А. Иванюк
"... реализации ролей ячеек неисправности памяти определяется применяемым маршевым тестом и в первую очередь ..."
 
Том 22, № 1 (2025) Управляемые вероятностные тесты с ограниченным значением расстояния Хэмминга Аннотация  PDF (Rus)  похожие документы
В. Н. Ярмолик, В. В. Петровская, Д. В. Деменковец, В. А. Леванцевич
"... Цели. Решается задача построения управляемых вероятностных тестов с фиксированным минимальным ..."
 
№ 3(7) (2005) МОДЕЛИРОВАНИЕ НЕИСПРАВНОСТЕЙ СБИС НА ПОВЕДЕНЧЕСКОМ УРОВНЕ НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич
"... которого лежит построение тестов для разных реализаций операторов языка VHDL на базе применения системы ..."
 
№ 2(34) (2012) ПОСТРОЕНИЕ ТЕСТОВ И ВЕРИФИКАЦИЯ ПОТОКОВЫХ МОДЕЛЕЙ ЦИФРОВЫХ УСТРОЙСТВ НА ЯЗЫКЕ VHDL Аннотация  PDF (Rus)  похожие документы
Л. А. Золоторевич
"... Предлагается единый подход к верификации проектов и направленному построению тестов контроля СБИС ..."
 
Том 15, № 4 (2018) Использование языка ПРАЛУ для верификации цифровых устройств Аннотация  PDF (Rus)  похожие документы
Д. И. Черемисинов
"... передач (register-transfer level, RTL) - логической сети, построенной в процессе синтеза. В универсальной ..."
 
1 - 7 из 7 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)