This page has moved to ../../advanced-usage/debugging-and-profiling-on-fpga/assertion-synthesis/.