caxapa.ru :: почему монстры синтеза/верификации (а-ля ментора) занимаются системверилогом? а не системси?

Mahagam (12.08.2011 01:07, просмотров: 505) ответил Evgeny_CD на SystemC: собрал чуток информации. И мысли некоторые появились....

почему монстры синтеза/верификации (а-ля ментора) занимаются системверилогом? а не системси? пока что плисины сильно дороже чем контроллеры, и поэтому желательно экономить каждый лут и каждый триггер, что видимо не получается если пользоваться высокоуровневым СС (системси). а вот СВ (системверилог) это позволяет. но вам надо иметь и модель воображаемой железки для программеров. так не вопрос, есть трансляторы СВ в си, скомпилив который вы получаете симулятор вашей железяки. работает фантастически быстро. а по второй ссылке - там ни слова про работу с реальным железом в плис. не настораживает?

Ответить

- А тулзы для "конвертации" System Verilog -> C - они какие? И где про это почитать можно? - Evgeny_CD(16.08.2011 13:44)
  - Так, нашлась очень забавная штука: [Verilator] -> Нашел вот там -->. "It compiles synthesizable Verilog ..., SystemVerilog and Synthesis assertions into C++ or SystemC code. It is designed for large projects where fast simulation Evgeny_CD(242 знак., 16.08.2011 14:29 - 11.07.2019 00:43, ссылка, ссылка)
    - [Verilator V.4 стал многопоточным!] Ускорение не сказать, что совсем ах, но на 24 ядра масштабируется линейно, что впечатляет! Evgeny_CD(11.07.2019 00:44)
    - он самый. но насколько помню на исходники верилога накладывается тьма ограничений, иначе оно не транслируется. Mahagam(56 знак., 16.08.2011 15:16)
- монстры всем занимаются ыыыы(300 знак., 15.08.2011 18:12, )
  - для синтнеза тулзы выше. ну а качество ситемЦ-верилог вобщем одинаково. это если untimed C брать (катапульт), то черти-че может получится. но на антаймед-Ц вряд ли кто-то сейчас серьезно пишет. нужно применять тот язык/тул, который задаче ыыыы(468 знак., 15.08.2011 18:25, )
    - Catalult C & un-timed C - это как во вложенной статье описано? Evgeny_CD(16.08.2011 13:42)
      - наверно да (статью по диагонали посмотрел). но кроме ментора этим занимаются(лись) многие. у синопсиса был бихевирал синтезис (я его даже щчупал), у каденса С-ту-силикон, но подзаглохло как-то. есть еще Handel-C, но, по-моему, контору ыыыы(218 знак., 16.08.2011 17:22, )
        
        Дык вот в чем штука. Матлаб в обсчем не всегда нужен, и, в моем понимании, может быть источником тормозов. Evgeny_CD(403 знак., 16.08.2011 17:39)
  - шот мне кажеццо что это всё не для синтеза. не? - Mahagam(15.08.2011 18:16)

Программируемая логика и ЦОС