Многопроцессорнось и CUDA при моделировании описаний на HDL языках Опции

[dvladim]

Вопрос такой:
Какие пакеты моделирования позволяют задействовать ресурсы всех доступных процессоров в системе, кластеры, ресурсы процессора видеокарты (используя CUDA), внешние аппаратные ускорители (какие?) для ускорения моделирования?

Вообще интересно как хорошо распараллеливается моделирование HDL описаний. Насколько линейно влияет увеличение числа процессоров? Насколько важна потоковая скорости и задержки подсистемы памяти?

Желательно (если это возможно) в примерах с конкретными цифрам: каков объем проекта; язык; количество тестовых векроров (событий) при моделировании; использованная система - железо, ОС, софт; время компиляции и моделирования; занятый объем памяти?

[dvladim]

2. Вспомните в какой стране мы живём! У нас если нельзя, но очень хочется - то можно!!! Есть такая фирмА avery-design (http://www.avery-design.com/), она предлагает софтину SimCluster которая может построить кластер (не путать с фермой) на основе любого из популярных HDL симуляторов

Спасибо за наводку. Посмотрим.

У вас, наверное и сам проект и тестбенч написаны на HDL языке? Для ускорения моделирования лучше HDL использовать только для описания самого проекта, т.е. того, что потом придётся синтезировать. Для описания окружения (т.е. всего того что нужно только для моделирования, не для синтеза) лучше использовать SystemC, он на порядок (или несколько порядков) быстрее моделируется чем HDL.

как верно замечает al1, сейчас существуют другие методы увеличения произв. при симуляции, в частности оптимизация самой модели (но не только SystemC)

С "фермой" все понятно (а как же иначе-то).
Долго идет один тест, который разбить невозможно.
Тестбенч действительно на Верилоге, но он прост как репа и летает как ракета. Памяти не жрет. Тормоза в модели. И с моделью ничего особо не сделаешь.

[CaPpuCcino]

Долго идет один тест, который разбить невозможно.
Тестбенч действительно на Верилоге, но он прост как репа и летает как ракета. Памяти не жрет. Тормоза в модели. И с моделью ничего особо не сделаешь.

как я понимаю вы тестируете уже собранную систему РТЛ уровня (?). если так, то стратегия такова: пишите автоматезированный тестбенч, который молотит модель без частого вмешательства человека (при правильном построении тестбенча полное сканирование модели возможно); если тестбенч постоянно затыкается, это означает, что не были отловлены ошибки ниже системного уровня (на уровне функциональных блоков и интерфейсов между ними внутри системы /ну наприме постоянно забивается маршрут данных, или происходит потеря данных в конвеере, или ошибки буфферизации и т.д. в общем ошибки ниже уровня алгоритмя/). то есть систему нужно строить из проверенных/надёжных компонентов, значит раздираете свою систему и пишите тестбенчи для каждого функционального блок тоже автоматизированные, запускаете на отдельной машине и занимаетесь своими делами.
т.е. на каждом уровне абстракции отлавливаем свои баги, чтобы потом когда всё вроде бы написано не ловить блох. если это и так понятно, но всё-равно слишком медленно стоит посмотреть в сторону специальных верификационных платформ с аппаратным ускорением (это дорого, но всё зависит от того насколько высоки ставки в игре). в англоязычной терминологии такие платформы называются Hardware-Assisted Verification. у всех крупных игроков рынка HDL САПРов есть свои железячные платформы моделирования. набираете в поисковике и будет вам много.

[dvladim]

т.е. на каждом уровне абстракции отлавливаем свои баги, чтобы потом когда всё вроде бы написано не ловить блох. если это и так понятно, но всё-равно слишком медленно стоит посмотреть в сторону специальных верификационных платформ с аппаратным ускорением (это дорого, но всё зависит от того насколько высоки ставки в игре). в англоязычной терминологии такие платформы называются Hardware-Assisted Verification. у всех крупных игроков рынка HDL САПРов есть свои железячные платформы моделирования. набираете в поисковике и будет вам много.

Все верно. На нижнем уровне все отлажено, надо посмотреть как все это работает вместе.

Про аппаратное ускорение посмотрю. А кто-нибудь пользовался системами с аппаратным ускорением? Насколько оно ускоряет? И стоит ли оно того? Реальные впечатления у кого-нибудь есть?