Looking for pin/bit accurate AXI4 SystemC models

Hi,

I am creating a systemC model for a peripheral which has an AXI4 interface.

Is there a bit and pin accurate AXI4 SystemC model similar to the ones available for OCP?

Is it available from ARM, a ThirdParty vendor, or the opensource community?