转载： https://blog.csdn.net/wordwarwordwar/article/details/71248942
在vivado中fpga功能验证比ise中方便了很多，主要体现在debug的ip核生成以及最后的波形观察和调试上，下面我就从这两个方面说一下vivado的fpga验证调试。
fpga验证的步骤一般是：
× 在代码中加入关键字，表示信号要被调试.
× 进行elaboration和synthesis.
× 打开synthesis, 设置debug核.
× 重新进行synthesis和implement以及write bitstream.
1，vivado中debug核的生成：
原来在ise中，要进行fpga的验证，必须生成两个debug核，一个是ICon，另外一个就是ILA，分别对应是控制和收集波形。但是在vivado中，我们只需生成ILA即可，不需生成ICon。
在生成ILA之前，我们要指定哪些信号应该被调试，原来在ise中，如果不用例化的方式的话，我们就必须一点点去net中找哪些信号应该被调试，很不方便，但是在vivado中，我们可以事先在源代码中加入关键字mark_debug="true"来告诉软件这个信号是要被调试的，从而在生成debug核的过程中，这些被调试的信号就直接显示出来了。如下所示：
[plain]