Парсер языка Verilog Опции

[Fitc]

Добрый день,
Кто-нибудь встречал парсер языка verilog (в частности verilog-netlist)?
Желательно open-source на Си/Си++

[Fitc]

Тем временем прошло 2 года с того момента, как я задал вопрос на этом форуме... Я написал парсер нетлистов и функционал по его обработке за последние несколько месяцев. И хотел бы поделиться опытом. К сожалению выложить парсер не могу (т.к. права принадлежат работе) и рассказать зачем он нужен тоже. Это был очень интересный для меня опыт разработки.
Разработка самого парсера оказалась самой простой задачей. Самое сложное для меня было разработать структуры, которые хранят информацию о нетлисте, и функции, которые в дальнейшем обрабатывают нетлист. Сложность также была из-за того, что я старался разработать структуры, которые в будущем можно было бы использовать для хранения информации о более сложных конструкциях verilog.
Для разработки парсера использовались следующие средства: flex, bison, c++.
Итак, если кто-нибудь захочет написать verilog-парсер вот несколько советов:
1) В стандарте верилог очень хорошо описан формальный синтаксис в виде БНФ, который практически в готовом виде копируется (с небольшими доработками) во flex и bison файлы. Только нужно удалить неиспользуемые конструкции (как в моем случае мне нужно было только подмножество для описания нетлиста). Так как bison генерирует LR-парсеры, представленную в стандарте грамматику БНФ нет необходимости дорабатывать.
2) flex и bison поставляются с очень хорошими мануалами. Их надо прочесть в первую очередь. Кроме того мне очень помогла книжка "Ахо А.-Компиляторы_ принципы, технологии и инструментарий". В ней можно найти описание структур и описание процесса генерации кода. Читать следует java-версию книжки. Описаные принципы подходят и для с++ программ. Также парсер можно написать полностью на java, спасибо bison-у, который поддерживает язык Java. Я выбрал C++, т.к. считаю его более универсальным и прозводительным.
3) Читайте код открытых проектов verilator и yosys. Оттуда можно почерпнуть многие идеи. На изучение кода данных проектов может уйти уйма времени. Для меня было проще написать свой парсер, чем разобраться как все устроено в данных проектах, т.к. кода в них очень много, комментариев практически нет, код читабельностью не блещет. Я потратил небольшое время на изучение кода и некоторые идеи из данных проектов мне показались очень полезными. Кстати, оба проекта также используют flex и bison.

Что касается нетлиста, если он получен с помощью DC, готовтесь к разбору следующих конструкций: не-ANSI заголовок модуля, сам модуль, экземпляры модулей, конкатенации, assign, объявления скалярных и векторные wire и портов, escaped идентификаторы, ссылки на диапазон линий портов и wire и т.д. Если нетлист получен с помощью Precision, все может быть сложнее. Кроме того нужно взять откуда-нибудь описание элементов. Например, мой парсер выдает ошибку, если встречает неизвестный элемент или неизвестный порт элемента. Информацию об элементах можнно взять, например, из Liberty файла, или библиотеки элементов моделирования ПЛИС или ASIC, или создать свой файл с описанием и т.д.
Если у кого-нибудь возникли вопросы, могу попытаться на них ответить.

[AVR]

права принадлежат работе) и рассказать зачем он нужен тоже

В Воронеже пошли по пути задействования Quartus для парсинга, подмосковный Миландр задействовали Yosis. У меня теплится надежда, что Ваш работодатель в тайне пилит российскую ПЛИС
Хотя быть может оба примера не подходят, им ведь главное не парсинг для анализа, а передача дальше по цепочке своих САПР...

[Fitc]

В Воронеже пошли по пути задействования Quartus для парсинга, подмосковный Миландр задействовали Yosis. У меня теплится надежда, что Ваш работодатель в тайне пилит российскую ПЛИС
Хотя быть может оба примера не подходят, им ведь главное не парсинг для анализа, а передача дальше по цепочке своих САПР...

Не угадали, у меня задача была совсем другая, не берите в голову. Я сам был бы рад, если бы с российскими ПЛИС и их средами разработки было бы все хорошо и с удовольствием поучаствовал бы в создании какой-нибудь российской САПР. Потому что сейчас приходится работать с БМК, для которых софт не очень. В настоящее время должны допиливать ковчег. Вообще, я слышал многие САПР синтеза и моделирования используют библиотеку verific (QuestaSim, VCS, Design Compiler, RTL Compiler, Synplify, and Precision) для парсинга SystemVerilog. Возможно нашим мешают санкции купить данную библиотеку, а возможно новый ковчег как раз будет ее и использовать. Конечно, парсер это только часть задачи, есть еще куча других задач, но начать с чего-то надо. Кстати, когда тестил свой парсер, хотел синтезнуть сдвигающий регист, состоящий из более 100000 триггеров. DC и Precision не справились с задачей, просто вылетали с ошибкой. Так что у них там тоже не все так хорошо на больших проектах. Моя программа хоть и не синтезирует код, но нетлисты такого размера и более обрабатывает, хотя памяти жрет дофига, поэтому есть желание использовать базу данных для хранения информации о нетлисте.

[Ergond]

Потому что сейчас приходится работать с БМК, для которых софт не очень. В настоящее время должны допиливать ковчег.

Здравствуйте, я честно говоря, не совсем уверена не фотоп ли, но мне попалась под руку эта ветка и я смело спрошу у вас. Как можно перевести Verilog в форму логической схемы как в Ковчеге? Оставить в Veriloge не вариант, т.к. я пишу диплом и руководитель скорее всего захочет большую и красивую логическую схему. Открытые проекты, которые нашла в интернете в основном в формате кода, по крайней мере форматы схем мне ещё не встретились. Извините если вопрос глупый, я если честно пока плохо понимаю во что ввязалась. Надеюсь что вы мне ответите и заранее спасибо. ^_^

[Marat Zuev]

Как можно перевести Verilog в форму логической схемы как в Ковчеге? Оставить в Veriloge не вариант, т.к. я пишу диплом и руководитель скорее всего захочет большую и красивую логическую схему..... Извините если вопрос глупый, я если честно пока плохо понимаю во что ввязалась. Надеюсь что вы мне ответите и заранее спасибо. ^_^

Вам также, как представляет свой код ТС в этой ветке, нужно?

[Ergond]

Вам также, как представляет свой код ТС в этой ветке, нужно?

В целом да, мне нужна логическая схема на уровне триггеров и базовых элиментов вроде инверторов и разного рода исключающих или. Короче я картинку сделала того что есть в его библиотеках.

Как вариант сделать синтез в ISE / Quartus. САПР сам соберет схему.

Спасибо, ушла гуглить.

Эскизы прикрепленных изображений