SystemC
system-level design
system-level verification
transaction-level modeling