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.
Download White Paper
Assertion-Based Verification, Assertions, Coverage Closure, Debug, Emulation, TestBench XPress, UCDB, UPF, Veloce, Veloce2, Verification