you can download FastModels from ARM, in which you can configure whole amba system and generate it in systemC. It is intended for early software development. There are various components such as ARM processors, bus drivers, memories etc. the disadvantages are that you get license for only 30 days and for only one type of processor. And even more, I don't know if you can use the components in your sc environment.