Извлечение автоматов с помощью yosys

Question

Я безуспешно пытался использовать yosys для извлечения конечных автоматов из моего структурного файла verilog (библиотека ворот - это simprims от Xilinx). Я подумал, что мне может понадобиться сообщить yosys, какую библиотеку ворот я использую или что-то подобное, но, как я уже сказал, безуспешно. Что мне нужно сделать, чтобы все заработало? Спасибо.

Answer 1

Извлечение конечных автоматов Yosys предназначено для извлечения конечных автоматов из списков соединений, полученных с помощью RTL грубого помола. Он не сможет извлекать конечные автоматы из списков соединений с технологией отображения, для этого потребуется другой подход.