Верификация задержки в микроархитектурных моделях коммуникационных фабрик
Ключевые слова:
качество обслуживания, формальная верификация, xMAS, система-на-кристалле, коммуникационная фабрика, ранжирующая функция, задержка передачи данныхАннотация
Изложены основы метода анализа задержек в микроархитектурных моделях коммуникационных фабрик. На простых примерах показано, как получить верхнюю оценку задержки и верифицировать ее с помощью ранжирующих функций. Для моделей со структурными циклами предложен метод анализа, основанный на раздельном рассмотрении достижимых
состояний системы.
Опубликован
20-12-2012
Как цитировать
Викторов, Ю. О., & Готманов, А. Н. (2012). Верификация задержки в микроархитектурных моделях коммуникационных фабрик. Информационно-управляющие системы, (6), 43–52. извлечено от https://i-us.ru/index.php/ius/article/view/13709
Выпуск
Раздел
Моделирование систем и процессов
