Рассматривается проектирование систем на кристалле, удовлетворяющих заданным требованиям качества обслуживания. Описываются проблемы, возникающие при анализе показателей производительности. Для анализа качества обслуживания предлагается использовать высокоуровневое моделирование в среде xMAS с последующей формальной верификацией. Ключевые слова: качество обслуживания, системы на кристалле, сети на кристалле, коммуникационные фабрики, сеть межсоединений
