Collaboration with ARM:
Jasper worked extensively with ARM to validate the ACE protocol specification resulting in VIP that was rigorously tested and that can be used by ARM licensees in the verification of their own SoCs. The ACE protocol met with several implications for verification. Evolutionary interface VIP was needed to account for changes to the specification (i.e. AXI4 updated from AMBA-3, new ACE channels, and verification of interface correctness). A Revolutionary system-level VIP was needed to monitor system-level behaviors, verify system coherency, and verify system ordering and messaging.