ESL

The technique enables early software development and hardware/software co-design strategies before a project is more rigidly defined in RTL.

How SystemC enables system modelling at higher levels of abstraction, and the creation of virtual platforms.

Transaction-level modeling (TLM) describes a system by using function calls that define a set of transactions over a set of channels.