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?