Broadcom® recently developed a unified, scalable, verification methodology based on the Veloce® emulation platform. In order to test this new environment, they ran a test case, which proved that they can take assertions, compile them into Veloce, and verify that they fire accurately.