Hi,
I tried the bert_demo example, which should produce a bitstream that can be flashed to V80. However, I only found the Vivado project in the build directory. Is that an expected behavior? The bd of this project only contains user-defined IPs and some ports. I didn't see CIPS, clock wizard, and axi_noc instantiated, and running the implementation will fail.