The AMBA SystemC interface kit was developed by GreenSocs; and is now available for download from, Carbon Design Systems.
The AMBASocket is a GreenSocket based TLM-2.0 bus socket. It carries the same advantages as other GreenSocket based bus sockets, e.g. the GSGPSocket, but adds specific support for AMBA extensions.
The project also makes use of GreenRouter, which provides the AMBA routing component.