13 марта 2014 года состоялся научный семинар ЗАО "МЦСТ" и ОАО "ИНЭУМ им. И.С. Брука" на тему: "Анализ и верификация задержек в микроархитектуре коммуникационных фабрик".
Доклад Ю.О. Викторова (Интел), представленный по теме его кандидатской диссертации, был посвящен формальному анализу временных характеристик моделей микроархитектуры систем на кристалле на ранних этапах разработки. Помимо задачи получения надежных оценок задержки передачи данных, в нем решается задача их формальной верификации за малое время с использованием стандартных средств. Были приведены основы метода анализа задержек в микроархитектурных моделях коммуникационных фабрик, и на примере показано как получить верхнюю оценку задержки и верифицировать ее с помощью ранжирующих функций.