|
Задача специалистов этого направления - выполнять моделирование вычислительной системы на стадии разработки так, чтобы не задерживать идущих следом разработчиков аппаратуры и системных программистов. Наши специалисты по моделированию прошли все эльбрусовские проекты, не задерживая разработчиков, что было непросто. Традиционно ставятся задачи по разработке функционально полного инструментария, необходимого для логического моделирования и верификации вычислительных систем. Особое внимание всегда уделяется эффективности этих средств, поэтому максимально используются возможности архитектуры и системного программного обеспечения применяемых инструментальных машин. Как правило, разработчикам поставляется программный моделирующий комплекс, состоящий из моделей с разным уровнем абстракции и полноты. Он включает богатые средства отладки и специальные возможности для разработки всего спектра программного обеспечения и верификации проектируемой системы. Наши программные системы позволяют моделировать выполнение ОС, пользовательских приложений и SPEC, отлаживать оптимизирующий и бинарный компиляторы. В рамках проекта "Эльбрус-3М1" создан моделирующий комплекс, включающий:
На основе функциональной модели системы разработана система верификации низкоуровневой детальной модели аппаратуры при исполнении реальных задач. Она обеспечивает разбиение задачи на фрагменты и распараллеливание процесса верификации на несколько сотен машин. Разработчики систем моделирования освоили создание программно-аппаратных стендов, исследующих модели проектируемых элементов в составе реальной системы. В рамках проекта "Эльбрус-90 микро" была создана программная модель Sparc-совместимого микропроцессора, к которой адаптирована система генерации случайных тестов, и разработан стенд, исследующий модель в среде машины SyperSparc.
| |
