Need ARM SystemC Model

ARM's Fast Models can be exported to SystemC, see:

Fast Models User Guide : Chapter 5 SystemC Export with Multiple Instantiation

But these are commercially licensed, not open source.  There are other commercial vendors, such as The specified item was not found..

I am not aware of an open source SystemC model, maybe someone else can add more.

ARM's Fast Models can be exported to SystemC, see:

Fast Models User Guide : Chapter 5 SystemC Export with Multiple Instantiation

But these are commercially licensed, not open source.  There are other commercial vendors, such as The specified item was not found..

I am not aware of an open source SystemC model, maybe someone else can add more.