我正在尝试使用这个名为Yosys的简洁工具来综合我的Verilog设计。我想使用Yosys命令fsm_export将Verilog设计中的FSM导出，但不会生成任何内容。我不知道应该如何调用该命令？
我调用的一系列命令是： read_verilog qwerty.v ; fsm_export
如果生成成功并且我拥有KISS2格式的FSM，那么谁知道有什么（开源）工具可以让我可视化FSM？
谢谢一群！
wkhtmltopdf 上的这个问题有一个特定的组件和一个更通用的组件。
通常：我正在尝试将各种网页提取到 pdf 文件中，并且我希望 wkhtmltopdf 在尽可能多的情况下工作。它是一个非常好的工具，但我经常遇到无法转换网页的问题。你们有一套与 wkhtmltopdf 一起使用的标志吗？
具体来说：例如，一个不是很远的网页，但我遇到的问题是http://gizmodo.com/microsoft-surface-book-review-so-good-i-might-switch-1737680767 . 当我在没有任何标志的情况下运行 wkhtmltopdf 时（在 Windows 中），我得到以下信息：
>>wkhtmltopdf http://gizmodo.com/microsoft-surface-book-
review-so-good-i-might-switch-1737680767 blah.pdf
Loading pages (1/6)
Error: Failed loading page http://gizmodo.com/microsoft-surface-book-review-so-g
ood-i-might-switch-1737680767 (sometimes it will work just to ignore this error
with --load-error-handling ignore)
Warning: A finished ResourceObject received a loading progress signal. This migh
t be an indication of an iframe taking too long to load.
Warning: Received createRequest signal on a disposed ResourceObject's NetworkAcc
essManager. This might be an indication …