Bluespec products are based on a proprietary language, which is at a higher level of abstraction than RTL. When writen in this language, models and testbenches can be synthesized along with legacy IP to employ emulation much earlier for modeling, verification and early software development.
