Другие журналы
|
Иванов Сергей Ростиславович
77-30569/373672 Проблемы формальной верификации технических систем
Инженерное образование # 04, апрель 2012 Улучшение результатов верификации аппаратных и программных систем связывается с применением формальных методов, среди которых авторы выделяют метод model checking, обеспечивающий автоматизированное рассмотрение всех возможных «траекторий функционирования» системы. Анализируется проблема «взрыва числа состояний», свойственная верификации методом model checking, и рассматриваются различные методы борьбы с этой проблемой. Особое внимание уделяется верификации протоколов когерентности памяти и излагаются возможные подходы к решению данной задачи.
77-30569/238113 Метастабильность в цифровых устройствах
Инженерное образование # 10, октябрь 2011 В статье рассматриваются причины возникновения метастабильности при взаимодействии устройств, управляемых несвязанными друг с другом синхросигналами. Обсуждаются различные варианты решения проблемы метастабильности и предлагается использование одного из вариантов FIFO-буфера для обеспечения корректной работы цифровых устройств.
|
|
||||||||||||||||||||||||||||||||
|