[Vadim_nsk 0]

Здравствуйте.

Поиск по форуму и по гуглу ничего не дает потому, что я даже примерно не помню как это называется.

В общем, есть два языка высокого уровня, один транслируется в VERILOG, второй в VHDL. Оба алгоритмические вроде С++ (не языки описания схемы/архитектуры). Очень хочется пощупать эти две вещи, но хоть убей, не помню как они называются. Может кто узнал этих товарищей по моему скудному описанию? Есть варианты? Оба языка дают именно синтезируемые языковые конструкции, поэтому System-C не предлагать.

[Flip-fl0p 4]

1 минуту назад, Vadim_nsk сказал:

Здравствуйте.

Поиск по форуму и по гуглу ничего не дает потому, что я даже примерно не помню как это называется.

В общем, есть два языка высокого уровня, один транслируется в VERILOG, второй в VHDL. Оба алгоритмические вроде С++ (не языки описания схемы/архитектуры). Очень хочется пощупать эти две вещи, но хоть убей, не помню как они называются. Может кто узнал этих товарищей по моему скудному описанию? Есть варианты? Оба языка дают именно синтезируемые языковые конструкции, поэтому System-C не предлагать.

HLS (high-level synthesis)

[Strob 0]

При такой постановке вопроса (ищем именно язык) кажется нет ничего. А так, "catapult c" и "hls".

Изменено 16 мая, 2020 пользователем Strob

[fguy 4]

hls синтезирует ядра с с++ сразу на обоих языках vhdl и verilog

[Lmx2315 2]

На С# 

https://github.com/EvgenyMuryshkin/QuokkaEvaluation/blob/master/Docs/Quokka Whitepaper.pdf

Quokka

[warrior-2001 0]

SystemC - не оно?

[andrew_b 14]

54 минуты назад, warrior-2001 сказал:

SystemC - не оно?

Стартовое сообщение до конца не читай, сразу отвечай.

[warrior-2001 0]

19 минут назад, andrew_b сказал:

Стартовое сообщение до конца не читай, сразу отвечай.

" Оба языка дают именно синтезируемые языковые конструкции, поэтому System-C не предлагать. "

System-C  даёт вполне себе синтезируемые конструкции. Именно потому указал его, дабы к нему повнимательнее присмотрелись.

В своё время многие ВУЗы делали поделки, пытаясь чуть ли не Synopsys и  Mentor повторить в части генерации компилируемых описаний на VHDL/Verilog из верхнего уровня. В итоге это сводилось либо к подмножеству С-подобных языков (вариации на тему System-C), либо к попыткам генерить код на основе темплейтов парсируя некие свои полуязыки проектирования с простенькими средствами ввода.

Как и ожидалось - всё заглохло. Некоторые правда даже смогли в журналах печататься и даже достигли кое каких успехов. (http://superevm.ru/index.php?page=yavu-colamo)

[xvr 12]

Ещё есть Bluespec SV

 

http://forum.bluespec.com/viewtopic.php?t=3

http://wiki.bluespec.com/  (http://wiki.bluespec.com/Home/multiplier-example - пример)

https://www.cl.cam.ac.uk/~djg11/wwwhpr/toy-bluespec-compiler.html

 

[yes 5]

chisel - как я понимаю, что-то типа SystemC для scala (там это называется как-то типа "специфические расширения языка", а не либы - я не особо в теме)

на нем например RISC-V модный нынче процессор написан

по виду кода - джава-джавой :)

------------

 

про Bluespec SV - а не помер ли он после выхода обычного SV ?

 

есть еще myhdl - на питоне

еще был какой-то совсем С-лайк язык, но память у меня уже не та, да и помер он еще раньше SystemC по-моему. в катапульте или DS использовался, по-моему

 

upd: https://en.wikipedia.org/wiki/Handel-C гугль гуглит

 

[dxp 33]

13 часов назад, yes сказал:

chisel - как я понимаю, что-то типа SystemC для scala (там это называется как-то типа "специфические расширения языка", а не либы - я не особо в теме)

на нем например RISC-V модный нынче процессор написан

по виду кода - джава-джавой :)

Ещё какой-то SpinalHDL на эту же тему: https://github.com/SpinalHDL/VexRiscv

 

Проект выглядит прилично, не поделкой. А про сам язык честно написали, что это типа meta HDL, как и Chisel.

[xvr 12]

16 hours ago, yes said:

про Bluespec SV - а не помер ли он после выхода обычного SV ?

Неа, это совсем другой язык. Между прочим сам bluespec предлагает 2 линейки RISC-V ядер, написанных на BSV

https://bluespec.com/compare-cores

[yes 5]

15 hours ago, xvr said:

Неа, это совсем другой язык. Между прочим сам bluespec предлагает 2 линейки RISC-V ядер, написанных на BSV

https://bluespec.com/compare-cores

 

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

[des00 25]

Когда читал про BSV, загорелся, очень мудро они сделали, но вот поддержка....Как я понял, его MIT поддерживал, для студентов, они там много работ делали на нем, смотрел на сайте, но пока вендоры не заинтересуются, все это игры в песочнице. Как наш язык программирования Дракон, одно время про него не писал только ленивый, а сейчас тишина)

А Handel-C, Catapult-C давно уже умерли, тем более сейчас, когда вендоры свои версии на рынок вывалили, а mathworks всем свой кодегенератор предлагает)

[Vadim_nsk 0]

On 5/19/2020 at 10:40 AM, dxp said:

Ещё какой-то SpinalHDL на эту же тему: https://github.com/SpinalHDL/VexRiscv

 

Проект выглядит прилично, не поделкой. А про сам язык честно написали, что это типа meta HDL, как и Chisel.

Похоже, это то, что я искал (SpinalHDL). Я и не думал, что их так много...