formality check rtl2netlist 时候可能会出现stuck at verify 阶段，这种形况是rtl 中的一些code 很复杂， formality 不能解读。这时有两种解决...
vnc 实现远程连接总结 有两种方式： ①Websockify代理 ②命令 Websockify代理 通过novnc实现vnc的远程 参考链接：https://blog.csdn.net/lulu...
