When I was in chip design about 15 years ago, we did transaction level modeling (TLM) using SystemC. Not sure if it’s still a thing these days.

https://en.m.wikipedia.org/wiki/Transaction-level_modeling