| Федоров А. Ю. Методика создания и использования встроенных средств отладки для систем на кристалле /А. Ю. Федоров, А. С. Филиппов //Научно-технические ведомости СПбГТУ. - 2005. - №3 (41). - С. 54-59. - (Навстречу тридцатилетию факультета технической кибернетики). - Библиогр.: с. 59. | |
|
|
Описана созданная методика, предназначенная для создания встроенных средств
отладки для систем на кристалле. Произведен краткий обзор задач верификации цифровых устройств.
Рассмотрены вопросы отладки цифровых устройств с использованием механизма "утверждений".
|