People are writing transaction-level models to get high-speed verification for software and platform development. The problem is that there's not a lot of hardware detail in them, and you can't quickly generate RTL from them. Previously, you had to go through a modification process to use high-level synthesis.

The transaction level is a substantially higher level of abstraction than standard behavioral level, and its advantages are compelling.