Bluespec,

Bluespec is The Synthesizable Modeling Company™. With Bluespec, models and test benches can be synthesized along with legacy IP to employ emulation much earlier for modeling, verification and early software development. Bluespec makes emulation much easier, more affordable, and deployable from concept to volume silicon. With the only solutions built on atomic transactions, proven technology for managing and simplifying large-scale hardware concurrency, Bluespec provides the only general-purpose, high-level synthesis toolset for any use model (models, testbenches, production IP) and design type (datapath, control, interconnect).