ThispaperdescribestheuseoftheVMMPerformanceAnalyzertoverifytheperformanceofanAXI-basedbusarbiter.Thegoalofperformanceverificationistoverifythatthearchitecturalintentofthearbiterisfulfilled.Thearbitermustprovidespecifiedbandwidthandlatencytoeachbusmaster.Tomeasurearbiterperformance,