vivado的占用太大了，感觉笔记本不堪重负 
想在linux云主机上面跑，但是好像没有很好的方案（主机重启会清除所有数据），非常麻烦；想着以docker的形式运行，但是这个没现成的docker，需要自己构建。然而安装包有110G，我电脑都没这么多硬盘空间拿来构建镜像了；