标线评估 该存储库包含我们PLDI 2021论文“标线:用于对现代FPGA进行编程的虚拟机”的评估材料。 先决条件 神器来源 该工件有两种格式:虚拟机映像和通过Github上托管的代码存储库。 使用VM 。 VM打包为OVA文件,可以从此处的永久链接下载。 我们的说明假定您正在使用 。 安装外部工具所需的最小主机磁盘空间:65 GB 增加核心和RAM的数量 选择虚拟机,然后单击“设置”。 选择“系统”>“主板”,然后将“基本内存”增加到8 GB。 选择“系统”>“处理器”,并至少选择2个内核。 对常见的VM问题进行故障排除[单击以展开] 安装Vivado工具时磁盘空间不足。 如果磁盘空间不足,Vivado安装程序有时会崩溃或无法启动。 虚拟机配置为使用动态大小的磁盘,因此要解决此问题,只需清除主机上的空间即可。 您需要约65 gbs的可用空间。 内存不足。 Vivado,V