Рисуете схемы c из yosys, используя Latex с CircuitTikZ и конвертируете его в PDF?

Question

Рисование принципиальных схем с помощью логики c Ворота символов, как традиционные логи c список соединений на уровне ворот.

Я видел следующее:

Рисование принципиальных схем (с логами c gates) в LaTeX

https://tex.stackexchange.com/questions/32839/drawing-circuit-diagrams-with-logic-gates-in-latex

и задавался вопросом, существует ли план [или эта идея возможна или нет] для создания схемы c из вывода Verilog в файл PDF с использованием LaTex и CircuitTikZ?

Я все еще читаю об этом. Планируется ли в долгосрочной перспективе иметь просмотрщик схем c GUI для yosys? Назовите лучший способ, по крайней мере, взглянуть на это, пожалуйста.

Способ иметь представление в формате PDF символов логических элементов c и триггеров D-типа действительно помог бы.

Answer 1

Yosys имеет просмотрщик схем c с помощью команды "show". Он не очень хорошо справляется со сложными проектами, но позволяет вам «видеть», что происходит в синтезированном проекте.

Чтобы использовать его, прочитайте свой проект и синтезируйте его. Затем выполните команду «show». Без аргумента, он должен показать весь дизайн, хотя вы можете выбрать только часть дизайна, если вы хотите показать это.