Импорт из Yosys, комбинаторно-логический ориентированный граф в библиотеку ускоряющих графов
Я хочу импортировать большую схему комбинаторной логики, созданную в Yosys, в ориентированный граф в моих собственных подпрограммах C++ с библиотекой ускоряющих графов, чтобы я мог экспериментировать со своими собственными алгоритмами. Логика имеет порядка 10 миллионов вентилей, поэтому ее цель - получить эффективную реализацию кода.
Обычно требуется пара часов работы с yosys Berkeley abc, чтобы синтезировать схему с использованием и -g AND,OR,XOR . Экспорт в виде файла verilog также занимает некоторое время, и файл огромен (сотни мегабайт)
Мой первоначальный план состоял в том, чтобы просто прочитать файл verilog и сгенерировать ориентированный граф на основе анализа строк файла. Это медленно и требует большого количества кода.
Есть способ попроще? Я планировал использовать библиотеку ускоренных графов только для быстрого и удобного обхода графов в алгоритмах.
У кого-нибудь есть пример кода или идеи альтернатив для эффективного обхода графа? ..или быстрый импорт большого списка соединений в графическую структуру?