Верилог надоел, даёшь Veryl

[vak]

Народ взялся придумать новый язык на замену Верилогу. Называется Veryl: как бы напоминает Verilog, но с человеческим лицом, улучшенный в сторону Rust. Исходный код транслируется в классический SystemVerilog, причём читабельный.

• Описание языка: doc.veryl-lang.org/book/
• Сайт проекта: github.com/veryl-lang/veryl
• Пример Hello World: doc.veryl-lang.org/book/02_getting_started/02_hello_world.html

Если у вас уже имеется Rust, то Veryl устанавливается командой:

cargo install veryl veryl-ls

Создание нового проекта:

veryl new project-name

Сборка проекта:

veryl build

Для прикола можно попробовать нашу любимую мэсм6 на Veryl переписать.

Comments

[juan_gandhi]

Ну слава те господи. Сколько прошло, полвека?

[vak]

Все программисты ушли в веб-программирование. На хардвер никто внимания не обращал.

[juan_gandhi]

Ну как; вот ты, например?

[spamsink]

Много есть разных синтаксических сахарозаменителей, а семантика одна. Резюме: безблагодатность.

[archaicos]

Там же должны быть какие-то родовые или эволюционные бородавки в языке. Их подлечивают или считают за традиции пращуров и птероящеров и ими гордятся?

[spamsink]

Проблема не столько в языке, сколько в большом количестве разных тулов, в которых есть укоренённые ошибки (или, если угодно, особенности реализации), которыми может пользоваться большое количество реализаций разных библиотек элементов, узлов дизайна и т.п., поставляемых в виде зашифрованного исходного текста (потому что protected intellectual property).

Менять всю эту инфраструктуру, переходя на другой язык - можно убиться.

[vak]

Так ведь новый язык не отменяет Verilog. Но вытесняет его в бэкенд.

[spamsink]

Так ведь всё это encrypted IP написано на верилоге или VHDL. Как предлагается писать реальные проекты на новом языке? Компилировать в верилог, а потом пользоваться стандартными индустриальными средствами?

И в случае каждого непрохождения тестов, кроме уже существующих шагов отладки, ещё и смотреть в верилог, нет ли проблемы собственно в преобразовании?

[vak]

Считай, что верилог это такой ассемблер. Заглядывать в него необязательно, пока всё идёт гладко.

[spamsink]

пока всё идёт гладко

Золотые слова. :)

[vak]

В верилоге много заплесневевшей семантики, которую никто уже не упомнит. Не случайно не удаётся написать _один_ учебник по системверилогу. В голове автора не помещается. Пора упрощать.