Mentor Graphics offer Verification IP called QVIP that makes the task of SoC verification easier to bring up for the most popular protocols like AMBA AXI4 and PCIe bus interface.

Connectivity modules, configuration, quick starter kits and portable utility sequences help automate the verification tasks. Monitors with QVIP ensure protocol compliance, and for analysis you get scoreboard and coverage collectors. Your verification team can track and achieve coverage goals by using the test suites and functional test plans.

Read more.