Does an example design for the Zynq-7000 (Bus Functional Model) BFM exist to demonstrate how to use it?
The Zynq-7000 BFM is built into the Processing System 7 IP core. During simulation generation, the Zynq-7000 BFM is used.
Vivado contains an example design which demonstrates simple BFM use.
To generate the design in Vivado, use the command File->Open Example Project... and choose Base Zynq. The resulting design should have a simple testbench which demonstrates the BFM use.