在虚拟机中安装Ubuntu成功后，会发现一个问题，就是Ubuntu系统窗口无法在计算机中全屏显示，也没办法随虚拟机的窗口变化显示，同样，也不能实现本地Windows 10和Ubuntu虚拟机之间的文件复制！！ 如果要解决这类问题，需要安装VMware Tools之后才行！！ 接下来，就介绍两种安装V ...
分类：
系统相关 时间：
2019-01-22 00:31:33
阅读次数：
1050
Formality形式验证主要验证综合后，生成的网表文件功能和之前的verilog文件功能是否一致， 需要两个文件，一个verilog文件，一个是网表文件 1.新建一个文件夹，把verilog文件和网表文件放入文件夹下，在此路径，打开linux下输入命令窗口，输入fm,则打开Formality软件 ...
分类：
其他好文 时间：
2019-01-22 00:31:24
阅读次数：
1809
