在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核的过程中,这些被调试的信号就直接显示出来了。如下所示:
(* mark_debug="true" *)output reg [17:0] wr_addr, // Memory Write Address
(* mark_debug="true" *)