求助大侠，俺是新手！

开始学习xilinx 的开发板，xc3s200，抄了个简单的计数器程序，transilate ,map .place&route 也都通过了，开始下载时，却提示找不到.msk 文件。
哪位大侠能给解答一下啊，万分感谢

现在知道是下载时verify 要用到的一种文件，在生成的Bit文件选项中有，如果去掉的话就可以下载了。还想问一下，Bit文件是在哪生成的啊