Есть у xilinx такой документ:
http://www.xilinx.com/support/documentatio...g-debugging.pdf - Vivado Design Suite Tutorial Programming and Debugging
там в Lab 1: Using the Netlist Insertion Method for Debugging a Design описан подход по встраиванию ILA (chipscope), конструкция вида:
Use a Tcl prompt to set the MARK_DEBUG attribute on a synthesized netlist:
set_property mark_debug true [get_nets –hier [list {sine[*]}]]
вставляется, но тулы не видят наличие ILA в залитом битст