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

[dvladim]

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

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

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

[al1]

1. Я разбирался с ModelSim-ом по вопросу распараллеливания. Официальный ответ от ментора: затраты на синхронизацию убивают все преимущества от распараллеливания. Полагаю (но не уверен), что у других HDL симуляторов ситуация аналогичная.

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

3. "dvladim, вы коммунист? Это же не наши методы!" Зачем вам распараллеливание? Наверное ваш длинный тест слишком долго моделируется? Это решается по-другому! Например, МЦСТ когда моделировали на моделсиме эльбрус - они использовали ферму (не путать с кластером), т.е. разбили длинный тест на паттерны тестирующие разные функции и запустили их на разных машинах.

4. После моделирования на ферме возникает несколько баз данных с различной статистической информацией о моделированиях. Их надо как-то объединить в единую базу для анализа. Это решается в Questa, там есть так называемый VerificationManager.


P.S.

Забыл про SimCluster сказать, что для существенного ускорения проект должен быль оптимизирован, т.е. состоять из ярко выраженных частей с минимальным количеством связей.


P.P.S

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