Bluespec is the Synthesizable Modeling Company(tm). With Bluespec, models and testbenches can be synthesized along with legacy IP to employ emulation much earlier for firmware development, modeling, and verification. When running firmware against design RTL is a must, Bluespec’s ARM-based Synthesizable Virtual Platforms are the only solutions delivering high speed, ease-of-use, and low cost. Bluespec is powered by the only general-purpose, high-level synthesis toolset for any use model (models, testbenches, production IP) and design type (datapath, control, interconnect). Bluespec's AzureIP™ is a family of intellectual property (IP) packages to accelerate design and verification.
There are no discussions here currently, but as they appear they might have answers you need.