Кафедра электротехники и вычислительной техники, Университет в отношении Британского Ванкувера, Колумбия, Британская Колумбия, Канада

Aria-labeledby= “arnd_35543252477883967_Ctrl”>

Отдел электротехники и вычислительной техники, British Engineering, Университет Ванкувера, Колумбия, Британская Колумбия, Канада

Просмотр профиля

,

  • < a aria-controls="arnd_35543252478145574" aria- haspopup=" pure "H ref="javascript:void(0);">

    Jin Yang

    Strategic CAD Labs, Intel Corporation, Hillsboro, Aria-labeledby=” arnd_35543252478145574_Ctrl”> или

    Labs of Strategic CAD , Intel Corporation, Hillsboro, OU

    Просмотр профиля

    < /div>

  • Class=’icon-Icon_Information’>

    информация об авторах”# и кроме того таблетка-информация”#pill-authors__contentcon”>информация об авторе и высказывания

    Обзор

    Этот документ охватывает практически все системы для отладки постпроцессорных систем, т.е. вернуться назад или сбросить чип с помощью известного состояния, создающего дефект, сочетание встроенных моделей сбора глубины в реальном времени и формальных базовых моделей вне чипа. Поток отладки предназначен более полно с учетом практических соображений, таких как площадь, недетерминированность сигнала на кристалле, а также задержка передачи. Этот поток в сочетании с чувствительной схемой точечного отключения с низкими накладными расходами обеспечивает экономичную и точную возможность точечного отключения без необходимости в ней. Вы можете проверить состояние всего ника. Поток и связанные с ним периферийные устройства были протестированы с рядом самого волшебного оборудования, состоящего из процессора OpenRISC, оснащенного отладочным персональным компьютером, чередующимся с ПК, выполняющим специальные алгоритмы проверки. С помощью представленного здесь подхода были получены сотни следов фаз летнего сезона.

    Ссылки

    1. Ф. Де Паула, М. Горт, А. Ху, С. Уилтон и Дж. Янг, «Анализ возврата: отличный вариант отладки для пост-кремния», FormalMeth. Оплата. Справка: дизайн страниц с 37 по 44, ноябрь 2008 г. г.