3.3 Interfacing: QEMU Co-Simulation with Riviera-PRO Complex hardware/software interactions within system-on-chip devices such as the Xilnx Zynq 7000 and others are requiring more advanced verification tools. Through co-simulation, programmable logic and processing systems can both be tested concurrently and early in the design cycle, allowing for hardware and software team members to work together and correct design bugs early in the verification process. Aldec's QEMU bridge, along with Aldec's Riviera-PRO, allows for this co-simulation, providing an interface between simulator and the QEMU machine emulator which can model the processing system of Zynq devices.