Другие журналы

Иванов Сергей Ростиславович

77-30569/373672 Проблемы формальной верификации технических систем
Инженерное образование # 04, апрель 2012
 Улучшение результатов верификации аппаратных и программных систем связывается с применением формальных методов, среди которых авторы выделяют метод model checking, обеспечивающий автоматизированное рассмотрение всех возможных «траекторий функционирования» системы. Анализируется проблема «взрыва числа состояний», свойственная верификации методом model checking, и рассматриваются различные методы борьбы с этой проблемой. Особое внимание уделяется верификации протоколов когерентности памяти и излагаются возможные подходы к решению данной задачи.
77-30569/238113 Метастабильность в цифровых устройствах
Инженерное образование # 10, октябрь 2011
В статье рассматриваются причины возникновения метастабильности при взаимодействии устройств, управляемых несвязанными друг с другом синхросигналами. Обсуждаются различные варианты решения проблемы метастабильности и предлагается использование одного из вариантов FIFO-буфера для обеспечения корректной работы цифровых устройств.
 
ПОИСК
 
elibrary crossref ulrichsweb neicon rusycon
 
ЮБИЛЕИ
ФОТОРЕПОРТАЖИ
 
СОБЫТИЯ
 
НОВОСТНАЯ ЛЕНТА



Авторы
Пресс-релизы
Библиотека
Конференции
Выставки
О проекте
Rambler's Top100
Телефон: +7 (915) 336-07-65 (строго: среда; пятница c 11-00 до 17-00)
  RSS
© 2003-2024 «Наука и образование»
Перепечатка материалов журнала без согласования с редакцией запрещена
 Тел.: +7 (915) 336-07-65 (строго: среда; пятница c 11-00 до 17-00)