Localized, System-Level Protocol Checks and Coverage Closure Using Veloce

An analysis of Broadcom’s new verification flow, which spans from simulation using assertions to emulation using assertions.


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. In so doing, they were able to provide proof of concept for their primary goal: the creation of an internal flow to go from simulation verification with assertions to Veloce emulation with assertions.

To download this white paper, click here.